安全性是任何密碼算法的核心問題。現在有兩種辦法證明密碼算法的安全性:一種是議論算法抵禦具體攻擊的能力,即假如對已知的全部攻擊都是安全的,那麼能夠認為這個密碼算法是安全的；常見的對稱密碼算法攻擊包括差分攻擊、相關密鑰攻擊、密鑰恢復攻擊等等。

另一種辦法是進行安全性證明，這類證明是在基礎模塊安全的假定前提下, 進行上層密碼計劃的安全性證明。證明的辦法類似於反證法:先假定存在有效的算法攻擊上層計劃,然後在此基礎上,結構攻擊基礎模塊的有效算法, 即將對計劃的攻擊歸約為對基礎模塊的攻擊,然後只需基礎模塊是安全的, 計劃就是安全的。例如,在根據分組密碼的認證方法中,一般假定所用的分組密碼是一個偽隨機置換,然後在此基礎上證明認證方法的安全性。

現在,安全性證明已經成為分組密碼作業方法中必不可少的一部分,評論底層分組密碼安全假定和上層作業方法安全性之間的聯絡成為作業方法研討中的重要問題。雖然在偽隨機置換的假定下,研討者給出了很多作業方法的安全性證明,但是研討標明, 某些作業方法因為本身的規劃缺點,不具備可證明安全性。