公開鍵暗号
Π = ( G , E , D ) {\displaystyle \Pi =(G,E,D)} が以下の条件を満たすとき、 Π {\displaystyle \Pi } は正当性を満たすという :
任意の平文 m に対し、Pr((pk, sk) ← G(1), C ← Epk(m) : Dsk(C) = m) は圧倒的 (overwhelming) である。