IFIP
2009
Springer
14 years 4 months ago
2009
Springer
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
IFIP
2009
Springer
14 years 6 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
IFIP
2009
Springer
14 years 6 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
IFIP
2009
Springer
14 years 6 months ago
2009
Springer
IFIP
2009
Springer
14 years 6 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
IFIP
2009
Springer
14 years 6 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...