Summary:
"This book would be a good addition to any cryptographer's bookshelf. The book is self-contained; it presents all the background material to understand an algorithm and all the development to prove its security. I'm not aware of another book that's as complete as this one." --Christian Paquin, Cryptographic/Security Developer, Silanis Technology Inc. "The book is both complete, and extraordinarily technically accurate. It would certainly be a useful addition to any cryptographer's or crypto-engineer's library." --Marcus Leech, Advisor, Security Architecture and Planning, Nortel Networks Build more secure crypto systems--and prove their trustworthiness Modern Cryptography is the indispensable resource for every technical professional who needs to implement strong security in real-world applications. Leading HP security expert Wenbo Mao explains why "textbook" crypto schemes, protocols, and systems are profoundly vulnerable by revealing real-world-scenario attacks. Next, he shows how to realize cryptographic systems and protocols that are truly "fit for application"--and formally demonstrates their fitness. Mao presents practical examples throughout and provides all the mathematical background you'll need. Coverage includes: Crypto foundations: probability, information theory, computational complexity, number theory, algebraic techniques, and more Authentication: basic techniques and principles vs. misconceptions and consequential attacks Evaluating real-world protocol standards including IPSec, IKE, SSH, TLS
Table of Contents:
A Short Description of the Book.
Preface.
List of Figures.
List of Algorithms, Protocols and Attacks.
I. INTRODUCTION. 1. Beginning With A Simple Communication Game.
2. Wrestling Between Safeguard and Attack.
II. MATHEMATICAL FOUNDATIONS. 3. Probability and Information Theory.
4. Computational Complexity.
5. Algebraic Foundations.
6. Number Theory.
III. BASIC CRYPTOGRAPHIC TECHNIQUES. 7. Encryption—Symmetric Techniques.
8. Encryption—Asymmetric Techniques.
9. In an Ideal World: Bit Security of the Basic Public-Key Cryptographic Functions.
10. Data Integrity Techniques.
IV. AUTHENTICATION. 11. Authentication Protocols—Principles.
12. Authentication Protocols—The Real World.
13. Authentication Framework for Public-Key Cryptography.
V. FORMAL APPROACHES TO SECURITY ESTABLISHMENT. 14. Formal and Strong Security Definitions for Public-Key Cryptosystems.
15. Provably Secure and Efficient Public-Key Cryptosystems.
16. Strong and Provable Security for Digital Signatures.
17. Formal Methods for Authentication Protocols Analysis.
VI. CRYPTOGRAPHIC PROTOCOLS. 18. Zero-Knowledge Protocols.
19. Returning To “Coin Flipping Over Telephone.”
20. After Remark.
Bibliography.
Subject Index.
