45 search results - page 1 / 9 » Automatic Verification of Correspondences for Security Proto... |
11
Voted
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
2008
IEEE
13 years 6 months 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 2 months ago
2009
Springer
Abstract. K
APLAS
2007
ACM
13 years 8 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 4 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...