provable

adjective [原级]可证明的；可以查清的

Provable Security is the essential requirement of modern cryptographic schemes.
可证明安全是现代密码方案的基本要求。