基于攻击者行为能力的SVO协议分析

• 作者: 刘志猛
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 SVO逻辑 攻击者行为能力 认证协议
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 127-129
• 分类号: TP309
• 字数: 4368字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.12.043

摘要

SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题.为此,提出2个SVO逻辑相关公理,对证书真实性与会话密钥安全性进行判断及验证,并结合Dolev-Yao安全模型,从攻击者行为能力的角度评估密码协议的安全性.经分析证明Mangipudi协议未能提供前向安全且存在假冒攻击的安全缺陷,因此给出一个在Dolev-Yao安全模型下可证明安全的解决方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘志猛	山东工商学院计算机科学与技术学院	12	32	2.0	5.0