1679 search results - page 23 / 336 » Security Properties and CSP |
WOTUG
2007
13 years 8 months ago
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the â...
COMPSAC
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
ESOP
2003
Springer
14 years 27 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
CANS
2008
Springer
13 years 9 months ago
2008
Springer
ded abstract of this paper appeared in Proceedings of the 7th International Conference on Cryptology and Network Security (CANS '08) December 2
CSFW
2003
IEEE
14 years 29 days ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...