A New Authentication Protocol and Its Formal Analysis
Li Xiang · Jisuanji gongcheng · 2006
Authentication protocols are very basic and pivotal in systems of network security.This paper presents a new authentication protocol based on traditional approach,then does formal analysis for it by BAN logic,and shows an attack mode to it and amend it.At the end it discusses the actions of BAN logical analysis in authentication protocols,besides the limitations and the direction for further improvement.