密码学中的可证明安全性

摘要

语义安个(Semantic security)的概念由Goldwasser和Micali于1984年提出，即敌手即使已知某个消息的密文，也得不出该消息的任何部分信息，即使是1比特的信息。这一概念的提出开创了可证明安全性领域的先河，奠定了现代密码学理论的数学基础，将密码学从一门艺术变为一门科学。本文阐述了公钥加密方案在选择明文攻击下的不可区分性、在选择密文攻击下的不可区分性、在适应性选择密文攻击下的不可区分性、签名体制的语义安全性和规约方法。