Generalized Unsolicited Tests for Authentication Protocol Analysis

Yongjian Li, Jun Pang
2006 2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06)  
Guttman and Thayer Fábrega 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
more » ... licited 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.
doi:10.1109/pdcat.2006.65 dblp:conf/pdcat/LiP06 fatcat:nbajgktnhrbcpl4e3dkgy2hgfu