ISCAS OpenIR
JFK协议的安全性分析
沈海峰; 薛锐; 黄河燕; 陈肇雄
2005
Source小型微型计算机系统
Issue10Pages:1681-1686
English Abstract重新定义了串空间理想概念,并扩展了有关命题和定理,从而使串空间理论能分析包含丰富密码原语的安全协议.进 一步应用此扩展串空间理论分析JFK协议(一个新提出的IPsec密钥交换协议)的核心安全属性:秘密性和认证性.通过分析证 明了JFK协议的密钥和认证安全性.对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础.
Indexed Typecnki
Keyword安全协议,扩展串空间,理想,Jfk
Department中国科学技术大学计算机科学系,中国科学院软件所信息安全国家重点实验室,中国科学技术大学计算机科学系,中国科学技术大学计算机科学系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/12434
Collection中国科学院软件研究所
Recommended Citation
GB/T 7714
沈海峰,薛锐,黄河燕,等. JFK协议的安全性分析[J]. 小型微型计算机系统,2005(10):1681-1686.
APA 沈海峰,薛锐,黄河燕,&陈肇雄.(2005).JFK协议的安全性分析.小型微型计算机系统(10),1681-1686.
MLA 沈海峰,et al."JFK协议的安全性分析".小型微型计算机系统 .10(2005):1681-1686.
Files in This Item:
File Name/Size DocType Version Access License
JFK协议的安全性分析.pdf(468KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[沈海峰]'s Articles
[薛锐]'s Articles
[黄河燕]'s Articles
Baidu academic
Similar articles in Baidu academic
[沈海峰]'s Articles
[薛锐]'s Articles
[黄河燕]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[沈海峰]'s Articles
[薛锐]'s Articles
[黄河燕]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.