15 search results - page 1 / 3 » csfw 2005 |
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...