一种可分析保密性与认证性的模态逻辑

• 作者: 秦静 赵华伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模态逻辑 MBL逻辑 BAN类逻辑 会话密钥
• 年，卷（期）: 2007,（20）
• 所属期刊栏目: 博士论文
• 页码范围: 30-33
• 页数: 4页
• 分类号: TP309
• 字数: 5026字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.20.010

摘要

提出了一种新的基于信念的模态逻辑--MBL逻辑,来分析由单向函数构造的对称钥认证交换协议的安全性.该逻辑有严格的证明体系,可证明推理规则在其语义模型下的正确性,说明该逻辑具有合理性.其推理规则不仅能对单向函数保护的消息进行有关认证性的推理,克服了以往逻辑系统使用不当的安全服务来分析协议认证性的缺陷,而且可分析消息的保密性,避免了其他逻辑分析协议时对可信中心的过分依赖,可发现敌手通过欺骗可信中心而造成的攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵华伟	山东财政学院计算机信息工程学院	8	17	3.0	4.0
2	秦静	山东大学数学与系统科学学院	28	70	4.0	7.0