古典密码学可以通过形式化验证来证明它的安全性吗

古典密码学可以通过形式化验证来证明它的安全性。

古典密码（classical cryptography）把明文中的字母重新排列，字母本身不变，但其位置改变了，这样编成的密码称为置换密码。

最简单的置换密码是把明文中的字母顺序倒过来，然后截成固定长度的字母组作为密文。

古典密码的产生是在很久很久以前了，其发展历程大致分为三个阶段：

1、 古典密码阶段（1949年前）在这个阶段算法和秘钥都是保密的，秘钥空间较小，信息的安全性主要依赖于对于加密和解密算法的保密。

2、 对称密码阶段（1949-1975年）在这之后就进入到了现代密码学的阶段，和古典密码阶段的主要区别在于这个阶段的加密和解密算法无需保密，信息的安全性主要依赖于对秘钥的保密。需要解决的主要问题是在不可信信道下的秘钥传输问题。

3、 公钥密码阶段（1976年-至今）在公钥密码阶段，加密秘钥（公钥）可以公开，仅对解密秘钥（私钥）保密，基于一些数学难题保证很难通过公钥推出私钥。我们今天将会给大家介绍几种常见的古典密码加密和解密的方式，当然这些密码也是比较出名的。