安全角色

密码学证明是一种数学方法，用于证明密码系统的安全性。它可以分为可证明安全性和计算安全性两种类型。可证明安全性是指通过数学方法证明密码系统在理论上是安全的，而计算安全性则是基于计算机的计算能力来评估密码系统的安全性。