Title :
A New Attack on the BAN Modified Andrew Secure RPC Protocol
Author :
Liu, Weibo ; Ma, Wenping ; Yang, Yuanyuan
Author_Institution :
Minist. of Educ. Key Lab. of CNIS, Xidian Univ., Xi´´an, China
Abstract :
We have found a new man-in-the-middle attack on the BAN modified Andrew Secure RPC protocol with a model-checker based on SAT. Subsequently, we have reasoned about vulnerability of the protocol and propose a remedial method to improve the protocol. The method, simple and effective, can be helpful to analyze and design other security protocols.
Keywords :
formal verification; protocols; security of data; BAN modified Andrew secure RPC protocol; SAT; man-in-the-middle attack; model-checker; Application software; Artificial intelligence; Body sensor networks; Computer networks; Information security; Information technology; Internet; Process planning; Wireless application protocol; Wireless communication; BAN modified Andrew Secure RPC; Model-checker; SAT; a remedial method; man-in-the-middle attack;
Conference_Titel :
Networks Security Wireless Communications and Trusted Computing (NSWCTC), 2010 Second International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-4011-5
Electronic_ISBN :
978-1-4244-6598-9
DOI :
10.1109/NSWCTC.2010.186
