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.