証明可能安全性
#暗号理論
暗号の安全性を形式的に定義し、数学的証明の正当性によって、（定義の範囲内で）安全性の有無を判断できるもの
https://ja.wikipedia.org/wiki/証明可能安全性を持つ暗号
安全度
情報理論的安全性
証明可能安全性
計算量的安全性
統計量的安全性