文件Open Access徽标

在通信复杂性世界中有条件地披露秘密

作者 本尼·阿普勒巴姆, Prashant Nalini Vasudevan公司



PDF格式
缩略图PDF

文件

文件标识符

作者详细信息

本尼·阿普勒巴姆
  • 以色列特拉维夫特拉维夫大学,https://www.eng.tau.ac.il(英文)/~bennyap(本尼亚普)/
Prashant Nalini Vasudevan公司
  • 美国加州大学伯克利分校,http://people.eecs.berkeley.edu/~普拉什瓦斯

引用为获取BibTex

本尼·阿普勒鲍姆(Benny Applebaum)和普拉桑特·纳里尼·瓦苏德万(Prashant Nalini Vasudevan)。在通信复杂性世界中有条件地披露秘密。第十届理论计算机科学创新大会(ITCS 2019)。莱布尼茨国际信息学论文集(LIPIcs),第124卷,第4:1-4:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2019)
https://doi.org/10.4230/LIPIcs.ITCS.2019.4

摘要

在条件公开秘密(CDS)问题中(Gertner等人,J.Compute.Syst.Sci.,2000),Alice和Bob分别持有n位输入x和y,当且仅当输入(x,y)满足某个预定义谓词f时,他们希望向Carol(知道x和y)释放一个公共秘密z。允许Alice和Bob向Carol发送一条消息,这可能取决于他们的输入和一些共享的随机性,目标是在提供信息理论安全性的同时将通信复杂性降至最低。尽管人们对这个模型越来越感兴趣,但很少有人知道下限。本文将谓词f的CDS复杂度与其在各种通信博弈下的通信复杂度联系起来。对于几个基本谓词,我们的结果给出了Omega(n)或Omega的紧或几乎紧的下限(n^{1-epsilon}),比以前的对数下限有了指数改进。我们还定义了新的通信复杂性类,这些类对应于CDS模型的不同变体,并研究了它们之间的关系及其补充。值得注意的是,我们表明,允许不完美的正确性可以显著减少通信,这在信息理论密码学的背景下是一个看似新的现象。最后,我们的结果表明,证明不完美CDS协议的显式超算术下限是证明针对类AM,甚至AM cap-coAM的显式下限的必要步骤,这是通信复杂性理论中众所周知的公开问题。因此,不完美的CDS形成了一个新的最小类,它被放置在通信复杂性世界中“文明”部分的边界之外,而显式下限是已知的。

主题分类

ACM科目分类
  • 计算理论→通信复杂性
  • 计算理论→密码协议
关键词
  • 有条件披露秘密
  • 信息理论安全

韵律学

工具书类

  1. William Aiello、Yuval Ishai和Omer Reingold。定价的不经意转移:如何销售数字产品。Birgit Pfitzmann主编,《密码学进展-EUROCRYPT 2001》,密码技术理论与应用国际会议,奥地利因斯布鲁克,2001年5月6日至10日,《计算机科学讲稿》第2045卷,第119-135页。斯普林格,2001年。网址:http://dx.doi.org/10.1007/3-540-44987-6-8.
  2. 本尼·阿普勒鲍姆(Benny Applebaum)和巴拉克·阿基斯(Barak Arkis)。论秘密共享中的摊销权:d-一致秘密共享和恒信息率CDS。Amos Beimel和Stefan Dziembowski主编,《密码学理论——第16届国际会议》,2018年11月11日至14日,印度帕纳吉TCC 2018,《计算机科学讲稿》第一部分第11239卷,第317-344页。施普林格,2018年。网址:http://dx.doi.org/10.1007/978-3-030-03807-6_12.
  3. 本尼·阿普勒鲍姆(Benny Applebaum)、巴拉克·阿基斯(Barak Arkis)、帕维尔·雷科夫(Pavel Raykov)和普拉沙特·纳里尼·瓦苏提凡(Prashant Nalini Vasudevan)。有条件披露秘密:扩大、关闭、摊销、下限和分离。乔纳森·卡茨(Jonathan Katz)和霍瓦夫·沙查姆(Hovav Shacham)主编,《密码学进展——2017-第37届国际密码学年会》(Advances In Cryptology-CRYPTO 2017),2017年8月20日至24日,美国加利福尼亚州圣巴巴拉(Santa Barbara,CA,USA),《计算机科学学报》(Proceedings,Part I)第10401卷。施普林格,2017年。网址:http://dx.doi.org/10.1007/978-3-319-63688-7_24.
  4. 本尼·阿普勒鲍姆(Benny Applebaum)、托马斯·霍伦斯坦(Thomas Holenstein)、马诺伊·米什拉(Manoj Mishra)和奥弗·沙耶维茨(Ofer Shayevitz)。私人同步消息的通信复杂性,重新审视。Jesper Buus Nielsen和Vincent Rijmen主编,《密码学进展-2018年欧洲密码》-第37届密码技术理论和应用国际年会,以色列特拉维夫,2018年4月29日至5月3日,《计算机科学讲稿》第二部分第10821卷,第261-286页。施普林格,2018年。网址:http://dx.doi.org/10.1007/978-3319-78375-8_9.
  5. 本尼·阿普勒鲍姆和帕维尔·雷科夫。从私人同时消息到零信息Arthur Merlin协议和返回。《密码学理论——第13届国际会议》,TCC 2016-A,以色列特拉维夫,2016年1月10日至13日,会议记录,第二部分,第65-82页,2016年。网址:http://dx.doi.org/10.1007/978-3-662-49099-0_3.
  6. 本尼·阿普勒鲍姆(Benny Applebaum)和普拉桑特·纳里尼·瓦苏德万(Prashant Nalini Vasudevan)。将秘密的有条件披露置于通信复杂性领域。2018年技术报告。本文的完整版本。网址:https://www.eng.tau.ac.il(英文)/~bennyap/publications.html.
  7. Nuttapong Attrapadung公司。通过双重选择安全的双重系统加密:框架,正则语言的完全安全的函数加密,等等。Phong Q.Nguyen和Elisabeth Oswald主编,《密码学进展——2014年欧洲密码》第33届国际密码技术理论和应用年会,丹麦哥本哈根,2014年5月11日至15日。《计算机科学讲义》第8441卷,第557-577页。斯普林格,2014年。网址:http://dx.doi.org/10.1007/978-3642-55220-5_31.
  8. 拉什洛巴拜。随机性交易群理论。1985年5月6日至8日,美国罗德岛州普罗维登斯,第17届美国计算机学会计算机理论研讨会论文集编辑罗伯特·塞奇威克,第421-429页。ACM,1985年。网址:http://dx.doi.org/10.1145/22145.22192.
  9. 阿莫斯·贝梅尔(Amos Beimel)、奥利奥·法拉斯(Oriol Farrás)、尤瓦尔·明茨(Yuval Mintz)和纳蒂·彼得(Naty Peter)。用于禁止图访问结构的线性秘密共享方案。将于2017年和2017年出现在TCC上。谷歌学者
  10. 阿莫斯·贝梅尔(Amos Beimel)、尤瓦尔·伊斯海(Yuval Ishai)、兰吉特·库马雷桑(Ranjit Kumaresan)和埃亚尔·库什利维茨(Eyal Kushilevitz)。关于最差函数的密码复杂性。2014年2月24日至26日,美国加利福尼亚州圣地亚哥TCC 2014年第11届密码理论会议《密码理论》编辑Yehuda Lindell。《计算机科学讲义》第8349卷,第317-342页。斯普林格,2014年。网址:http://dx.doi.org/10.1007/978-3-642-54242-8_14.
  11. 阿莫斯·贝梅尔(Amos Beimel)、埃亚尔·库什利维茨(Eyal Kushilevitz)和普尼娜·尼西姆(Pnina Nissim)。多方PSM协议和相关模型的复杂性。将于2018年、2018年在Eurocrypt上亮相。网址:https://eprint.iacr.org/2018/148.
  12. 阿莫斯·贝梅尔和纳蒂·彼得。最优线性多方条件公开秘密协议。Cryptology ePrint Archive,报告2018/4412018。网址:https://eprint.iacr.org/2018/441.
  13. Adam Bouland、Lijie Chen、Dhiraj Holden、Justin Thaler和Prashant Nalini Vasudevan。论统计零知识的力量。Chris Umans,编辑,第58届IEEE计算机科学基础年度研讨会,FOCS 2017,美国加利福尼亚州伯克利,2017年10月15-17日,第708-719页。IEEE计算机学会,2017年。网址:http://dx.doi.org/10.1109/FOCS.2017.71.
  14. 欧内斯特·布里克尔(Ernest F.Brickell)和丹尼尔·达文波特(Daniel M.Davenport)。理想秘密共享方案的分类。《密码学杂志》,4(2):123-1341991年。网址:http://dx.doi.org/10.1007/BF00196772.
  15. 雷纳托·卡波切利(Renato M.Capocelli)、阿尔弗雷多·德·桑蒂斯(Alfredo De Santis)、路易莎·加加诺(Luisa Gargano)和乌戈·瓦卡罗(Ugo Vaccaro)。秘密分享计划的股份规模。《密码学杂志》,6(3):157-1671993年。网址:http://dx.doi.org/10.1007/BF00198463.
  16. 是的,多迪斯。香农不可能,再访。Adam D.Smith,《信息理论安全——第六届国际会议》编辑,ICITS 2012,蒙特利尔,魁北克省,加拿大,2012年8月15-17日。《计算机科学讲义》第7412卷,第100-110页。施普林格,2012年。网址:http://dx.doi.org/10.1007/978-3-642-32284-6_6.
  17. 乌列尔·菲戈、乔·基里安和莫尼·纳尔。安全计算的最小模型(扩展抽象)。编辑Frank Thomson Leighton和Michael T.Goodrich,《第二十六届ACM计算机理论研讨会论文集》,1994年5月23日至25日,加拿大魁北克省蒙特利尔,第554-563页。ACM,1994年。网址:http://dx.doi.org/10.1145/199058.195408.
  18. 阿莫斯·菲亚特和莫尼·纳尔。广播加密。1993年8月22日至26日,美国加利福尼亚州圣巴巴拉市,第13届国际密码会议,《密码学进展-93》编辑Douglas R.Stinson,《计算机科学讲稿》第773卷,第480-491页。施普林格,1993年。网址:http://dx.doi.org/10.1007/3-540-48329-2_40.
  19. 罗曼·盖伊(Romain Gay)、奥丹妮斯·克雷尼迪斯(Iordanis Kerenidis)和霍特克·维(Hoeteck Wee)。有条件披露秘密和基于属性的加密的通信复杂性。罗萨里奥·詹纳罗(Rosario Gennaro)和马修·罗布肖(Matthew Robshaw)主编,《密码学进展——2015年第35届年度密码学会议》,美国加利福尼亚州圣巴巴拉,2015年8月16日至20日,《计算机科学讲义第9216卷论文集》,第485-502页。斯普林格,2015年。网址:http://dx.doi.org/10.1007/978-3-662-48000-7_24.
  20. Yael Gertner、Yuval Ishai、Eyal Kushilevitz和Tal Malkin。在私有信息检索方案中保护数据隐私。J.计算。系统。科学。,60(3):592-629, 2000. 网址:http://dx.doi.org/10.1006/jcss.1999.1689.
  21. 奥德·戈德雷奇、西尔维奥·米卡利和阿维·威格德森。对于NP中的所有语言,只产生有效性的证明都具有零知识证明系统。美国医学杂志,38(3):691-7291991年。网址:http://dx.doi.org/10.1145/116825.116852.
  22. Shafi Goldwasser和Michael Sipser。交互式证明系统中的私人硬币与公共硬币。《计算研究进展》,5:73-901989。谷歌学者
  23. 米卡·哥尔斯、托尼安·皮塔西和托马斯·沃森。Arthur-Merlin通信中的零信息协议和无歧义性。Tim Roughgarden,编辑,《2015年理论计算机科学创新会议论文集》,ITCS 2015,以色列Rehovot,2015年1月11日至13日,第113-122页。ACM,2015年。网址:http://dx.doi.org/10.1145/2688073.2688074.
  24. 米卡·哥尔斯、托尼安·皮塔西和托马斯·沃森。通信复杂性课程的前景。计算复杂性,27(2):245-3042018。网址:http://dx.doi.org/10.1007/s00037-018-0166-6.
  25. 尤瓦尔·伊斯海(Yuval Ishai)、埃亚尔·库什利维茨(Eyal Kushilevitz)和阿纳特·帕斯金(Anat Paskin)。具有最小交互的安全多方计算。2010年8月15日至19日,美国加利福尼亚州圣巴巴拉,第30届年度密码会议,《密码进展-2010》编辑塔尔·拉宾。《计算机科学讲义》第6223卷,第577-594页。施普林格,2010年。网址:http://dx.doi.org/10.1007/978-3642-14623-7_31.
  26. Yuval Ishai和Hoeteck Wee。部分乱码方案及其应用。Javier Esparza、Pierre Fraignaud、Thore Husfeldt和Elias Koutsoupias,《自动化、语言和编程——第41届国际学术讨论会》编辑,ICALP 2014,丹麦哥本哈根,2014年7月8日至11日,《计算机科学讲稿》第8572卷第一部分会议录,第650-662页。斯普林格,2014年。网址:http://dx.doi.org/10.1007/978-3-662-43948-7_54.
  27. 伊兰·克莱默(Ilan Kremer)、诺姆·尼桑(Noam Nisan)和达娜·罗恩(Dana Ron)。随机单圈通信复杂性研究。计算复杂性,8(1):21-491999。网址:http://dx.doi.org/10.1007/s000370050018.
  28. Eyal Kushilevitz和Noam Nisan。通信复杂性。剑桥大学出版社,1997年。谷歌学者
  29. 刘天仁(Tianren Liu)和维诺德·瓦昆塔坦(Vinod Vaikuntanathan)。打破秘密分享中的电路规模障碍。将于2018年在STOC2018上亮相。网址:https://eprint.iacr.org/2018/333.
  30. 刘天仁(Tianren Liu)、维诺德·瓦昆塔坦(Vinod Vaikuntanathan)和霍特克·维(Hoeteck Wee)。通过非线性重建有条件地披露秘密。乔纳森·卡茨(Jonathan Katz)和霍瓦夫·沙查姆(Hovav Shacham)主编,《密码学进展——2017-第37届国际密码学年会》(Advances In Cryptology-CRYPTO 2017),2017年8月20日至24日,美国加利福尼亚州圣巴巴拉(Santa Barbara,CA,USA),《计算机科学学报》(Proceedings,Part I)第10401卷。施普林格,2017年。网址:http://dx.doi.org/10.1007/978-3-319-63688-7_25.
  31. 刘天仁(Tianren Liu)、维诺德·瓦昆塔坦(Vinod Vaikuntanathan)和霍特克·维(Hoeteck Wee)。《迈向打破一般秘密共享的指数障碍》,将于2018年、2017年在Eurocrypt上发表。网址:https://eprint.iacr.org/2017/1062.
  32. 彼得·布罗·米尔特森(Peter Bro Miltersen)、诺姆·尼桑(Noam Nisan)、什穆埃尔·萨夫拉(Shmuel Safra)和阿维·威格德森(Avi Wigderson)。数据结构与非对称通信复杂性。J.计算。系统。科学。,57(1):37-49, 1998. 网址:http://dx.doi.org/10.1006/jcss.1998.1577.
  33. 伊兰·纽曼。通信复杂性中的私有随机位与公共随机位。信息处理。莱特。,39(2):67-71, 1991. 网址:http://dx.doi.org/10.1016/0020-0190(91)90157-D.
  34. Amit Sahai和Salil P.Vadhan。统计零知识的完整问题。美国医学杂志,50(2):196-2492003。网址:http://dx.doi.org/10.1145/636865.636868.
  35. 克劳德·香农。保密系统通信理论。贝尔系统技术期刊,28:656-7151949。谷歌学者
  36. 孙洪民和Shiuh-Pyng Shieh。基于图的禁止结构中的秘密共享。在1997年4月7日至12日在日本神户举行的第十六届IEEE计算机与通信协会年会计算机通信会议《推动信息革命》(Proceedings IEEE INFOCOM’97)中,第718-724页。IEEE,1997年。网址:http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4979,URL:http://dx.doi.org/10.109/INFCOM.1997.644525.
  37. 霍特克·维。通过谓词编码的双系统加密。2014年2月24日至26日,美国加利福尼亚州圣地亚哥TCC 2014年第11届密码理论会议《密码理论》编辑Yehuda Lindell。《计算机科学讲义》第8349卷,第616-637页。斯普林格,2014年。网址:http://dx.doi.org/10.1007/978-3642-54242-8-26.
  38. 霍特克·韦。个人通信,2018年。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件