基于事件逻辑的改进NeedhamSchroeder协议安全性证明

刘欣倩，肖美华，程道雷，梅映天，李伟

Security authentication of the modified NeedhamSchroeder
protocol based on logic of event

LIU Xinqian,XIAO Meihua,CHENG Daolei,MEI Yingtian,LI Wei

计算机工程与科学 . 2015, (10): 1850 -1855 .