47 search results - page 1 / 10 » A Method for Automatic Cryptographic Protocol Verification |
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
CADE
1997
Springer
13 years 9 months ago
1997
Springer
CCS
2008
ACM
13 years 6 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
CORR
2008
Springer
13 years 4 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...
CSFW
2005
IEEE
13 years 10 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 ...