大卫·伯恩哈德;马克·费希林;沃林斯基，博格丹 随机预言模型中的自适应知识证明。 （英语） Zbl 1345.94042号 Jonathan Katz（编辑），公开密钥加密——PKC 2015。2015年3月30日至4月1日在美国马里兰州盖瑟斯堡举行的第18届IACR公开密钥加密实践和理论国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46446-5/pbk；978-3-562-46447-2/电子书）。计算机科学课堂讲稿9020，629-649（2015）。 摘要：我们在随机预言模型中形式化了自适应知识证明的概念，其中提取器必须为多个可能自适应选择的语句和证明恢复证人。我们还讨论了模拟可靠性的扩展，这是IND-CPA方案中强安全加密的“防加密”构造通常需要的。利用我们的模型，我们显示了三个结果：{}（1）存在模拟声音自适应证明。{}（2） 具有模拟声音自适应证明的“防加密”结构产生CCA安全性。这似乎是一个“民间传说”的结果，但从未在随机预言模型中得到证实。作为推论，我们得到了一类新的CCA安全加密方案。{}（3） 我们证明了Fiat-Shamir变换的Schnorr协议是不自适应安全的，并讨论了该限制的含义。{}我们的结果不仅将自适应证明与知识证明分开，而且还强烈暗示了为什么签名ElGamal作为最突出的防加密示例，在不作进一步假设的情况下未能证明CCA-secure。关于整个系列，请参见[兹比尔1318.94002]. 引用于1审查引用于9文件 MSC公司： 94A60型 密码学 68第25页 数据加密（计算机科学方面） PDF格式BibTeX公司 XML格式引用 \textit{D.Bernhard}等人，Lect。注释计算。科学。9020、629--649（2015年；Zbl 1345.94042） 全文： 内政部