×
约翰内斯·克虏伯;多米尼克·施罗德;马克·辛金;达里奥·菲奥雷;朱塞佩·阿特尼塞;斯特凡·纽伦伯格

近乎最佳的可验证数据流。 （英语） 兹比尔1388.94065

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，417-445（2016）。
摘要：可验证数据流（VDS）问题考虑了客户端将大型数据集外包给不受信任的服务器的设置，并且此数据集的完整性可以公开验证。VDS的一个特殊属性是，客户端可以在不更改公共验证密钥的情况下向数据集附加附加元素。此外，客户端还可以更新数据集中的元素。所有以前的VDS构造都遵循基于散列树的方法，但要么对数据库大小有上限，要么只在随机预言机模型中证明是安全的。在这项工作中，我们给出了标准模型中第一个无界VDS构造。我们给出了两种不同权衡的结构。第一个方案遵循散列树构造，基于一个新的密码原语，称为变色龙向量承诺（CVC），这可能是一个独立的兴趣。CVC是一种针对消息向量的活门承诺方案，其中承诺和开口的大小都是恒定的。由于基于树的方法，完整性证明在数据集的大小上是对数的。第二个方案通过将签名方案与密码累加器相结合来实现恒定大小的证明，但需要服务器端更新操作数量的线性计算成本。
关于整个系列，请参见[Zbl 1332.94005号].

引用于5文件

MSC公司：

94A60型 密码学

关键词：

变色龙媒介承诺
PDF格式BibTeX公司 XML格式引用
\textit{J.Krupp}等人，Lect。注释计算。科学。9614，417--445（2016；Zbl 1388.94065）
全文： DOI程序

参考文献：

[1] Abdulla，P.A.，Henda，N.B.，Mayr，R.：决定性马尔可夫链。逻辑方法计算。科学。3(4) (2007) ·Zbl 1131.68060号
[2] Acerbi，C。；Tasche，D.，《预期短缺：风险价值的自然连贯替代方案》，《经济》。注释，31，2，379-388（2002）·数字对象标识代码：10.1111/1468-0300.0091
[3] 阿尔维姆，MS；安德烈斯，ME；Chatzikokolakis，K。；Degano，P。；Palamidessi，C.，关于差异私有机制的信息泄露，J.Comput。安全。，23, 4, 427-469 (2015) ·doi:10.3233/JCS-150528
[4] Alvim，M.S.、Chatzikokolakis，K.、McIver，A.、Morgan，C.、Palamidessi，C.和Smith，G.：信息泄漏公理。摘自：《计算机安全基础研讨会论文集》（CSF），第77-92页。IEEE计算机学会（2016）
[5] Alvim，M.S.，Chatzikokolakis，K.，Palamidessi，C.，Smith，G.：使用广义增益函数测量信息泄漏。摘自：《计算机安全基础研讨会论文集》，第265-279页。IEEE计算机学会（2012）
[6] Andrés，M.E.：概率和非确定性系统中信息泄漏的定量分析。博士论文，UB奈梅亨（2011）
[7] 安德烈斯，ME；帕拉米德西，C。；van Rossum，P。；Sokolova，A.，概率并发系统中的信息隐藏，理论。计算。科学。，4123072-3089（2011年）·Zbl 1216.68182号 ·doi:10.1016/j.tcs.2011.02.045
[8] 安德烈斯，ME；van Rossum，P。；罗马克里希南，CR；Rehof，J.，概率和非确定性系统的条件概率，系统构建和分析的工具和算法，157-172（2008），海德堡：施普林格·Zbl 1134.68395号 ·doi:10.1007/978-3-540-78800-3_12
[9] 拜尔，C。；Dubslaff，C。；Klein，J。；Klüppelholz，S。；Wunderlich，S。；Breugel，F。；Kashefi，E。；帕拉米德西，C。；Rutten，J.，《能源效用分析的概率模型检验》，《心灵的地平线》。《向普拉卡什·帕南加登致敬》，96-123（2014），海德堡：斯普林格·Zbl 1407.68279号 ·doi:10.1007/978-3-319-06880-05
[10] 拜尔，C。；Katoen，J-P，《模型检验原理》（2008），剑桥：麻省理工学院出版社，剑桥·Zbl 1179.68076号
[11] 拜尔，C。；Klein，J。；Klüppelholz，S。；Märcker，S。；E·阿尔布拉哈姆。；Havelund，K.，高效计算马尔科夫模型中的条件概率，系统构建和分析的工具和算法，515-530（2014），海德堡：斯普林格·doi:10.1007/978-3-642-54862-843
[12] Baier，C.，Klein，J.，Klüppelholz，S.，Wunderlich，S.：线性时间逻辑重量监测：复杂性和可判定性。收录于：《计算机科学学报-逻辑/计算机科学中的逻辑》（CSL-LICS），第11:1-11:10页。ACM（2014）·兹比尔1401.68182
[13] Baier，C.，Klein，J.，Klüppelholz，S.Wunderlich，S.：实现目标的有条件预期回报最大化（扩展版）。arXiv:1701.05389（2017）·Zbl 1453.90180号
[14] Barthe，G。；Espitau，T。；费雷尔·菲奥里蒂，LM；徐，J。；南部乔杜里。；Farzan，A.，通过Doob分解合成概率不变量，计算机辅助验证，43-61（2016），海德堡：施普林格·Zbl 1411.68057号
[15] 民主党Bertsekas；Tsitsiklis，JN，随机最短路径问题分析，数学。操作。研究，16，3，580-595（1991）·Zbl 0751.90077号 ·doi:10.1287/门.16.3.580
[16] Bertsekas，D.P.，Yu，H.：弱条件下的随机路径问题。技术报告，M.I.T.Cambridge，报告LIDS 2909（2016）
[17] Boker，U.、Chatterjee，K.、Henzinger，T.A.、Kupferman，O.：具有累积值的时间规范。摘自：《计算机科学中的逻辑学报》（LICS），第43-52页。IEEE计算机学会（2011）·Zbl 1354.68169号
[18] Brázdil，T.、Brozek，V.、Chatterjee，K.、Forejt，V.和Kucera，A.：关于马尔可夫决策过程中多个平均值-平均值目标的两种观点。逻辑方法计算。科学。10(1) (2014) ·Zbl 1326.90101号
[19] Brázdil，T。；库切拉，A。；Sarukkai，S。；Sen，S.，计算无限马尔可夫链子类的预期累积报酬和收益，FSTTCS 2005:软件技术和理论计算机科学基础，372-383（2005），海德堡：斯普林格，海德伯格·Zbl 1172.68539号 ·doi:10.1007/11590156_30
[20] 查特吉，K。；Fu，H。；阿拉斯加州戈哈沙迪；南部乔杜里。；Farzan，A.，通过Positivestelensatz的概率程序终止分析，计算机辅助验证，3-22（2016），海德堡：施普林格·Zbl 1411.68025号
[21] Chatzikokolakis，K。；帕拉米德西，C。；Braun，C.，信息提取的组合方法，数学。结构。计算。科学。，26, 6, 908-932 (2016) ·Zbl 1138.68402号 ·doi:10.1017/S0960129514000292
[22] Alfaro，L.公司。；Baeten，JCM；Mauw，S.，概率系统中计算最小和最大可达时间，CONCUR 1999并发理论，66-81（1999），海德堡：斯普林格·Zbl 0949.93082号 ·doi:10.1007/3-540-48320-97
[23] Gretz，F。；Katoen，J。；McIver，A.，概率防护命令语言的操作与最弱预期望语义，Perform.Eval。，73, 110-132 (2014) ·doi:10.1016/j.peva.2013.11.004
[24] Jansen，N.，Kaminski，B.L.，Katoen，J.，Olmedo，F.，Gretz，F.，McIver，A.：概率规划中的条件作用。摘自：《程序设计语义学数学基础学报》（MFPS），电子笔记理论计算机科学，第319卷，第199-216页（2015）·Zbl 1351.68066号
[25] Kallenberg，L.，《马尔可夫决策过程》（2011），莱顿：莱顿大学
[26] 卡托恩，J-P；格雷茨，F。；Jansen，N。；卡明斯基，BL；Olmedo，F。；梅耶，R。；Platzer，A。；Wehrheim，H.，理解概率程序，正确的系统设计，15-32（2015），海德堡：施普林格·Zbl 1444.68045号 ·doi:10.1007/978-3-319-2306-64
[27] Kwiatkowska，M。；诺曼，G。；帕克，D。；Gopalakrishnan，G。；Qadeer，S.，PRISM 4.0：概率实时系统验证，计算机辅助验证，585-591（2011），海德堡：施普林格·doi:10.1007/978-3642-22110-147
[28] PRISM模型检查器。http://www.prismmodelchecker.org/ ·Zbl 1047.68533号
[29] Puterman，ML，《马尔可夫决策过程：离散随机动态规划》（1994），纽约：威利出版社·Zbl 0829.90134号 ·doi:10.1002/9780470316887
[30] Randour，M。；Raskin，J-F；O·桑库尔。；D’Souza，D。；Lal，A。；Larsen，KG，随机最短路径问题的变化，验证，模型检验和抽象解释，1-18（2015），海德堡：施普林格·Zbl 1432.90155号
[31] Seber，G。；Lee，A.，线性回归分析（2003），纽约：威利，纽约·Zbl 1029.62059号 ·doi:10.1002/9780471722199
[32] Uryasev，S.：条件价值-风险：优化算法和应用。《计算智能与金融工程学报》，第49-57页。IEEE（2000）
[33] 苏海尔，S。；Somenzi，F。；拉维，K。；洛戈佐，F。；佩利德，DA；Zuck，LD，LTL游戏的混合算法，验证，模型检查和抽象解释，309-323（2008），海德堡：施普林格·Zbl 1138.68459号 ·doi:10.1007/978-3-540-78163-9_26
[34] 瓦菲亚迪斯，V。；Touili，T.等人。；库克，B。；Jackson，P.，《自动证明线性化能力》，《计算机辅助验证》，450-464（2010），海德堡：施普林格出版社·doi:10.1007/978-3642-14295-640
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。