Security Reduction
安全归约是可证明安全的核心技术：将破解密码方案的有效攻击转化为解决困难问题的有效算法，从而以反证证明方案安全。
用途
为密码方案建立从安全假设到方案安全的数学桥梁，是可证明安全的形式化工具。
机制
给定方案攻击者 A，构造困难问题求解器 B：B 收到困难问题实例，将其嵌入方案参数，用 A 的攻击能力提取困难问题解。归约损失 quantifies B 与 A 的效率差距。
用例
- 密码安全证明
- 归约效率分析
- 协议安全评估
安全归约是可证明安全的核心技术：将破解密码方案的有效攻击转化为解决困难问题的有效算法，从而以反证证明方案安全。
为密码方案建立从安全假设到方案安全的数学桥梁，是可证明安全的形式化工具。
给定方案攻击者 A，构造困难问题求解器 B：B 收到困难问题实例，将其嵌入方案参数，用 A 的攻击能力提取困难问题解。归约损失 quantifies B 与 A 的效率差距。