Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
复制标题
存在哈希函数时计算合理的符号保密性
DOI：
10.1007/11944836_18
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
B. Warinschi
中科院分区：
文献类型：
--
作者：
V. Cortier;S. Kremer;Ralf Küsters;B. Warinschi
从密码学的角度来看，标准的符号性的、基于演绎的保密概念通常是不够的，特别是在存在散列函数的情况下。在本文中，我们设计和激励一个更合适的保密标准，它准确地捕捉了一个标准的加密概念的保密协议，涉及公钥加密和哈希函数：协议，满足它是计算安全的，而任何违反我们的标准直接导致攻击。此外，我们证明了我们的标准是可判定的，通过一个NP决策过程。我们的研究结果持有标准的加密和哈希函数建模为随机预言机的安全概念。
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper we devise and motivate a more appropriate secrecy criterion which exactly captures a standard cryptographic notion of secrecy for protocols involving public-key enryption and hash functions: protocols that satisfy it are computationally secure while any violation of our criterion directly leads to an attack. Furthermore, we prove that our criterion is decidable via an NP decision procedure. Our results hold for standard security notions for encryption and hash functions modeled as random oracles.