陆荣星;曹振福;苏仁旺;柴振川 用于对等计算的基于ID的认证密钥协议。 （英语） Zbl 1105.94323号 上海交通大学。 E-11，第2期，205-209（2006）. 摘要：对等计算最近开始得到广泛接受，因为它可以大大提高整个系统的性能和可靠性。然而，安全问题仍然是其全面采用的一个主要限制因素。为了保证对等系统中两个对等体之间交换数据的安全性，本文从双线性对中提出了一种基于ID的认证密钥协议，并使用了BAN逻辑M.Burrows、M.Abadi和李约瑟（R.Needham）[ACM Trans.Compute.Syst，8，No.10，18-36（1990）和Proc.R.Soc.Lond.，Ser.A 426，No.1871，233-271（1989；Zbl 0687.68007号)]来证明协议的安全性。与现有的其他协议相比，该协议采用静态共享的Diffie-Hellman密钥，因此看起来更加安全高效。 理学硕士： 94A62型 身份验证、数字签名和秘密共享 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面） 11T71型 代数编码理论；密码学（数论方面） 03B70号 计算机科学中的逻辑 关键词：BAN逻辑 引文：Zbl 0687.68007号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lu}等，上海交通大学科学技术学院。E-11，No.2，205--209（2006；Zbl 1105.94323）