Soundness of abstract cryptography Lecture Notes
Soundness of abstract cryptography Lecture Notes
复制标题
抽象密码学的健全性讲义
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Hubert Comon
中科院分区：
文献类型：
--
作者：
Hubert Comon
2基本定义7 2.1计算模型. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.1随机图灵机和概率多项式时间图灵机. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.2 Oracle机器。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2.2加密方案的安全性. . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.1加密方案. . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2.2选择明文攻击。. . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3系综的计算不可测性。. . . . . . . . . . . . . . . . 16 2.4符号信息。. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.4.1重写系统。. . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.4.2符号等效。. . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.4.3有用的谓词示例。. . . . . . . . . . . . . . . . . . . . . . 19
2 Basic definitions 7 2.1 Computational models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.1 Randomized Turing machines and Probabilistic Polynomial time Turing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.2 Oracle machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Security of Encryption schemes . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.1 Encryption schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.2 Chosen plaintext attacks . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3 Computational indistinguishability of ensembles . . . . . . . . . . . . . . . . . 16 2.4 Symbolic messages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.4.1 Rewriting systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.4.2 Symbolic equivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.4.3 Examples of useful predicates . . . . . . . . . . . . . . . . . . . . . . . 19