兰·卡内蒂;雨果·克劳茨克 分析密钥交换协议及其在构建安全信道中的应用。 （英语） Zbl 0981.94032号 Pfitzmann，Birgit（编辑），密码学进展-EUROCRYPT 2001。第20届密码技术理论与应用国际会议，奥地利因斯布鲁克，2001年5月6日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2045, 453-474 (2001). 摘要：我们提出了一种分析密钥交换协议的形式主义，它结合了以前的定义方法，并得出了具有一些重要分析优势的安全性定义：（i）任何满足安全定义的密钥交换协议都可以由对称加密和认证功能组成，以提供可证明安全的通信信道（如此处所定义）；以及（ii）该定义允许简单的模块化安全性证明：可以在通信链路经过完美认证的理想化模型中设计和证明密钥交换协议的安全性，然后使用通用工具对其进行翻译，以在对手控制的链路的实际环境中获得安全性。我们通过应用它们来获得两类密钥交换协议（Diffie-Hellman和密钥传输）的证明，证明了我们的结果的可用性，这两类密钥交换协议通过对称或非对称技术进行认证。关于整个系列，请参见[Zbl 0961.00037号]。 引用于12评论引用于128文件 MSC公司： 94A62型 身份验证、数字签名和秘密共享 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}和\textit{H.Krawczyk}，莱克特。注释计算。科学。2045，453-474（2001；Zbl 0981.94032） 全文： 链接