| 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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论