密码学报2014，Vol.1Issue(6)：568-577,10.DOI:10.13868/j.cnki.jcr.000052
安全协议形式化分析工具比较研究
Comparison Study of Formal Verification Tools for Security Protocols
摘要
关键词
形式化分析工具/比较研究/SSH协议/安全模型分类
信息技术与安全科学引用本文复制引用
陆思奇,程庆丰,赵进华..安全协议形式化分析工具比较研究[J].密码学报,2014,1(6):568-577,10.基金项目
信息保障技术重点实验室开放基金(KJ-13-109),信息安全国家重点实验室资助开放课题(2014-11). （KJ-13-109）
