eCK模型下可证明安全的双方认证密钥协商协议

• 作者: 谷大武 赵建杰
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 密码学 认证密钥协商 可证明安全 eCK模型 密钥确认
• 年，卷（期）: 2011,（1）
• 页码范围: 47-54
• 分类号: TP309
• 字数: 8262字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00047

摘要

如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一.然而目前多数安全协议只能达到"启发式"安全,协议的安全性假设和效率也不够理想.针对这些问题,文中提出了一种新的两轮双方认证密钥协商协议,通过分析新协议的安全属性指出了构造双方认证密钥协商的一些原则.随后,在eCK模型下对新协议进行了严格的形式化证明,根据相关文献,eCK模型是目前关于双方密钥协商协议的安全程度最高的形式化模型.性能分析表明,新协议较好地平衡了计算量和安全性假设这两个协议评价指标.另外,为了实现新协议的密钥确认属性,文中提出了一种三轮变体协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谷大武	上海交通大学计算机科学与工程系	86	620	14.0	20.0
2	赵建杰	上海交通大学信息安全工程学院	3	31	2.0	3.0