可证明安全An Introduction to Provable Security

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

>>阅读原文<<