Provable-Security
除了 OTP 之外，是否還有其他經過驗證的經典安全加密算法？
據我了解，歸結為核心：
如果密碼算法牢不可破，即使對手具有無限的計算能力/時間，它也具有可證明的安全性。
如果我的理解是正確的，那麼像 RSA / Diffie-Hellman 這樣的加密算法就不能被認為是可證明的安全性，因為它們會被具有無限計算能力/時間的對手破解。
我所知道的唯一以這種方式執行的經典算法是OTP。我特別詢問經典算法，因為我知道存在可證明安全的量子密碼算法，即QKD。
我的問題是：
- 我對可證明安全性的理解是否正確？
- 如果是這樣，是否還有其他可證明安全的經典算法？
如果密碼算法牢不可破，即使對手具有無限的計算能力/時間，它也具有可證明的安全性。
我對可證明安全性的理解是否正確？
它似乎並不准確。它似乎混淆了“可證明安全”和“資訊理論上安全”。
您可以擁有一個可證明是安全的系統，就像某個問題 X 一樣，並且很容易出現 X 很容易解決的情況。“可證明像 X 一樣安全”並不意味著“它是牢不可破的”。這是一個關係，而不是一個絕對的陳述。
如果是這樣，是否還有其他可證明安全的經典算法？
所以這個問題可能應該是：
是否有任何其他經典算法在資訊理論上是安全的？
資訊安全的標準目標是機密性、完整性和可用性。
One Time Pads 是為了保密。
One Time Mac是提供資訊理論上安全完整性的類似算法。
我不相信有任何這樣的可用性算法。目前尚不清楚在這種情況下，理論上的資訊安全意味著什麼。
對於 One Time Pad，~~我認為有證據表明任何在資訊理論上安全的加密算法都等同於 One Time Pad，但我想不出一篇論文/答案可以立即指出。~~我認為我正在考慮的證據是任何資訊理論上安全的加密算法都需要一個至少與明文一樣大的密鑰。