計算量に基づく現代暗号理論では、セキュリティ方式が証明可能な安全性を持つとは、入力項xを長さnの暗号鍵とするとき、セキュリティ失敗（例えば一方向函数が覆されたり、暗号論的強擬似乱数ビットが真のビットと峻別されたり）の可能性が「無視できる」ことをいう。
在基于计算复杂性理论的现代密码学中，一个安全技术是数学上可证明安全（provablysecure）的意思通常是，此安全技术的失败（比如在多项式时间内将单向函数逆反，或在多项式时间内将密码随机数发生器产生的数和真正随机数区别开来）的概率是关于密钥长度x=n{\displaystylex=n}的一个可忽略函数（参见公钥密码学）。