可证实安全An Introduction to Provable Security

可证实安全的目标是为“一个方案是安全的”提供数学上的保证。安全 完美安全通常用几率上的知识来进行证实，一次一密为完美安全。 计算安全比完美安全稍弱，通常考虑PPT（几率多项式时间）能力的敌手，能够经过两种方式进行证实：Simulation-Based Approach、Game-Based Approach. Simulation-Based Approach（后续可能会再写一篇详细介绍） 思想：

>>阅读原文<<