计算机工程2015，Vol.41Issue(10)：148-154,7.DOI:10.3969/j.issn.1000-3428.2015.10.028
计算模型下的SSHV2协议认证性自动化分析
Automatic Analysis on Authentication of SSHV2 Protocol in Computational Model
摘要
关键词
第二代安全内壳协议/安全协议/计算模型/认证性/CryptoVerif工具/自动化分析Key words
Secure Shell Version 2 (SSHV2) protocol/security protocol/computational model/authentication/CryptoVerif tool/automatic analysis分类
信息技术与安全科学引用本文复制引用
牛乐园,杨伊彤,王德军,孟博..计算模型下的SSHV2协议认证性自动化分析[J].计算机工程,2015,41(10):148-154,7.基金项目
湖北省自然科学基金资助项目"安全协议代码的安全性自动化验证及软件工具开发"(2014CFB249) （2014CFB249）
湖北省自然科学基金资助项目"有限射影几何方法研究高纬线性码的汉明重量"(2014CFB440) （2014CFB440）
国家民族事务委员会自然科学基金资助项目"面向位置服务的隐私保护理论与方法研究"(12ZNZ009). （12ZNZ009）
