Title :
An Improvement of Authentication Test for Security Protocol Analysis
Author :
Li, Xiangdong ; Wang, Qingxian
Author_Institution :
Inf. Eng. Univ., Zhengzhou
Abstract :
Authentication Test (AT), based on strand spaces, is a method used to verify cryptographic protocols. This paper identifies an inaccuracy existing in AT and presents an improvement called authenticated authentication test (AAT). An analysis of Denning-Sacco and other protocols using AAT shows that the improved method is effective.
Keywords :
cryptographic protocols; formal verification; message authentication; Denning-Sacco protocol; authentication test; cryptographic protocol verification; security protocol analysis; Algorithm design and analysis; Authentication; Computational intelligence; Cryptographic protocols; Cryptography; IP networks; Information analysis; Information security; Logic; Testing;
Conference_Titel :
Computational Intelligence and Security Workshops, 2007. CISW 2007. International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-0-7695-3073-4
DOI :
10.1109/CISW.2007.4425602
