DocumentCode
2705675
Title
An Improvement of Authentication Test for Security Protocol Analysis
Author
Li, Xiangdong ; Wang, Qingxian
Author_Institution
Inf. Eng. Univ., Zhengzhou
fYear
2007
fDate
15-19 Dec. 2007
Firstpage
745
Lastpage
748
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Security Workshops, 2007. CISW 2007. International Conference on
Conference_Location
Harbin
Print_ISBN
978-0-7695-3073-4
Type
conf
DOI
10.1109/CISW.2007.4425602
Filename
4425602
Link To Document