更强的密钥交换可证安全模型

• 作者: 任勇军 庄毅 徐大专 王建东
• 来源期刊: 南京航空航天大学学报(英文版)
• 学科: 工学
• 关键词: 网络安全 密码合 信息安全 密钥交换协议中国分类号:TP393
• 年，卷（期）: 2009,（4）
• 页码范围: 313-319
• 页数: 7页
• 分类号: TP393
• 字数: 475字
• 语种: 英文
• DOI: 10.3969/j.issn.1005-1120.2009.04.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄毅	南京航空航天大学信息科学与技术学院	126	790	14.0	23.0
2	王建东	南京航空航天大学信息科学与技术学院	158	1573	21.0	31.0
3	徐大专	南京航空航天大学信息科学与技术学院	131	762	15.0	22.0
4	任勇军	南京航空航天大学信息科学与技术学院	15	284	5.0	15.0