维罗尼克·科尔蒂尔;史蒂夫·克莱默;拉尔夫·库斯特斯;沃林斯基，博格丹 哈希函数存在时，计算上可靠的符号保密性。 （英语） Zbl 1177.94142号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337176-187（2006）。 概要：从密码学的角度来看，基于可演绎性的标准符号保密概念通常是不够的，尤其是在存在散列函数的情况下。在本文中，我们设计并激励了一个更合适的保密标准，该标准准确地捕获了涉及公钥加密和散列函数的协议的标准加密概念：满足该标准的协议在计算上是安全的，而任何违反我们的标准的行为都会直接导致攻击。此外，我们通过NP决策过程证明了我们的准则是可判定的。我们的结果适用于作为随机预言建模的加密和散列函数的标准安全概念。关于整个系列，请参见[Zbl 1132.68001号]. 引用于6文件 MSC公司： 94A60型 密码学 软件：AVISPA公司 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。4337、176--187（2006年；Zbl 1177.94142） 全文： DOI程序