在贝拉尔精彩的综述文章中，他认为现代密码学的发展可以分为2个阶段：一是设计和研究基本的单向函数阶段；二是设计和研究实现特定安全目标的安全方法阶段。前者的主要工作是构造基本的密码学原子原型，是一门艺术，因为直觉和经验在其中扮演着最重要的角色。后者的主要工作是对密码协议的设计与分析，可以视之为一门科学，因为安全性的数学方法证明在其中扮演了最重要的角色。由此可见，可证明安全在现代密码学中的重要地位。然而，密码学中的可证明安全理论发展充满了曲折、误解和争议，科布利茨（Koblitz）和梅内塞斯（Menezes）在文献[26]和其他文献中对此进行了很有启发意义的评论。下面将简述可证明安全中的基本数学模型及对它们的争议。

与熵很高的随机密钥不同，口令的熵通常很低，容易记忆，不必使用可信硬件产生或存储随机密钥。

代理密码学包括代理签名和代理密码系统。两者都提供代理功能，另外分别提供代理签名和代理解密功能。