跳到主要内容
uencoder

Indistinguishability

不可区分性(IND)是密码安全的核心形式化定义:攻击者无法以非可忽略优势区分两个挑战明文的密文。

用途

为加密机密性提供可证明安全定义,是现代密码学的安全金标准。

机制

攻击者提交等长明文 m0, m1,挑战者加密随机一个返回 C*,攻击者输出猜测 b。安全要求优势 Adv = |Pr[b'=b] - 1/2| 可忽略。配合不同预言机得 IND-CPA/CCA。

用例

  • 加密安全证明
  • 密码协议分析
  • 可证明安全

相关工具

参考链接