| 更强的密钥交换可证安全模型 |
| |
| 引用本文： | 任勇军,王建东,徐大专,庄毅.更强的密钥交换可证安全模型[J].南京航空航天大学学报(英文版),2009,26(4):313-319. |
| |
| 作者姓名： | 任勇军 王建东 徐大专 庄毅 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院,南京,210016,中国;南京信息工程大学计算机与软件学院,南京,210044,中国
2. 南京航空航天大学信息科学与技术学院,南京,210016,中国 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 设计和分析双方密钥交换协议，目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性，形成一个统一的安全模型是非常必要的。本文评估了eCK＇，eCK和CK模型，证明了eCK’模型是当前最强的密钥交换可证安全模型，并形式化分析了这些模型的强弱关系。此外，对于模型问存在的蕴含关系还提供了形式化证明，并对非蕴含关系给出了反例。
|
| 关 键 词： | 网络安全 密码合 信息安全 密钥交换协议 |
STRONGER PROVABLE SECURE MODEL FOR KEY EXCHANGE |
| |
| Ren Yongjun,Wang Jiandong,Xu Dazhuan,Zhuang Yi.STRONGER PROVABLE SECURE MODEL FOR KEY EXCHANGE[J].Transactions of Nanjing University of Aeronautics & Astronautics,2009,26(4):313-319. |
| |
| Authors: | Ren Yongjun Wang Jiandong Xu Dazhuan Zhuang Yi |
| |
| Abstract: | The key exchange is a fundamental building block in the cryptography.Several provable security mod-els for the key exchange protocol are proposed.To determine the exact properties required by the protocols, a single unified security model is essential.The eCK', eCK and CK models are examined and the result is proved that the eCK' model is the strongest provable security model for the key exchange.The relative security strength among these models is analyzed.To support the implication or non-implication relations among these models, the formal proofs and the counter-examples are given. |
| |
| Keywords: | network security cryptography information security key exchange protocol |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
