Foundations of Security Reduction
Chapter 4 是 《安全归约》这本书最重要的一章。
本章主要内容：
- 什么是安全归约？
- 如何编写一个正确的安全归约?
- 介绍重要概念和技术。
- 介绍数字签名和加密的证明结构。
- 选择一些实例来展示 如何正确地编写一个完整的安全归约。
Contents
4.1 Introduction to Basic Concepts
4.2 An Overview of Easy/Hard Problems
4.3 An Overview of Security Reduction
4.4 An Overview of Correct Security Reduction
4.5 An Overview of the Adversary
4.6 An Overview of Probability and Advantage
4.7 An Overview of Random and Independent
4.8 An Overview of Random Oracles
4.9 Security Proofs for Digital Signatures
4.10 Security Proofs for Encryption Under Decisional Assumptions
4.11 Security Proofs for Encryption Under Computational Assumptions
4.12 Simulatable and Reducible with Random Oracles
4.13 Examples of Incorrect Security Reductions
4.14 Examples of Correct Security Reductions
4.15 Summary of Concepts
