5084 search results - page 10 / 1017 » Proving Possibility Properties |
CSFW
1995
IEEE
14 years 1 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
ISIPTA
1999
IEEE
14 years 2 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
SYNTHESE
2008
13 years 9 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
CSFW
2009
IEEE
14 years 4 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...