Semantic Security
意味論的安全性は Goldwasser と Micali が導入した概念で、攻撃者が暗号文から平文について効率的に計算可能な述語を何も計算できないことを意味する。機密性の情報理論的直観を形式化したものである。
目的
暗号の機密性における「情報漏えいなし」の基準を定義し、（対称・公開鍵暗号の）IND-CPA と等価になる。
メカニズム
攻撃者は平文の分布について事前知識を持ち、暗号文を見た後に何らかの述語 f(m) を計算しようとするが、その利点は暗号文なしの場合と比べて無視できる程度しかない。意味論的安全性 ⟺ IND-CPA が成り立つ。
ユースケース
- 暗号化のセキュリティ定義
- 証明可能なセキュリティ
- 機密性をモデル化する