1·In modern cryptography, one way to ensure the security of a protocol is by means of provable security.
在现代密码学中，可证安全是保证协议安全的一种方式。
1·Provable Security is the essential requirement of modern cryptographic schemes.
可证明安全是现代密码方案的基本要求。
2·Investigation shows that the scheme is provable security under the blockwise adaptive attack model if the underlying block cipher is a pseudorandom permutation.
结果表明，在所用分组密码是伪随机置换的条件下，方案在分块适应性攻击模型下是可证明安全的。