第Ⅰ部分是密码学与信息安全的入门性介绍。第Ⅱ部分介绍学习本书必备的数学背景知识，也可作为学习现代密码学理论基础的系统背景知识。第Ⅲ部分介绍提供保密和数据完整性保护最基本的密码算法和技术。第Ⅳ部分介绍应用密码学和信息安全中一个重要的概念——认证。第Ⅴ部分对公钥密码技术（加密、签名和签密）的强（实用）安全性概念进行严格的形式化处理，并给出认证协议的形式化分析方法。第Ⅵ部分包括两个技术章节和一个简短的评述。

本书适合大学本科生、在高科技公司从事信息安全系统设计和开发的安全工程师、企业信息安全系统管理人员或者生产安全产品的软/硬件开发商以及刚开始从事密码学或计算机安全方面研究的博士生等使用。

A SHORT DESCRIPTION OF THE BOOK
PREFACE
LIST OF FIGURES
LIST OF ALGORITHMS,PROTOCOLS AND ATTACKS
ⅠINTRODUCTION
1 BEGINNING WITH A SIMPLE COMMUNICATION GAME
2 WRESTLING BETWEEN SAFEGUARD AND ATTACK
Ⅱ MATHEMATICAL FOUNDATIONS
STANDARD NOTATION
3 PROBABILITY AND INFORMATION THEORY
4 COMPUTATIONAL COMPLEXITY
5 ALGEBRAIC FOUNDATIONS
6 NUMBER THEORY
Ⅲ BASIC CRYPTOGRAPHIC TECHNIQUES
7 ENCRYPTION—SYMMETRIC TECHNIQUES
8 ENCRYPTION--ASYMMETRIC TECHNOQUES
9 IN AN IDEAL WORLD:BIT SECURITY OF THE BASIC PUBLIC-KEY CRYPTOGRAPHIC FUNCTIONS
10 DATA INTEGRITY TECHNOQUES
Ⅳ AUTHENTICATION
11 AUTHENTICATION PROTOCOLS—PRINCIPLES
12 AUTHENTICATION PROTOCOLS——THE REAL WORLD
13 AUTHENTICATION FRAMEWORK FOR PUBLIC-KEY CRYPTOGRAPHY
Ⅴ 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
Ⅵ CRYPTOGRAPHIC PROTOCOLS
18 ZERO-KNOWLEDGE PROTOCOLS
19 RETURNING TO "COIN FLIPPING OVER TELEPHONE"
20 AFTERREMARK

Wenbo Mao：计算机科学博士。在英国Manchester大学做博士后研究期间，与C.Boyd博士对密码协议和协议形式的分析进行了深入研究并做出贡献。后加入HP公司做高级技术成员，在英国的Bristol研究实验室的可信赖系统实验室，参加了多项重要的电子商务系统和信息安全系统的设计和开发工作。他是多个有关密码和信息安全重要国际会议的程序委员会成员和有关杂志的密码和信息安全方面专辑的编辑或顾问组成员。自2000年4月至今任HP公司总工程师，技术领导。