安全计算的起点到终点：
可证明安全的核心思想是“归约”（reduction）：我们需要把错综复杂的密码算法或者协议的安全性问题归约到某个（或者某几个）极微本原（atomic primitives，安全方案或协议的最基本组成构件或模块），那么密码学家只需要分析这几个极微本原的安全性就可以了。我们可以形象地把这些极微本原的安全性称作“起点”，把最终密码算法或者协议的安全性称作“终点”。一个密码算法或者协议的贡献就取决于“起点”和“终点”之间的距离。“起点”越低，“终点”越高，它的贡献和价值就越大。
此文由 怡心湖 编辑，若您觉得有益，欢迎分享转发！：首页 > 常识论 » 现代密码安全建模：怎么证明算法计算是安全的？