証明可能安全性を持つ暗号

公開鍵暗号において、証明可能安全性（しょうめいかのうあんぜんせい、英語: provable security）とは、暗号の安全性を形式的に定義し、数学的証明の正当性によって、（定義の範囲内で）安全性の有無を判断できるものである。安全性の証明がないことは、必ずしも、安全でないことを意味するわけではないが、より確固たる暗号を採用するために、安全性を証明することが求められている。