基于Rubin逻辑的SSL协议安全性分析

• 作者: 徐洋 汪学明 谢晓尧
• 来源期刊: 科技与创新
• 关键词: SSL协议 Rubin逻辑 非单调
• 年，卷（期）: 2008,（30）
• 所属期刊栏目: 信息安全
• 页码范围: 71-73
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.30.029

摘要

SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难.本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接.我们还发现了协议中存在的一些问题.通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪学明	贵州大学计算机科学与技术学院	71	197	7.0	8.0
2	谢晓尧		16	43	4.0	5.0