和崎市Yoneyama 非对称双线性配对协议的计算可靠性。 （英语） Zbl 1368.94136号 Chow，Sherman S.M.（编辑）等人，《可证明安全性》。第八届国际会议，ProvSec 2014，中国香港，2014年10月9日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-12474-2/pbk）。计算机科学课堂讲稿8782317-325（2014）。 摘要：已知使用类型3对的非对称双线性映射在几个方面（例如，群元素的速度和大小）优于使用类型1对的对称双线性地图。Kremer和Mazaré引入了一个基于双线性映射的符号模型来分析协议，并表明该符号模型在计算上是合理的。然而，他们的模型只涵盖对称双线性映射。本文提出了一种新的符号模型来捕获非对称双线性映射。我们的模型允许我们基于非对称双线性映射分析各种协议的安全性（例如，Scott的基于客户端-服务器ID的密钥交换）。此外，我们还证明了我们的符号模型在决定双线性Diffie-Hellman假设下的计算可靠性。有关整个系列，请参见[Zbl 1317.94004号]. MSC公司： 94A60 密码学 68平方米 网络协议 关键词：形式化方法;计算可靠性;非对称双线性配对 PDF格式BibTeX公司 XML格式引用 \textit{K.Yoneyama}，莱克特。注释计算。科学。8782317--325（2014；Zbl 1368.94136） 全文： 内政部