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

EKE Protocols Analysis Based on Logic Programming

作　　者：王全来[1] 韩继红[1] 王亚弟[1] 

机构地区：[1]解放军信息工程大学电子技术学院

出　　处：《计算机工程》2007年第5期112-113,116,共3页Computer Engineering

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

关 键 词：进程演算 逻辑编程 自动验证 密码协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]