分析安全协议猜测攻击的模态逻辑方法

• 作者: 毛晨晓 王煦法 罗文坚
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 安全协议 猜测攻击 CKT5逻辑 模态逻辑 形式化分析
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 924-933
• 页数: 10页
• 分类号: TP309
• 字数: 9589字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.06.006

摘要

以CKT5逻辑为基础,对其进行了多方面重要的扩展;在原有对称密钥机制的基础上,增加了公开密钥机制和vernam加密机制以增强其描述协议的能力;打破完善加密假设,给出了一组定义和规则使主体具备猜测和验证口令的能力;给出了与在线猜测攻击相关的定理以反映在线猜测攻击的特点;通过相关引理和定理的证明,简化了猜测攻击的分析过程,使该文方法比现有方法更加简洁高效.扩展后的逻辑能够用于分析安全协议的猜测攻击,包括在线猜测攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王煦法	中国科学技术大学计算机科学与技术系	191	4142	33.0	58.0
2	罗文坚	中国科学技术大学计算机科学与技术系	31	691	14.0	26.0
3	毛晨晓	中国科学技术大学计算机科学与技术系	4	14	3.0	3.0