11 search results - page 1 / 3 » Automatic Verification of Cryptographic Protocols with SETHE... |
CADE
1997
Springer
13 years 9 months ago
1997
Springer
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
CSFW
2005
IEEE
13 years 11 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 ...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...