Otway-Rees协议改进及形式化证明 - 鲁来凤; 段新东; 马建峰 (通信学报, 2012)
Keywords: Otway-Rees协议; 形式化方法; 安全协议; 协议组合逻辑