基于事件逻辑的改进Needham-Schroeder协议安全性证明

• 作者: 刘欣倩 李伟 梅映天 程道雷 肖美华
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 事件逻辑 改进的Needham-Schroeder协议 形式化方法 强认证性理论
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1850-1855
• 页数: 6页
• 分类号: TN915.04
• 字数: 4818字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.10.009

摘要

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题.事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础.用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论.利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的.此理论适用于类似复杂协议形式化分析与验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	华东交通大学软件学院	16	86	7.0	9.0
2	肖美华	华东交通大学软件学院	18	92	6.0	9.0
3	梅映天	华东交通大学软件学院	7	26	3.0	5.0
4	程道雷	华东交通大学软件学院	4	22	3.0	4.0
5	刘欣倩	华东交通大学软件学院	3	20	3.0	3.0