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
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;
Conference_Titel :
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-6539-2
DOI :
10.1109/ICACTE.2010.5579058
