Seonglae ChoPerfect security
perfect secrecy provable in theory
Provable security
Provable security refers to any type or level of computer security that can be proved. It is used in different ways by different fields.
https://en.wikipedia.org/wiki/Provable_security