SSL3.0基本握手协议的运行模式分析

• 作者: 张玉清 李学干 莫燕
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: SSL协议 形式化分析 运行模式分析法
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 简报
• 页码范围: 511-517
• 页数: 7页
• 分类号: TP309
• 字数: 6921字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2005.04.018

摘要

主要使用运行模式法对简化的SSL3.0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形式,发现这3种攻击是存在差异的.主要是角色欺骗不相同,而这又可能会造成潜在攻击.最后对这个协议进行了改进,从而有效避免了以上3种攻击,提高了协议的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉清	中国科学院研究生院国家计算机网络入侵防范中心	147	3010	26.0	50.0
2	李学干	西安电子科技大学计算机学院	12	152	7.0	12.0
3	莫燕	中国科学院研究生院国家计算机网络入侵防范中心	3	68	3.0	3.0