Ebooks

Secure Communicating Systems Design, Analysis, and Implementation~tqw~ darksiderg

• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Secure Communicating Systems: Design, Analysis, and Implementation
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 23,421,107 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
This volume details what every computer scientist ought to know about
cryptographic systems, security protocols, and secure information flow in
programs. Highlights include discussions of the new advanced encryption standard
"Rijndael"; an optimal public-key encryption using RSA which turns "textbook
RSA" into a practical implementation; standard security models for information
flow in computer programs or human organizations; and moral, legal, and
political issues. Another novel feature is the presentation of a formal
model-checking tool for specifying and debugging security protocols.

In addition to the standard material on secure communication protocols covered
in texts for advanced undergraduate/beginning graduate students, Huth (computer
and information sciences, Imperial College of Science, Technology, and Medicine,
London) presents a Web-supported discussion of topics of interest to computer
professionals working with cryptosystems: e.g., the new Rijndael advanced
encryption standard, encryption using RSA, algorithm proofs, and legislating
electronic authentication.

Table of Contents
Preface
Acknowledgments
1 Secure Communication in Modern Information Societies 1
1.1 Electronic Commerce: The Mantra of Y2K+ 1
1.2 Cryptographic Systems 3
1.3 Legislating Electronic Authentication 6
1.4 The Mathematical Judge 9
1.5 Encryption Policies 10
1.6 Trust and Communities 11
2 Public-Key Cryptography 15
2.1 Specification of RSA 17
2.2 A Realization of PKCs: RSA 23
2.3 Generating Large Primes 27
2.4 Correctness of RSA 59
2.5 Security of RSA 64
2.6 Integer Factorization 73
2.7 Other Key-Exchange Realizations Based on Discrete Logarithms 76
3 Symmetric-Key Cryptography 81
3.1 Stream Ciphers 81
3.2 Block Ciphers 95
4 Security Protocol Design and Analysis 131
4.1 Digital Signatures 131
4.2 Secure Log-In Protocols 142
4.3 Authentication Revisited 149
4.4 Secret-Sharing Protocols 153
4.5 Model Checking Security Protocol Designs 156
5 Optimal Public-Key Encryption with RSA 179
5.1 A Simple Semantically Secure Encryption 180
5.2 A Plain-Text-Aware Encryption 182
5.3 The Random Oracle Methodology 186
5.4 Exact Security for the Simple Encryption 189
5.5 Exact Security for the Plain-Text-Aware Encryption 199
6 Analysis of Secure Information Flow 204
6.1 Motivation 204
6.2 A Type System for Analysis of Secure Information Flow 207
6.3 A Semantic Approach to Analysis of Secure Information Flow 227
6.4 Program Certification 255
6.5 Covert Channels 256
App.: Primitive Roots 259
Bibliography 271
Index 275

Product Details

* ISBN: 052180731X
* ISBN-13: 9780521807319
* Format: Hardcover, 296pp
* Publisher: Cambridge University Press
* Pub. Date: August 2001

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
Adobe Acrobat Reader

related torrents