会议专题

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

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

网络环境 认证密钥协商 eCK模型 安全性分析

Zhao Jianjie 赵建杰 Gu Dawu 谷大武

Shanghai Jiao Tong University,School of Information Security Engineering.Shanghai,200240 上海交通大学信息安全工程学院 上海 200240

国内会议

中国密码学会2009年会

广州

中文

272-284

2009-11-14(万方平台首次上网日期,不代表论文的发表时间)