Semantic Security
语义安全由 Goldwasser-Micali 提出，指攻击者无法从密文计算明文的任何有效信息（任意谓词），是机密性的信息论直觉的形式化。
用途
定义加密机密性的"无信息泄露"标准，与 IND-CPA 等价（对称/公钥加密）。
机制
攻击者对明文分布有先验知识，看到密文后尝试计算某谓词 f(m) 的优势不超过无密文时的优势加可忽略量。语义安全 ⟺ IND-CPA。
用例
- 加密安全定义
- 可证明安全
- 机密性形式化
语义安全由 Goldwasser-Micali 提出，指攻击者无法从密文计算明文的任何有效信息（任意谓词），是机密性的信息论直觉的形式化。
定义加密机密性的"无信息泄露"标准，与 IND-CPA 等价（对称/公钥加密）。
攻击者对明文分布有先验知识，看到密文后尝试计算某谓词 f(m) 的优势不超过无密文时的优势加可忽略量。语义安全 ⟺ IND-CPA。