Provable Security
可证明安全将密码方案的安全性归约到公认计算困难问题：若存在多项式时间攻击者破解方案，则可构造多项式时间算法解决困难问题。
用途
为密码方案提供数学安全保证而非启发式分析，是现代密码学的设计范式。
机制
构造安全归约：假设攻击者 A 以优势 ε 破解方案，构造算法 B 用 A 作为子程序以相关优势解决困难问题（如 DDH、LWE）。因困难问题假设无多项式解法，故 A 不存在。
用例
- 密码方案安全证明
- 协议设计
- 后量子方案评估
可证明安全将密码方案的安全性归约到公认计算困难问题：若存在多项式时间攻击者破解方案，则可构造多项式时间算法解决困难问题。
为密码方案提供数学安全保证而非启发式分析，是现代密码学的设计范式。
构造安全归约：假设攻击者 A 以优势 ε 破解方案，构造算法 B 用 A 作为子程序以相关优势解决困难问题（如 DDH、LWE）。因困难问题假设无多项式解法，故 A 不存在。