Formal Analysis and Modification of an Authentication Protocol in Military Network

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