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

• 作者: 孟博 杨伊彤 牛乐园 王德军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 第二代安全内壳协议 安全协议 计算模型 认证性 CryptoVerif工具 自动化分析
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 148-154
• 页数: 7页
• 分类号: TP915.04
• 字数: 5301字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.10.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟博	中南民族大学计算机科学学院	16	50	4.0	6.0
2	牛乐园	中南民族大学计算机科学学院	3	25	2.0	3.0
3	王德军	中南民族大学计算机科学学院	13	26	4.0	4.0
4	杨伊彤	中南民族大学计算机科学学院	3	25	2.0	3.0