10.3969/j.issn.1000-3428.2007.05.039
基于逻辑编程的EKE协议分析
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证.通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击--并行会话攻击.很好地验证了该新方法对密码协议的分析能力.
进程演算、逻辑编程、自动验证、密码协议
33
TP393.08(计算技术、计算机技术)
2007-04-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
112-113,116