Fomalized Analysis of Authentication Protocol in Military Network
Yu Feng Lu · Journal of Institute of Command and Technology · 2001
Formalized logic is a kind of nonobjective logic verification tool, people are thinking more of formalized logic techniques to prove cipher protocols nowadays. Several security holes in protocols are checked out by formalized logic analysis, the practicability of the technique is testified fully. This paper introduces the BAN logic formalized analysis theory which is the formal logic analysis method, and the BAN logic description of authentication protocol in military network is proposed, the theoretic analysis and verification of protocol security are also indicated. The conclusion comes that authenticated objects can transfer the trust relations exactly, and there is no redundant step in design of protocol.