机构名称：
¥ 1.0
由Bellare和Rogaway引入的随机Oracle模型（ROM）（CCS 1993）引入了许多（有效）加密原始词和协议的正式安全证明，并且在实践中具有很大的影响。但是，安全模型还依靠一些非常强大且非标准的假设，即对手如何与加密哈希功能相互作用，这在现实世界中可能是不现实的，因此可能导致人们质疑安全分析的有效性。例如，ROM允许自适应编程哈希功能或观察对手进行的哈希评估。我们在后量词设置中引入了随机甲骨文模型的基本弱变体，我们称之为非观察量子量子随机甲骨文模型（无QROM）。我们的模型比Boneh，Dagdelen，Fischlin，Lehmann，Schaffner和Zhandry（Asiacrypt 2011）或Ananth和Bhaskar提出的不可观察的随机甲骨文模型（Provsec 2013）所提出的使用了较弱的启发式方法。 同时，我们表明我们的模型是通过证明重要原始词的安全性（例如可提取的不可兑现的承诺，数字签名以及选择无QROM中的可提取的不可兑现的式公开加密）来确定许多加密方案的可行选择。使用了较弱的启发式方法。同时，我们表明我们的模型是通过证明重要原始词的安全性（例如可提取的不可兑现的承诺，数字签名以及选择无QROM中的可提取的不可兑现的式公开加密）来确定许多加密方案的可行选择。
不可观察的量子随机Oracle模型
主要关键词
相关文件推荐
