A New Attack on the BAN Modified Andrew Secure RPC Protocol
Weibo Liu, Wenping Ma, Yuanyuan Yang · 2010
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.