计算模型下的SSHV2协议认证性自动化分析

摘要：

安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用.针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet 演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVefif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性.

关键词：第二代安全内壳协议、安全协议、计算模型、认证性、CryptoVerif工具、自动化分析

所属期刊栏目：41

分类号：TP915.04

资助基金：湖北省自然科学基金资助项目"安全协议代码的安全性自动化验证及软件工具开发"2014CFB249;湖北省自然科学基金资助项目"有限射影几何方法研究高纬线性码的汉明重量"2014CFB440;国家民族事务委员会自然科学基金资助项目"面向位置服务的隐私保护理论与方法研究"12ZNZ009

在线出版日期：2015-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：148-154