可證實安全An Introduction to Provable Security

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

>>阅读原文<<