10.3969/j.issn.1000-3428.2002.05.026
因特网密钥交换协议研究
密钥交换协议是密码协议中主要的一类协议,安全可靠的密钥交换是通信安全性的基础,因特网密钥交换协议IKE作为IPSEC协议族的关键组成部分,在因特网的安全通信和安全服务中发挥着非常重要的作用,成为密码协议分析和研究的一个热点.该文首先介绍IKE协;议,然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明,并得出关于协议正确性的结论.
ISAKMP、因特网密钥交换协议(IKE)、形式化分析
28
TP393.08(计算技术、计算机技术)
国家重点基础研究发展计划973计划G1999035801
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
67-69