马丁·阿巴迪;菲利普·罗加韦 协调密码学的两种观点（形式加密的计算可靠性）。 （英语） Zbl 0994.68066号 J.密码学 15，第2期，103-127（2002）. 摘要：多年来，在两个主要独立的社区中，发展了两种截然不同的、严格的加密观点。其中一种观点依赖于简单但有效的形式方法；另一方面，在考虑复杂性和概率问题的详细计算模型上。这两种加密方法之间存在着一个令人不安且有趣的差距。本文开始弥合这一差距，为加密的正式处理提供了计算依据。 引用于4评论引用于29文件 MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 关键词：加密 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{P.Rogaway}，《密码学》第15卷第2期，第103-127页（2002；Zbl 0994.68066） 全文： 内政部