出版社:电子工业
出版日期:2004-5
ISBN:9787505398160
作者:[英]WenboMao著
页数:706页
内容概要
Wenbo Mao:计算机科学博士。在英国Manchester大学做博士后研究期间,与C.Boyd博士对密码协议和协议形式的分析进行了深入研究并做出贡献。后加入HP公司做高级技术成员,在英国的Bristol研究实验室的可信赖系统实验室,参加了多项重要的电子商务系统和信息安全系统的设计
书籍目录
A SHORT DESCRIPTION OF THE BOOKPREFACELIST OF FIGURESLIST 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
作者简介
现代密码学理论与实践:英文版,ISBN:9787505398160,作者:(英)Wenbo Mao著
图书封面