Sciweavers

CORR
2008
Springer
141views Education» more  CORR 2008»
14 years 3 months ago
Automatic Verification of Correspondences for Security Protocols
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...
Bruno Blanchet