10.3969/j.issn.1000-3428.2015.10.028
计算模型下的SSHV2协议认证性自动化分析
安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用.针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet 演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVefif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性.
第二代安全内壳协议、安全协议、计算模型、认证性、CryptoVerif工具、自动化分析
41
TP915.04
湖北省自然科学基金资助项目"安全协议代码的安全性自动化验证及软件工具开发"2014CFB249;湖北省自然科学基金资助项目"有限射影几何方法研究高纬线性码的汉明重量"2014CFB440;国家民族事务委员会自然科学基金资助项目"面向位置服务的隐私保护理论与方法研究"12ZNZ009
2015-12-14(万方平台首次上网日期,不代表论文的发表时间)
共7页
148-154