Secure communicating systems : design, analysis, and implementation / Michael R.A. Huth.

Format:

Book

Author/Creator:

Huth, Michael, 1962-

Language:

English

Subjects (All):

Telecommunication--Security measures.

Telecommunication.

Physical Description:

x, 283 pages : illustrations ; 27 cm

Place of Publication:

Cambridge ; New York : Cambridge University Press, 2001.

Summary:

This volume details what every computer scientist ought to know about cryptographic systems, security protocols, and secure information flow in programs. Highlights are 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.

Contents:

1 Secure Communication in Modern Information Societies 1

1.1 Electronic Commerce: The Mantra of Y2K[subscript +] 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

Appendix Primitive Roots 259

A.1 Existence of Primitive Roots 259

A.2 Computing Primitive Roots 269.

Notes:

Includes bibliographical references (pages [271]-273) and index.

ISBN:

052180731X

OCLC:

46366289