更强的密钥交换可证安全模型(英文)

作     者：任勇军 王建东 徐大专 庄毅 Ren Yongjun;Wang Jiandong;Xu Dazhuan;Zhuang Yi

作者机构：南京航空航天大学信息科学与技术学院 南京信息工程大学计算机与软件学院 

基　　金：Supported by the National High Technology Research and Development Program of China("863"Program)(2006AA706103)~~ 

出 版 物：《Transactions of Nanjing University of Aeronautics and Astronautics》 (南京航空航天大学学报（英文版）)

年 卷 期：2009年第26卷第4期

页      码：313-319页

摘      要：设计和分析双方密钥交换协议,目前已提出多个可证安全模型。为保障密钥交换协议所需的安全特性,形成一个统一的安全模型是非常必要的。本文评估了eCK′,eCK和CK模型,证明了eCK′模型是当前最强的密钥交换可证安全模型,并形式化分析了这些模型的强弱关系。此外,对于模型间存在的蕴含关系还提供了形式化证明,并对非蕴含关系给出了反例。

主 题 词：网络安全 密码合 信息安全 密钥交换协议 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0802[工学-机械学] 0825[工学-环境科学与工程类] 0704[理学-天文学类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1005-1120.2009.04.011

馆 藏 号：203137184...