| 基于逻辑编程的EKE协议分析 |
| |
| 引用本文： | 王全来,韩继红,王亚弟.基于逻辑编程的EKE协议分析[J].计算机工程,2007,33(5):112-113. |
| |
| 作者姓名： | 王全来 韩继红 王亚弟 |
| |
| 作者单位： | 解放军信息工程大学电子技术学院,郑州,450004;解放军防空兵指挥学院,郑州,450052;解放军信息工程大学电子技术学院,郑州,450004 |
| |
| 摘 要： | 基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法，利用该方法可以对密码协议的安全性质以程序化的方式进行验证。通过对EKE协议进行的分析，不但证明了协议已知的漏洞，而且发现了针对EKE协议的一个新的攻击——并行会话攻击。很好地验证了该新方法对密码协议的分析能力。
|
| 关 键 词： | 进程演算 逻辑编程 自动验证 密码协议 |
| 文章编号： | 1000-3428（2007）05-0112-02 |
| 修稿时间： | 2006-03-20 |
EKE Protocols Analysis Based on Logic Programming |
| |
| WANG Quanlai,HAN Jihong,WANG Yadi.EKE Protocols Analysis Based on Logic Programming[J].Computer Engineering,2007,33(5):112-113. |
| |
| Authors: | WANG Quanlai HAN Jihong WANG Yadi |
| |
| Affiliation: | 1. Institute of Electronic Technology, PLA University of Information Engineering, Zhengzhou 450004; 2. Air Defense Forces Command College of PLA, Zhengzhou 450052 |
| |
| Abstract: | Based on the Spi calculus and the logic programming rules, a new technique is presented to verify cryptographic protocols. The technique makes it possible to verify security of the protocols, in a fully automatic way. By analyzing the EKE protocol, it finds a new attack parallel session attack, and this result demonstrates the analysis power of the technique for protocol security. |
| |
| Keywords: | Process calculus Logic programming Automatic verification Cryptographic protocols |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
