38 search results - page 1 / 8 » Soundness Conditions for Message Encoding Abstractions in Fo... |
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
DEPCOS
2008
IEEE
14 years 3 months ago
2008
IEEE
TCC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...