Foundations of Security Reduction

Abstract

In this chapter, we introduce what is security reduction and how to program a correct security reduction. We start by presenting an overview of important concepts and techniques, and then proof structures for digital signatures and encryption. We classify each concept into several categories in order to guide the reader to a deep understanding of security reduction. We devise and select some examples to show how to correctly program a full security reduction. Some definitions adopted in this book may be defined differently elsewhere in the literature.