安全性是任何密码算法的核心问题。现在有两种办法证明密码算法的安全性:一种是议论算法抵御具体攻击的能力,即假如对已知的全部攻击都是安全的,那么能够认为这个密码算法是安全的；常见的对称密码算法攻击包括差分攻击、相关密钥攻击、密钥恢复攻击等等。
另一种办法是进行安全性证明，这类证明是在基础模块安全的假定前提下, 进行上层密码计划的安全性证明。证明的办法类似于反证法:先假定存在有效的算法攻击上层计划,然后在此基础上,结构攻击基础模块的有效算法, 即将对计划的攻击归约为对基础模块的攻击,然后只需基础模块是安全的, 计划就是安全的。例如,在根据分组密码的认证方法中,一般假定所用的分组密码是一个伪随机置换,然后在此基础上证明认证方法的安全性。
现在,安全性证明已经成为分组密码作业方法中必不可少的一部分,评论底层分组密码安全假定和上层作业方法安全性之间的联络成为作业方法研讨中的重要问题。虽然在伪随机置换的假定下,研讨者给出了很多作业方法的安全性证明,但是研讨标明, 某些作业方法因为本身的规划缺点,不具备可证明安全性。
