一个军网身份鉴别协议的形式化分析及修正

• Formal Analysis and Modification of an Authentication Protocol in Military Network