DocumentCode
2594111
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
Volume
2
fYear
2010
fDate
24-25 April 2010
Firstpage
219
Lastpage
222
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/NSWCTC.2010.186
Filename
5480603
Link To Document