因特网密钥交换协议研究

• 作者: 庞南 戴英侠 李镇江
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: ISAKMP 因特网密钥交换协议(IKE) 形式化分析
• 年，卷（期）: 2002,（5）
• 所属期刊栏目: 基金项目论文
• 页码范围: 67-69
• 页数: 3页
• 分类号: TP393.08
• 字数: 3141字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.05.026

摘要

密钥交换协议是密码协议中主要的一类协议,安全可靠的密钥交换是通信安全性的基础,因特网密钥交换协议IKE作为IPSEC协议族的关键组成部分,在因特网的安全通信和安全服务中发挥着非常重要的作用,成为密码协议分析和研究的一个热点.该文首先介绍IKE协;议,然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明,并得出关于协议正确性的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴英侠	中国科学技术大学研究生院信息安全国家重点实验室	23	709	12.0	23.0
2	李镇江	中国科学技术大学研究生院信息安全国家重点实验室	4	23	2.0	4.0
3	庞南	中国科学技术大学研究生院信息安全国家重点实验室	1	18	1.0	1.0