227 search results - page 1 / 46 » A Spatial-Epistemic Logic for Reasoning about Security Proto... |
CORR
2010
Springer
12 years 11 months ago
2010
Springer
CSFW
2005
IEEE
13 years 10 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
2002
IEEE
13 years 9 months ago
2002
IEEE
IEEEARES
2010
IEEE
13 years 11 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...