谢尔曼·S·M·周。；Kim-Kwang Raymond Choo先生 基于身份的强安全密钥协议和匿名扩展。 （英语） Zbl 1138.68403号 Garay，Juan A.（编辑）等人，《信息安全》。2007年10月9日至12日在智利瓦尔帕拉索举行的第十届国际会议，ISC 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75495-4/pbk）。计算机科学课堂讲稿4779203-220（2007）。 摘要：我们研究了基于身份的密钥协商协议的可证明安全性。尽管一些已发布的协议在随机预言机模型中已被证明是安全的，但只考虑弱对抗性模型——不允许对手询问会话密钥揭示查询，这将允许对手学习先前建立的会话密钥。最近致力于提供更高级别安全性的研究工作需要强有力的假设，例如假设模拟器可以访问非存在的计算或决策预言机。在这项工作中，我们提出了一种基于ID的密钥协商协议，并在广泛接受的Canetti和Krawczyk的基于不可区分性的模型中证明了其安全性。在我们的证明中，模拟器不需要访问任何不存在的计算预言或决策预言。然后，我们扩展了基本协议，以支持具有双边隐私的特殊匿名密钥协议。据我们所知，这是第一个此类协议，因为之前发布的协议是针对固定组的，只提供单方面隐私（即，只有一个协议参与者享有匿名权）。关于整个系列，请参见[Zbl 1137.68007号]. 引用于8文件 MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 关键词：关键协议；基于身份的密码体制；显示查询；可证明安全性；匿名 软件：HMQV公司；显示 PDF格式BibTeX公司 XML格式引用 \textit{S.S.M.Chow}和\textit{K.-K.R.Choo}，莱克特。注释计算。科学。4779203-220（2007年；Zbl 1138.68403） 全文： 内政部