|

Addison-Wesley / Prentice Hall

Mathematics

My Instructor Resource Center :  Log in or request access

Modern Cryptography: Theory and Practice
Wenbo Mao

ISBN-10: 0130669431
ISBN-13:  9780130669438

Publisher:  Prentice Hall
Copyright:  2004
Format:  Cloth; 648 pp
Published:  07/25/2003
Status: Instock


Suggested retail price: $74.99
Buy from myPearsonStore



Appropriate for all graduate-level and advanced undergraduate courses in cryptography and related mathematical fields.

Modern Cryptography is an indispensable resource for every advanced student of cryptography who intends to implement strong security in real-world applications. Leading HP security expert Wenbo Mao explains why conventional crypto schemes, protocols, and systems are profoundly vulnerable, introducing both fundamental theory and real-world attacks. Next, he shows how to implement crypto systems that are truly “fit for application,” and formally demonstrate their fitness. He begins by reviewing the foundations of cryptography: probability, information theory, computational complexity, number theory, algebraic techniques, and more. He presents the “ideal” principles of authentication, comparing them with real-world implementation. Mao assesses the strength of IPSec, IKE, SSH, SSL, TLS, Kerberos, and other standards, and offers practical guidance on designing stronger crypto schemes and using formal methods to prove their security and efficiency. Finally, he presents an in-depth introduction to zero-knowledge protocols: their characteristics, development, arguments, and proofs. Mao relies on practical examples throughout, and provides all the mathematical background students will need.

  • Realistic guidance on building “fit for application” cryptographic systems—Shows students why conventional cryptographic implementations are often inadequate, and how to build systems that are far more secure.

    • Helps students go beyond theory to build next-generation cryptographic systems that overcome the limitations of current technologies.

  • Sophisticated formal methods—Introduces advanced formal methods for demonstrating the security of cryptographic systems and protocols.

    • Helps students design cryptographic systems that are demonstrably secure.

  • Assessments of key cryptographic standards—Compares and evaluates contemporary encryption protocols and standards, including IPSec, IKE, SSH, SSL, TLS, and Kerberos.

    • Helps students understand how todays leading encryption protocols and standards were designed, and recognize their vulnerabilities.

  • Essential mathematics for advanced cryptography—Presents all the math students will need, including probability and information theory, computational complexity, and algebraic foundations.

    • Enables students to master advanced cryptographic design and development, even if they come to the course without a thorough grounding in the mathematics.

  • Extensive practical examples—Presents realistic implementation examples for a wide range of cryptographic systems.

    • Helps students more clearly understand how cryptographic theory can be translated into real-world implementation.

  • By one of the fields leading experts—By Wenbo Mao, leader of Hewlett-Packards contributions to the European Unions Secure Electronic Commerce Transactions (CASENET), a research project.

    • Gives students confidence that they are receiving state-of-the-art information that is thorough, accurate, clear, and useful.



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.

A Communication Game. Criteria for Desirable Cryptographic Systems and Protocols. Chapter Summary. Exercises.

2. Wrestling between Safeguard and Attack.

Introduction. Encryption. Vulnerable Environment (the Dolev-Yao Threat Model). Authentication Servers. Security Properties for Authenticated Key Establishment. Protocols for Authenticated Key Establishment Using Encryption. Chapter Summary. Exercises.

II MATHEMATICAL FOUNDATIONS.

Standard Notation.

3. Probability and Information Theory.

Introduction. Basic Concept of Probability. Properties. Basic Calculation. Random Variables and their Probability Distributions. Birthday Paradox. Information Theory. Redundancy in Natural Languages. Chapter Summary. Exercises.

4. Computational Complexity.

Introduction. Turing Machines. Deterministic Polynomial Time. Probabilistic Polynomial Time. Non-deterministic Polynomial Time. Non-Polynomial Bounds. Polynomial-time Indistinguishability. Theory of Computational Complexity and Modern Cryptography. Chapter Summary. Exercises.

5. Algebraic Foundations.

Introduction. Groups. Rings and Fields. The Structure of Finite Fields. Group Constructed Using Points on an Elliptic Curve. Chapter Summary. Exercises.

6. Number Theory.

Introduction. Congruences and Residue Classes. Euler's Phi Function. The Theorems of Fermat, Euler and Lagrange. Quadratic Residues. Square Roots Modulo Integer. Blum Integers. Chapter Summary. Exercises.

III. BASIC CRYPTOGRAPHIC TECHNIQUES.

7. Encryption—Symmetric Techniques.

Introduction. Definition. Substitution Ciphers. Transposition Ciphers. Classical Ciphers: Usefulness and Security. The Data Encryption Standard (DES). The Advanced Encryption Standard (AES). Confidentiality Modes of Operation. Key Channel Establishment for Symmetric Cryptosystems. Chapter Summary. Exercises.

8. Encryption—Asymmetric Techniques.

Introduction. Insecurity of “Textbook Encryption Algorithms”. The Diffie-Hellman Key Exchange Protocol. The Diffie-Hellman Problem and the Discrete Logarithm Problem. The RSA Cryptosystem (Textbook Version). Cryptanalysis Against Public-key Cryptosystems. The RSA Problem. The Integer Factorization Problem. Insecurity of the Textbook RSA Encryption. The Rabin Cryptosystem (Textbook Version). Insecurity of the Textbook Rabin Encryption. The ElGamal Cryptosystem (Textbook Version). Insecurity of the Textbook ElGamal Encryption. Need for Stronger Security Notions for Public-key Cryptosystems. Combination of Asymmetric and Symmetric Cryptography. Key Channel Establishment for Public-key Cryptosystems. Chapter Summary. Exercises.

9. In an Ideal World: Bit Security of the Basic Public-Key Cryptographic Functions.

Introduction. The RSA Bit. The Rabin Bit. The ElGamal Bit. The Discrete Logarithm Bit. Chapter Summary. Exercises.

10. Data Integrity Techniques.

Introduction. Definition. Symmetric Techniques. Asymmetric Techniques I:Digital Signatures. Asymmetric Techniques II: Data Integrity without Source Identification. Chapter Summary. Exercises.

IV. AUTHENTICATION.

11. Authentication Protocols—Principles.

Introduction. Authentication and Refined Notions. Convention. Basic Authentication Techniques. Password-based Authentication. Authenticated Key Exchange Based on Asymmetric Cryptography. Typical Attacks on Authentication Protocols. A Brief Literature Note. Chapter Summary. Exercises.

12. Authentication Protocols—The Real World.

Introduction. Authentication Protocols for Internet Security. The Secure Shell (SSH) Remote Login Protocol. The Kerberos Protocol and its Realization in Windows 2000. SSL and TLS. Chapter Summary. Exercises.

13. Authentication Framework for Public-Key Cryptography.

Introduction. Directory-Based Authentication Framework. Non-Directory Based Public-key Authentication Framework. Chapter Summary. Exercises.

V. FORMAL APPROACHES TO SECURITY ESTABLISHMENT.

14. Formal and Strong Security Definitions for Public-Key Cryptosystems.

Introduction. A Formal Treatment for Security. Semantic Security—the Debut of Provable Security. Inadequacy of Semantic Security. Beyond Semantic Security. Chapter Summary. Exercises.

15. Provably Secure and Efficient Public-Key Cryptosystems.

Introduction. The Optimal Asymmetric Encryption Padding. The Cramer-Shoup Public-key Cryptosystem. An Overview of Provably Secure Hybrid Cryptosystems. Literature Notes on Practical and Provably Secure Public-key Cryptosystems. Chapter Summary. Exercises.

16. Strong and Provable Security for Digital Signatures.

Introduction. Strong Security Notion for Digital Signatures. Strong and Provable Security for ElGamal-family Signatures. Fit-for-application Ways for Signing in RSA and Rabin. Signcryption. Chapter Summary. Exercises.

17. Formal Methods for Authentication Protocols Analysis.

Introduction. Toward Formal Specification of Authentication Protocols. A Computational View of Correct Protocols—the Bellare-Rogaway Model. A Symbolic Manipulation View of Correct Protocols. Formal Analysis Techniques: State System Exploration. Reconciling Two Views of Formal Techniques for Security. Chapter Summary. Exercises.

VI. CRYPTOGRAPHIC PROTOCOLS.

18. Zero-Knowledge Protocols.

Introduction. Basic Definitions. Zero-knowledge Properties. Proof or Argument? Protocols with Two-sided-error. Round Efficiency. Non-interactive Zero-knowledge. Chapter Summary. Exercises.

19. Returning To “Coin Flipping over Telephone”.

Blum's “Coin-Flipping-by-Telephone” Protocol. Security Analysis. Efficiency. Chapter Summary.

20.Afterremark.

Bibliography. Subject Index.

View a Sample Chapter PDF:/samplechapter/0130669431.pdf

WENBO MAO, PhD, is a Technical Contributor to the Trusted Systems Lab at Hewlett-Packard Laboratories, Bristol, UK. Mao leads HP's participation and research activities in Computer Aided Solutions to Secure Electronic Commerce Transactions (CASENET), a research project funded by the European Union. His research interests include cryptography, computer security, and formal methods. He is a member of the International Association for Cryptographic Research (IACR), the Institute of Electrical and Electronics Engineers (IEEE), and the British Computer Society (BCS).

"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 (SSL), and Kerberos
  • Designing stronger counterparts to vulnerable "textbook" crypto schemes

Mao introduces formal and reductionist methodologies to prove the "fit-for-application" security of practical encryption, signature, signcryption, and authentication schemes. He gives detailed explanations for zero-knowledge protocols: definition, zero-knowledge properties, equatability vs. simulatability, argument vs. proof, round-efficiency, and non-interactive versions.

Addison-Wesley's Algebra Review
Addison-Wesley
©2004 | Prentice Hall | Paper | Out of Stock
ISBN-10: 0321247086 | ISBN-13: 9780321247087


Addison-Wesley's Basic Math Review
Addison-Wesley
©2004 | Prentice Hall | Paper | Instock
ISBN-10: 0321247078 | ISBN-13: 9780321247070


Algebra Review Study Card, 2/E
D'Ippolito & Generazzo
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394739 | ISBN-13: 9780321394736
Buy from myPearsonStore


Allied Health Study Card, 2/E
Forshier
©2006 | Prentice Hall | Study Card | Instock
ISBN-10: 0321394747 | ISBN-13: 9780321394743
Buy from myPearsonStore


Basic Math Review Card, 2/E
Addison-Wesley
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394763 | ISBN-13: 9780321394767
Buy from myPearsonStore


Concept Videos: Algebra
Addison-Wesley
©2008 | Prentice Hall | Multiple Media Package | Instock
ISBN-10: 0321517199 | ISBN-13: 9780321517197


Concept Videos: Basic Math & Prealgebra
Addison-Wesley
©2008 | Prentice Hall | Multiple Media Package | Instock
ISBN-10: 032151758X | ISBN-13: 9780321517586


CourseCompass (5.0) Instructor Quick Start Guide
Addison-Wesley & Benjamin Cummings
©2007 | Prentice Hall | Paper | Instock
ISBN-10: 0321491874 | ISBN-13: 9780321491879


CourseCompass Instructor Quick Start Guide (V4.2.1), 4/E
AWBC
©2005 | Prentice Hall | Paper | Instock
ISBN-10: 032132126X | ISBN-13: 9780321321268


Discovering Algebra: Examples with Keystrokes on the TI-83/TI-82 and TI-85/TI-86, A Laboratory Approach
Pirich & Bigliani
©1997 | Prentice Hall | Paper; 195 pp | Instock
ISBN-10: 0136492037 | ISBN-13: 9780136492030
Buy from myPearsonStore


Finite Mathematics Study Card
Addison-Wesley
©2006 | Prentice Hall | Study Card | Instock
ISBN-10: 0321374398 | ISBN-13: 9780321374394
Buy from myPearsonStore


Flash Review Series: Algebra
Becker
©2004 | Prentice Hall | Paper | Instock
ISBN-10: 0321143094 | ISBN-13: 9780321143099
Buy from myPearsonStore


Graphing Calculator Reference Card, 3/E
Ripley
©2006 | Prentice Hall | Study Card; 6 pp | Instock
ISBN-10: 0321394755 | ISBN-13: 9780321394750
Buy from myPearsonStore


Graphing Calculator Tutorial CD
Addison-Wesley
©2006 | Prentice Hall | CD-ROM Only | Instock
ISBN-10: 0321357744 | ISBN-13: 9780321357748
Buy from myPearsonStore


Interwrite Personal Response System
EduCue, Addison-Wesley & Benjamin Cummings
©2004 | Prentice Hall | Electronic Supplement | Instock
ISBN-10: 0321267354 | ISBN-13: 9780321267351


Math for Allied Health Study/Reference Card
Forshier
©2006 | Prentice Hall | Study Card; 0 pp | Out of Stock
ISBN-10: 0321336542 | ISBN-13: 9780321336545


Mathematics Spanish Glossary, 2/E
Lara & Peeples
©2000 | Prentice Hall | Paper; 48 pp | Instock
ISBN-10: 0201728966 | ISBN-13: 9780201728965
Buy from myPearsonStore


Overcoming Math Anxiety, 2/E
Davidson & Levitov
©2000 | Prentice Hall | Paper | Instock
ISBN-10: 0321069188 | ISBN-13: 9780321069184
Buy from myPearsonStore


Pearson TI Rebate Coupon $15, 2/E
Pearson
©2009 | Prentice Hall | Paper | Instock
ISBN-10: 0321566041 | ISBN-13: 9780321566041


Prealgebra Review Workbook
Wheel
©2006 | Prentice Hall | Paper; 300 pp | Instock
ISBN-10: 0321473329 | ISBN-13: 9780321473325
Buy from myPearsonStore


Review of Algebra, A
Howard
©2002 | Prentice Hall | Paper; 224 pp | Instock
ISBN-10: 0201773473 | ISBN-13: 9780201773477
Buy from myPearsonStore


Saleable Technology Bundle, 2/E
Pearson
©2009 | Prentice Hall | Multiple Media Package | Estimated Availability : 09/01/2008
ISBN-10: 0321561880 | ISBN-13: 9780321561886


Spanish Basic Math Study Card
Leonarte
©2007 | Prentice Hall | Study Card | Instock
ISBN-10: 0321438582 | ISBN-13: 9780321438584
Buy from myPearsonStore


Stand-alone Access Code Tutor Center
Addison-Wesley
©2008 | Prentice Hall | Access Code Card | Instock
ISBN-10: 0201721708 | ISBN-13: 9780201721706
URL:  http://www.aw-bc.com/tutorcenter
Buy from myPearsonStore


Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students contact your Pearson Higher Education representative.

Copyright ©2009 Pearson Education, All rights reserved. Legal Notice | Privacy Policy | Permissions