253 search results - page 8 / 51 » Compositional Analysis of Authentication Protocols |
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
Publication
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
DOCENG
2009
ACM
13 years 5 months ago
2009
ACM
CCS
2001
ACM
14 years 1 days ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...