Modern cryptography: theory and practice

Wenbo Mao

744 pages, parution le 04/09/2003

Ajouter à une liste

Indisponible

Résumé

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.

Introduction
- Beginning with a Simple Communication Game
- Wrestling between Safeguard and Attack

Mathematical foundations
- Probability and Information Theory
- Computational Complexity
- Algebraic Foundations
- Number Theory

Basic cryptographic techniques
- Encryption-Symmetric Techniques
- Encryption-Asymmetric Techniques
- In an Ideal World: Bit Security of the Basic Public-Key Cryptographic Functions
- Data Integrity Techniques

Authentication
- Authentication Protocols-Principles
- Authentication Protocols-The Real World
- Authentication Framework for Public-Key Cryptography

Formal approaches to security establishment
- Formal and Strong Security Definitions for Public-Key Cryptosystems
- Provably Secure and Efficient Public-Key Cryptosystems
- Strong and Provable Security for Digital Signatures
- Formal Methods for Authentication Protocols Analysis

Cryptographic protocols
- Zero-Knowledge Protocols
- Returning To "Coin Flipping over Telephone"
- Afterremark

Bibliography
Subject index

L'auteur - Wenbo Mao

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).

Caractéristiques techniques

	PAPIER
Éditeur(s)	Prentice Hall
Auteur(s)	Wenbo Mao
Parution	04/09/2003
Nb. de pages	744
Format	18,3 x 24,2
Couverture	Relié
Poids	1260g
Intérieur	Noir et Blanc
EAN13	9780130669438
ISBN13	978-0-13-066943-8