Institutional Repository
| JFK协议的安全性分析 | |
| 沈海峰; 薛锐; 黄河燕; 陈肇雄 | |
| 2005 | |
| Source | 小型微型计算机系统
 |
| Issue | 10Pages:1681-1686 |
| English Abstract | 重新定义了串空间理想概念,并扩展了有关命题和定理,从而使串空间理论能分析包含丰富密码原语的安全协议．进 一步应用此扩展串空间理论分析JFK协议(一个新提出的IPsec密钥交换协议)的核心安全属性:秘密性和认证性．通过分析证 明了JFK协议的密钥和认证安全性．对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础． |
| Indexed Type | cnki |
| Keyword | 安全协议,扩展串空间,理想,Jfk |
| Department | 中国科学技术大学计算机科学系,中国科学院软件所信息安全国家重点实验室,中国科学技术大学计算机科学系,中国科学技术大学计算机科学系 安徽合肥230026,北京100080,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083,安徽合肥230026中国科学院计算机语言信息工程研究中心,北京100083 |
| Content Type | 期刊论文 |
| URI | http://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 | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment