loading...
Generalized Unsolicited Tests for Authentication Protocol Analysis
Taipei, Taiwan December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDCAT.2006.65Seventh International Conference on P ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Yongjian Li, Chinese Academy of Sciences, China
Jun Pang, University of Oldenburg, Germany
Guttman and Javier Thayer introduced the notion of unsolicited authentication tests, and used it to prove the correctness of security protocols in which a key server authenticate its clients. As an example, they have applied unsolicited authentication tests to prove the authentication goals of the Otway-Rees protocol. However, unsolicited authentication tests seem not to be fully explored in that case study, and the proofs were complicated. In this paper, we revisit the unsolicited authentication tests, and show how to strengthen and apply them in more general cases. To justify our work, we also use this extension to prove all agents' authentication guarantee of the Otway-Rees protocol.
Index Terms:
strand space, authentication, cryptographic protocols, the Otway-Rees protocol
Citation:
Yongjian Li, Jun Pang, "Generalized Unsolicited Tests for Authentication Protocol Analysis," pdcat, pp.509-514, Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.