科林·博伊德;伊冯·克利夫;胡安·冈萨雷斯·尼托;肯尼思·帕特森。 标准型号中的单向密钥交换。 (英语) Zbl 1159.94376号 国际期刊申请。加密货币。 第1期,第3期,181-199(2009). 摘要:我们认为在标准模型中,单轮密钥交换协议是安全的。安全分析使用强大的Canetti和Krawczyk安全模型,并将其自然扩展到基于ID的设置。本文展示了如何以通用的方式使用密钥封装机制(KEM)来获得两种不同的协议设计,并逐步增强安全保证。包括对协议性能的详细分析;令人惊讶的是,当用特定的KEM构造实例化时,得到的协议与以前最好的仅在随机Oracle模型中有证明的方案相竞争。 引用于9文件 MSC公司: 94A62 身份验证、数字签名和秘密共享 94A60型 密码学 关键词:身份验证协议;密钥交换;标准模型;安全性分析;密码学;密钥封装机制;KEM公司 软件:嗯 PDF格式BibTeX公司 XML格式引用 \textit{C.Boyd}等人,国际期刊应用。加密程序。1,第3号,181--199(2009;Zbl 1159.94376) 全文: 内政部