45 search results - page 1 / 9 » Automatic Verification of Correspondences for Security Proto... |
CORR
2008
Springer
13 years 11 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
2008
IEEE
14 years 19 days ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. K
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
FUIN
2008
13 years 11 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...