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
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;
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
DOI :
10.1109/EBISS.2009.5138000
