27、无随机预言机的非交互式不可否认签密方案

无随机预言机的非交互式不可否认签密方案

在当今的信息安全领域，签密技术作为一种将签名和加密功能相结合的重要手段，对于保障信息的完整性、机密性和不可否认性至关重要。本文将深入探讨一种无随机预言机的非交互式不可否认签密方案，详细介绍其原理、构建和安全证明。

1. 不可否认证据的不可伪造性

不可否认证据的不可伪造性攻击游戏与大多数阶段的不可伪造性攻击游戏类似，但在伪造阶段有所不同。攻击者的目标是在新的签密文上伪造出有效的不可否认证据。

在选择消息攻击下，签密中不可否认证据的存在性不可伪造性游戏（EUF - NR - evidence - SCNINR - CMA）包含以下三个步骤：
- 系统设置 ：与SEU - SCNINR - CMA游戏的系统设置步骤相同。
- 预言机查询 ：与SEU - SCNINR - CMA游戏的预言机查询步骤相同。
- 伪造 ：攻击者A生成发送者的公钥$PKS^ $，输出消息$M^ $、不可否认证据$d^ $和签密文$\sigma^ $。若$JG - Verification(\sigma^ , d^ , M^ , PKS^ , PKR^ ) = \top$（其中$PKR^ = PKB$），且A从未对$(\sigma^ , (PKS^ , PKB))$进行不可否认预言机查询或解签密预言机查询，则A赢得游戏。

若在时间$t$内运行，攻击者A进行了$qs$次签密预言机查询