Assertion: computer security | /r/HasProperty | proved
Facets:
Source sentences:
text: Provable security refers to any type or level of computer security that can be proved.