A Provable Secure ID-Based Explicit Authenticated Key Agreement Protocol Without Random Oracles

Abstract

在这篇论文，我们在场没有随机的神谕，是 provably 安全的一个基于身份的明确的证实的关键一致性协议。协议采用一个新方法从关键证实钥匙孤立一个会话关键字以便没有在协议的散列函数的直接用法。没有随机的神谕，协议在 Bellare 和 Rogaway 风格模型，的变体被证明安全一个例外到在在基于标志的背景的这个风格模型的当前的验证法。我们相信这关键隔离法是新奇的并且能进一步为构造更多的有效协议被学习。这篇文章的联机版本(做 i：10.1007/s11390-008-9178-z ) 包含增补材料，它对授权用户可得到。