可證明安全An Introduction to Provable Security

可證明安全的目標是爲「一個方案是安全的」提供數學上的保證。 完美安全一般用概率上的知識來進行證明，一次一密爲完美安全。 計算安全比完美安全稍弱，一般考慮PPT（概率多項式時間）能力的敵手，可以通過兩種方式進行證明：Simulation-Based Approach、Game-Based Approach. Simulation-Based Approach（後續可能會再寫一篇詳細介紹） 思想：用理

>>阅读原文<<