-
题名IKE2协议的安全性分析
被引量:5
- 1
-
-
作者
沈海峰
薛锐
黄河燕
-
机构
中国科学技术大学计算机科学系
中科院软件所信息安全国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2005年第11期59-63,123,共6页
-
文摘
本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性。通过分析,证明了IKE2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击模式下保护发起者身份,对此我们提出了一个修改意见。对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。
-
关键词
安全协议
扩展串空间
理想
ike2
安全性分析
协议分析
密钥交换
攻击模式
修改意见
空间理论
-
Keywords
security protocols, extended strand spaces, ideal, ike2
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
TN915.04
[电子电信—通信与信息系统]
-
-
题名JFK协议的安全性分析
被引量:1
- 2
-
-
作者
沈海峰
薛锐
黄河燕
陈肇雄
-
机构
中国科学技术大学计算机科学系
中国科学院软件所信息安全国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1681-1686,共6页
-
基金
国家自然科学基金(60373048)资助.
-
文摘
重新定义了串空间理想概念,并扩展了有关命题和定理,从而使串空间理论能分析包含丰富密码原语的安全协议.进 一步应用此扩展串空间理论分析JFK协议(一个新提出的IPsec密钥交换协议)的核心安全属性:秘密性和认证性.通过分析证 明了JFK协议的密钥和认证安全性.对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础.
-
关键词
安全协议
扩展串空间
理想
JFK
-
Keywords
security protocols
extended strand spaces
ideal
JFK
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-