基于强认证理论的三方网络协议安全性证明
肖美华，刘欣倩，李娅楠，程道雷，梅映天
Security Certification of Three-Party Network Protocols Based on Strong Authentication Theory
XIAO Meihua, LIU Xinqian, LI Yanan, CHENG Daolei, MEI Yingtian
计算机科学与探索
.
2016, (12): 1701
-1710
.
DOI: 10.3778/j.issn.1673-9418.1607032
