ISCAS OpenIR
JFK协议的安全性分析
沈海峰; 薛锐; 黄河燕; 陈肇雄
2005
发表期刊小型微型计算机系统
期号10页码:1681-1686
摘要重新定义了串空间理想概念,并扩展了有关命题和定理,从而使串空间理论能分析包含丰富密码原语的安全协议.进 一步应用此扩展串空间理论分析JFK协议(一个新提出的IPsec密钥交换协议)的核心安全属性:秘密性和认证性.通过分析证 明了JFK协议的密钥和认证安全性.对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础.
收录类别cnki
关键词安全协议,扩展串空间,理想,Jfk
部门归属中国科学技术大学计算机科学系,中国科学院软件所信息安全国家重点实验室,中国科学技术大学计算机科学系,中国科学技术大学计算机科学系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/12434
专题中国科学院软件研究所
推荐引用方式
GB/T 7714
沈海峰,薛锐,黄河燕,等. JFK协议的安全性分析[J]. 小型微型计算机系统,2005(10):1681-1686.
APA 沈海峰,薛锐,黄河燕,&陈肇雄.(2005).JFK协议的安全性分析.小型微型计算机系统(10),1681-1686.
MLA 沈海峰,et al."JFK协议的安全性分析".小型微型计算机系统 .10(2005):1681-1686.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
JFK协议的安全性分析.pdf(468KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[沈海峰]的文章
[薛锐]的文章
[黄河燕]的文章
百度学术
百度学术中相似的文章
[沈海峰]的文章
[薛锐]的文章
[黄河燕]的文章
必应学术
必应学术中相似的文章
[沈海峰]的文章
[薛锐]的文章
[黄河燕]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。