试题详情
简答题可证明安全性
  • 在贝拉尔精彩的综述文章中，他认为现代密码学的发展可以分为2个阶段：一是设计和研究基本的单向函数阶段；二是设计和研究实现特定安全目标的安全方法阶段。前者的主要工作是构造基本的密码学原子原型，是一门艺术，因为直觉和经验在其中扮演着最重要的角色。后者的主要工作是对密码协议的设计与分析，可以视之为一门科学，因为安全性的数学方法证明在其中扮演了最重要的角色。由此可见，可证明安全在现代密码学中的重要地位。然而，密码学中的可证明安全理论发展充满了曲折、误解和争议，科布利茨（Koblitz）和梅内塞斯（Menezes）在文献[26]和其他文献中对此进行了很有启发意义的评论。下面将简述可证明安全中的基本数学模型及对它们的争议。

  • 关注下方微信公众号，在线模考后查看

热门试题