基于计算语义的安全协议验证逻辑
唐朝京, 鲁智勇, 冯超
A Verification Logic for Security Protocols Based on Computational Semantics
TANG Chao-jing, LU Zhi-yong, FENG Chao
电子学报 . 2014, (6): 1179 -1185 .  DOI: 10.3969/j.issn.0372-2112.2014.06.022