Otway-Rees协议改进及形式化证明
鲁来凤,段新东,马建峰
Improvement and formal proof on protocol Otway-Rees
Lai-feng LU,Xin-dong DUAN,Jian-feng MA
通信学报 . 2012, (Z1): 250 -254 .  DOI: 10.3969/j.issn.1000-436x.2012.z1.033