DocumentCode
2326806
Title
Improvement of SAT-Based Model Checking of Security Protocols
Author
Yang, Yuanyuan ; Ma, Wenping
Author_Institution
Minist. of Educ. Key Lab. of CNIS, XidianUniversity, Xi´´an
fYear
2009
fDate
23-24 May 2009
Firstpage
1
Lastpage
5
Abstract
In SAT-based model checking, some abilities of the intruder are not mentioned. In this paper, these abilities are added and all the power of the intruder is included. Moreover, type-change ability is endowed with the intruder, which can check type-flaw attack. Finally, a message-match algorithm, which can significantly improve the efficiency of the SAT-based model checking, is proposed. Experiment shows that the algorithm can greatly reduce the production of useless message.
Keywords
computability; cryptographic protocols; formal verification; SAT-based model checking; message-match algorithm; security protocol; type-flaw attack; Artificial intelligence; Authentication; Computer security; Cryptographic protocols; Internet; National security; Production; Public key; Public key cryptography; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
E-Business and Information System Security, 2009. EBISS '09. International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-2909-7
Electronic_ISBN
978-1-4244-2910-3
Type
conf
DOI
10.1109/EBISS.2009.5138000
Filename
5138000
Link To Document