古典密碼學可以通過形式化驗證來證明它的安全性。
古典密碼（classical cryptography）把明文中的字母重新排列，字母本身不變，但其位置改變了，這樣編成的密碼稱為置換密碼。
最簡單的置換密碼是把明文中的字母順序倒過來，然後截成固定長度的字母組作為密文。
古典密碼的產生是在很久很久以前了，其發展歷程大致分為三個階段：
1、 古典密碼階段（1949年前）在這個階段算法和秘鑰都是保密的，秘鑰空間較小，信息的安全性主要依賴於對於加密和解密算法的保密。
2、 對稱密碼階段（1949-1975年）在這之後就進入到了現代密碼學的階段，和古典密碼階段的主要區別在於這個階段的加密和解密算法無需保密，信息的安全性主要依賴於對秘鑰的保密。需要解決的主要問題是在不可信信道下的秘鑰傳輸問題。
3、 公鑰密碼階段（1976年-至今）在公鑰密碼階段，加密秘鑰（公鑰）可以公開，僅對解密秘鑰（私鑰）保密，基於壹些數學難題保證很難通過公鑰推出私鑰。我們今天將會給大家介紹幾種常見的古典密碼加密和解密的方式，當然這些密碼也是比較出名的。