丹尼斯·霍夫海因茨;蒂博尔·贾格尔 标准假设的可验证随机函数。 （英语） Zbl 1348.94056号 Kushilevitz，Eyal（编辑）等人，《密码学理论》。第13届国际会议，TCC 2016-A，以色列特拉维夫，2016年1月10-13日。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49095-2/pbk；978-3-562-49096-9/电子书）。计算机科学讲义9562，336-362（2016）。 摘要：基于非交互、恒定大小的假设，是否存在具有指数大小输入空间和完全自适应安全性的可验证随机函数是一个长期未决的问题。我们构造了第一个同时实现所有这些性质的可验证随机函数。{}我们的构造可以在具有对称双线性映射的群中安全地实例化，基于具有\（n\geq3\）的\（（n-1）\）-线性假设族的任何成员。例如，这包括双线性假设，也称为决策线性（DLIN）假设。关于整个系列，请参见[Zbl 1331.94002号]. 引用于1审查引用于10文件 理学硕士： 94A60 密码学 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofheinz}和\textit{T.Jager}，莱克特。注释计算。科学。9562、336--362（2016年；Zbl 1348.94056） 全文： 内政部 参考文献： [1] Abdalla，M.，Catalano，D.，Fiore，D.：基于身份的密钥封装中的可验证随机函数。收录：Joux，A.（编辑）EUROCRYPT 2009。LNCS，第5479卷，第554-571页。斯普林格，海德堡（2009）·Zbl 1239.94030号 ·doi:10.1007/978-3-642-01001-9_32 [2] Abdalla，M.，Catalano，D.，Fiore，D.：可验证随机函数：与基于身份的密钥封装和新构造的关系。《密码学杂志》27（3），544–593（2014）·Zbl 1302.94031号 ·文件编号：10.1007/s00145-013-9153-x [3] Abdalla，M.，Fiore，D.，Lyubashevsky，V.：从选择性到完全安全：标准模型中的半通用转换。收录：Fischlin，M.，Buchmann，J.，Manulis，M.（编辑）PKC 2012。LNCS，第7293卷，第316-333页。斯普林格，海德堡（2012）·Zbl 1294.94028号 ·doi:10.1007/978-3-642-30057-8_19 [4] Au，M.H.，Susilo，W.，Mu，Y.：实用紧凑型电子现金。作者：Pieprzyk，J.、Ghodosi，H.、Dawson，E.（编辑）ACISP 2007。LNCS，第4586卷，第431-445页。斯普林格，海德堡（2007）·Zbl 1213.68244号 [5] Belenkiy，M.、Chase，M.，Kohlweiss，M.和Lysyanskaya，A.：重温了紧凑型电子现金和模拟VRF。摘自：Shacham，H.，Waters，B.（编辑）Pairing 2009。LNCS，第5671卷，第114–131页。斯普林格，海德堡（2009）·Zbl 1248.94051号 ·doi:10.1007/978-3642-03298-19 [6] Bellare，M.，Ristenpart，T.：无人工中止的模拟：简化证明并提高waters的IBE方案的具体安全性。收录：Joux，A.（编辑）EUROCRYPT 2009。LNCS，第5479卷，第407-424页。斯普林格，海德堡（2009）·Zbl 1239.94034号 ·doi:10.1007/978-3642-001-9_24 [7] Bellare，M.，Yung，M.：认证密码工具：活板门排列的案例。收录：Brickell，E.F.（编辑）CRYPTO 1992。LNCS，第740卷，第442–460页。斯普林格，海德堡（1993）·Zbl 0817.94011号 ·数字对象标识代码：10.1007/3-540-48071-4_31 [8] Mihir Bellare和Moti Yung：证明置换：基于任何陷阱门置换的非交互式零知识。《密码学杂志》9（3），149-166（1996）·Zbl 0861.94013号 ·doi:10.1007/s001459900009 [9] Boneh，D.，Boyen，X.：无随机预言的基于身份的安全加密。收录：Franklin，M.（编辑）《密码》2004。LNCS，第3152卷，第443-459页。斯普林格，海德堡（2004）·Zbl 1104.94019号 ·doi:10.1007/978-3-540-28628-8_27 [10] Boneh，D.，Boyen，X.，Shacham，H.：短群签名。收录：Franklin，M.（编辑）《密码》2004。LNCS，第3152卷，第41-55页。斯普林格，海德堡（2004）·Zbl 1104.94044号 ·doi:10.1007/978-3-540-28628-83 [11] Boneh，D.，Montgomery，H.W.，Raghunathan，A.：代数伪随机函数，通过增广级联提高了效率。摘自：2010年ACM计算机和通信安全会议记录，第131-140页。ACM（2010年）·数字对象标识代码：10.1145/1866307.1866323 [12] Boneh，D.，Halevi，S.，Hamburg，M.，Ostrovsky，R.：Diffie-Hellman决策的循环安全加密。收录：Wagner，D.（编辑）《密码》2008。LNCS，第5157卷，第108–125页。斯普林格，海德堡（2008）·Zbl 1183.94025号 ·doi:10.1007/978-3-540-85174-57 [13] Brakerski，Z.，Goldwasser，S.，Rothblum，G.N.，Vaikuntanathan，V.：弱可验证随机函数。收录：Reingold，O.（编辑）TCC 2009。LNCS，第5444卷，第558-576页。斯普林格，海德堡（2009）·Zbl 1213.94087号 ·doi:10.1007/978-3-642-00457-5_33 [14] Cash，D.，Hofheinz，D.，Kiltz，E.，Peikert，C.：盆景树，或如何委托晶格基。收录人：Gilbert，H.（编辑）EUROCRYPT 2010。LNCS，第6110卷，第523-552页。斯普林格，海德堡（2010）·Zbl 1280.94043号 ·doi:10.1007/978-3642-13190-5_27 [15] Chase，M.，Lysyanskaya，A.：多定理NIZK应用的可模拟VRF。收录：Menezes，A.（编辑）《2007年密码》。LNCS，第4622卷，第303–322页。斯普林格，海德堡（2007）·Zbl 1215.94038号 ·doi:10.1007/978-3-540-74143-5_17 [16] Chase，M.，Meiklejohn，S.：DéjáQ：使用双重系统重新审视Q型假设。In：Nguyen，P.Q.，Oswald，E.（编辑）EUROCRYPT 2014。LNCS，第8441卷，第622-639页。斯普林格，海德堡（2014）·Zbl 1290.94054号 ·doi:10.1007/978-3-642-55220-5_34 [17] Chatterjee，S.，Sarkar，P.：关于短公共参数的（层次）基于身份的加密协议（关于Waters的人工中止技术）。Cryptology ePrint Archive，报告2006/279（2006）。http://eprint.iacr.org/ [18] Cheon，J.H.：强Diffie-Hellman问题的安全性分析。收录：Vaudenay，S.（编辑）EUROCRYPT 2006。LNCS，第4004卷，第1-11页。斯普林格，海德堡（2006）·Zbl 1129.94017号 ·doi:10.1007/11761679_1 [19] Dodis，Y.：（分布式）可验证随机函数的有效构造。收录：Desmedt，Y.G.（编辑）PKC 2003。LNCS，第2567卷，第1-17页。斯普林格，海德堡（2002）·Zbl 1033.94521号 [20] Dodis，Y.，Yampolskiy，A.：具有简短证明和密钥的可验证随机函数。收录：Vaudenay，S.（编辑）PKC 2005。LNCS，第3386卷，第416-431页。斯普林格，海德堡（2005）·兹比尔1081.94521 ·doi:10.1007/978-3-540-30580-4_28 [21] Escala，A.，Herold，G.，Kiltz，E.，Ráfols，C.，Villar，J.：Diffie-Hellman假设的代数框架。Cryptology ePrint Archive，报告2013/377（2013）。http://eprint.iacr.org/ ·兹比尔1316.94070 [22] Escala，A.、Herold，G.、Kiltz，E.、Ráfols，C.、Villar，J.：Diffie-Hellman假设的代数框架。收录于：Canetti，R.，Garay，J.A.（编辑）《密码》2013年第二部分。LNCS，第8043卷，第129-147页。斯普林格，海德堡（2013）·兹比尔1316.94070 ·doi:10.1007/978-3-642-40084-18 [23] Fiore，D.，Schröder，D.：唯一性是一个不同的故事：不可能从陷门排列中验证随机函数。收录：Cramer，R.（编辑）TCC 2012。LNCS，第7194卷，第636–653页。斯普林格，海德堡（2012）·Zbl 1304.94055号 ·doi:10.1007/978-3-642-28914-9_36 [24] Freire，E.S.V.，Hofheinz，D.，Paterson，K.G.，Striecks，C.：多线性设置中的可编程散列函数。收录于：Canetti，R.，Garay，J.A.（编辑）《2013年密码》，第一部分，LNCS，第8042卷，第513-530页。斯普林格，海德堡（2013）·Zbl 1310.94145号 ·doi:10.1007/978-3642-40041-428 [25] Fuchsbauer，G.：约束可验证随机函数。收录人：Abdalla，M.，De Prisco，R.（编辑）SCN 2014。LNCS，第8642卷，第95-114页。斯普林格，海德堡（2014）·Zbl 1302.94047号 ·doi:10.1007/978-3-319-10879-7_7 [26] Gerbush，M.、Lewko，A.、O'Neill，A.和Waters，B.：双重形式签名：从静态假设中证明安全性的方法。收录人：Wang，X.，Sako，K.（编辑）2012年亚洲期刊。LNCS，第7658卷，第25-42页。斯普林格，海德堡（2012）·Zbl 1290.94149号 ·doi:10.1007/978-3-642-34961-44 [27] Hofheinz，D.，Kiltz，E.：可编程散列函数及其应用。收录：Wagner，D.（编辑）《密码》2008。LNCS，第5157卷，第21-38页。斯普林格，海德堡（2008）·Zbl 1183.94052号 ·doi:10.1007/978-3-540-85174-52 [28] Hohenberger，S.，Waters，B.：构建具有大输入空间的可验证随机函数。In：Gilbert，H.（编辑）EUROCRYPT 2010。LNCS，第6110卷，第656–672页。斯普林格，海德堡（2010）·Zbl 1280.94068号 ·doi:10.1007/978-3-642-13190-5_33 [29] Jager，T.：来自较弱假设的可验证随机函数。摘自：Dodis，Y.，Nielsen，J.B.（编辑）TCC 2015，第二部分。LNCS，第9015卷，第121-143页。斯普林格，海德堡（2015）·兹比尔1379.94042 ·doi:10.1007/978-3-662-46497-7_5 [30] Jao，D.，Yoshida，K.：Boneh-Boyen签名和强Diffie-Hellman问题。摘自：Shacham，H.，Waters，B.（编辑）Pairing 2009。LNCS，第5671卷，第1-16页。斯普林格，海德堡（2009）·Zbl 1248.94075号 ·doi:10.1007/978-3642-03298-1_1 [31] Jarecki，S.：手铐大哥：一个过度弹性的交易托管计划。摘自：Cachin，C.，Camenisch，J.L.（编辑）EUROCRYPT 2004。LNCS，第3027卷，第590-608页。斯普林格，海德堡（2004）·Zbl 1122.94425号 ·doi:10.1007/978-3-540-24676-3_35 [32] Kakvi，S.A.，Kiltz，E.，May，A.：认证RSA。摘自：Wang，X.，Sako，K.（编辑）ASIACRYPT 2012。LNCS，第7658卷，第404-414页。斯普林格，海德堡（2012）·Zbl 1292.94087号 ·doi:10.1007/978-3-642-34961-4_25 [33] Lauer，S.：可验证随机函数。鲁尔-波鸿大学硕士论文（2015） [34] Liskov，M.：可更新的零知识数据库。摘自：Roy，B.（编辑）《2005年亚洲》。LNCS，第3788卷，第174–198页。斯普林格，海德堡（2005）·Zbl 1154.94468号 ·doi:10.1007/11593447_10 [35] Lysyanskaya，A.：DH-DDH分离的独特特征和可验证随机函数。收录：Yung，M.（编辑）《密码》，2002年。LNCS，第2442卷，第597–612页。斯普林格，海德堡（2002）·Zbl 1028.94511号 ·doi:10.1007/3-540-45708-9_38 [36] Micali，S.、Rabin，M.O.、Vadhan，S.P.：可验证随机函数。摘自：《1999年FOCS会议记录》，第120-130页。IEEE计算机学会（1999）·doi:10.1010/SFFCS.1999.814584 [37] Micali，S.，Reyzin，L.：公开密钥模型的合理性。收录：Kilian，J.（编辑）《密码》2001年。LNCS，第2139卷，第542-565页。斯普林格，海德堡（2001）·Zbl 1003.94528号 ·数字对象标识代码：10.1007/3-540-44647-8_32 [38] Micali，S.，Rivest，R.L.：重新审视小额支付。在：Preneel，B.（编辑）CT-RSA 2002。LNCS，第2271卷，第149-163页。斯普林格，海德堡（2002）·Zbl 1048.94517号 ·doi:10.1007/3-540-45760-7_11 [39] Naor，M.：关于密码假设和挑战。收录：Boneh，D.（编辑）《密码》2003。LNCS，第2729卷，第96-109页。斯普林格，海德堡（2003）·Zbl 1122.94391号 ·doi:10.1007/978-3-540-45146-46 [40] Moni Naor和Omer Reingold：有效伪随机函数的数字理论构造。J.ACM 51（2），231–262（2004）·Zbl 1248.94086号 ·数字对象标识代码：10.1145/972639.972643 [41] Naor，M.，Segev，G.：抗密钥泄漏的公钥密码系统。收录：Halevi，S.（编辑）《密码》2009。LNCS，第5677卷，第18-35页。斯普林格，海德堡（2009）·Zbl 1252.94091号 ·doi:10.1007/978-3-642-03356-82 [42] Shacham，H.：基于线性假设和逐渐减弱的线性变体的Cramer-shoup加密方案。Cryptology ePrint Archive，报告2007/074（2007）。http://eprint.iacr.org/ [43] Waters，B.：双系统加密：在简单的假设下实现完全安全的IBE和HIBE。收录：Halevi，S.（编辑）《密码》2009。LNCS，第5677卷，第619-636页。斯普林格，海德堡（2009）·Zbl 1252.94101号 ·doi:10.1007/978-3-642-03356-8_36 [44] Waters，B.：无随机预言的高效基于身份的加密。收录：Cramer，R.（编辑）EUROCRYPT 2005。LNCS，第3494卷，第114-127页。斯普林格，海德堡（2005）·Zbl 1137.94360号 ·doi:10.1007/11426639_7 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。