Formal analysis and improvement of aziz-diffie protocols
Yan‐Ming Xie · Journal of Hubei Normal University · 2011
Formal analysis method,because of its refined,concise and unambiguous feature,has gradually become a reliable and accurate way in analyzing cryptographic protocols security.As a typical representative of Formal analysis,BAN logic has been widely used with the advantage of its intuitive,easy to use,etc.This article outlines the BAN logic,describes and analyzes the wireless network key Aziz-Diffie protocol based on BAN logic,verifies the existence of loopholes,and also makes some improvements in the agreement.