DocumentCode
2216483
Title
A formal model to verify authentication protocols with timeout strategy
Author
Yang, Yuanyuan ; Ma, Wenping ; Jiao, Yi ; Liu, Weibo
Author_Institution
Minist. of Educ. Key Lab. of CNIS, Xidian Univ., Xi´´an, China
Volume
1
fYear
2010
fDate
20-22 Aug. 2010
Abstract
We propose a formal model to verify authentication protocols with timeout strategy. After investigating a state-of-the-art model checker named SATMC, the connotative time involved in the rule labels is revealed and utilized, which allows us to re-evaluate the security of authentication protocols with timeout strategy. We illustrate our model by analyzing the security of NSPK protocol. Finally, the verification results of a set of well-known authentication protocols are given.
Keywords
cryptographic protocols; formal verification; message authentication; NSPK protocol; SATMC; authentication protocol security; authentication protocols verification; formal model; rule labels; state-of-the-art model checker; timeout strategy; Computational modeling; Cryptography; Protocols; Robustness; authentication protocols; formal method; model checking; rewrite rules;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location
Chengdu
ISSN
2154-7491
Print_ISBN
978-1-4244-6539-2
Type
conf
DOI
10.1109/ICACTE.2010.5579058
Filename
5579058
Link To Document