关于 Wang 可证明安全的基于身份密钥协商协议的安全性
密码学与安全
2013-12-17 v1
摘要
在 2005 年的一份 IACR 报告中，Wang 发布了一种适用于资源受限设备的高效基于身份密钥协商协议（IDAK）。作者表明，该 IDAK 密钥协商协议在带有随机预言机的 Bellare-Rogaway 模型中是安全的，并提供了独立的临时性安全证明，声称 IDAK 协议不易受到密钥泄露伪装攻击，且享有完美前向保密性（PFS）。在本报告中，我们回顾了该协议的安全属性，指出其易受未知密钥共享攻击。尽管此类攻击在现实环境中往往难以实施，但从理论角度来看仍具有重要意义，因此我们提供了一个以标准方式修复该问题的协议版本。我们还基于 Gap Bilinear Diffie Hellman 假设和随机预言机假设，在分布式计算领域更强的扩展 Canetti-Krawczyk 安全模型下，提供了 IDAK 协议的安全证明。
关键词
引用
@article{arxiv.1312.4363,
title = {On the Security of Wang's Provably Secure Identity-based Key Agreement Protocol},
author = {Maurizio Adriano Strangio},
journal= {arXiv preprint arXiv:1312.4363},
year = {2013}
}