基于逻辑编程的EKE协议分析

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 进程演算 逻辑编程 自动验证 密码协议
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 112-113,116
• 页数: 3页
• 分类号: TP393.08
• 字数: 2645字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.05.039

摘要

基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证.通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击--并行会话攻击.很好地验证了该新方法对密码协议的分析能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	王全来	解放军信息工程大学电子技术学院	5	11	2.0	3.0