协议认证性安全属性测试方法
何云华, 杨超, 张俊伟, 马建峰
Authentication Testing of Security Protocols-A Method for Testing Protocol Security Properties
HE Yun-hua, YANG Chao, ZHANG Jun-wei, MA Jian-feng
电子学报
.
2016, (11): 2788
-2795
.
DOI: 10.3969/j.issn.0372-2112.2016.11.031
