|
The Craft of System Security
"I believe The Craft of System Security is one of the best software security books on the market today. It has not only breadth, but depth, covering topics ranging from cryptography, networking, and operating systems--to the Web, computer-human interaction, and how to improve the security of software systems by improving hardware. Bottom line,
this book should be required reading for all who plan to call themselves security practitioners, and an invaluable part of every university's computer science curriculum."
--Edward Bonver, CISSP, Senior Software QA Engineer, Product Security, Symantec Corporation
"Here's to a fun, exciting read: a unique book chock-full of practical examples of the uses and the misuses of computer security. I expect that it will motivate a good number of college students to want to learn more about the field, at the same time that it will satisfy the more experienced professional."
--L. Felipe Perrone, Department of Computer Science, Bucknell University
Whether you're a security practitioner, developer, manager, or administrator, this book will give you the deep understanding necessary to meet today's security challenges--and anticipate tomorrow's. Unlike most books, The Craft of System Security doesn't just review the modern security practitioner's toolkit: It explains why each tool exists, and discusses how to use it to solve real problems.
After quickly reviewing the history of computer security, the authors move on to discuss the modern landscape, showing how security challenges and responses have evolved, and offering a coherent framework for understanding today's systems and vulnerabilities. Next, they systematically introduce the basic building blocks for securing contemporary systems, apply those building blocks to today's applications, and consider important emerging trends such as hardware-based security.
After reading this book, you will be able to
* Understand the classic Orange Book approach to security, and its limitations
* Use operating system security tools and structures--with examples from Windows, Linux, BSD, and Solaris
* Learn how networking, the Web, and wireless technologies affect security
* Identify software security defects, from buffer overflows to development process flaws
* Understand cryptographic primitives and their use in secure systems
* Use best practice techniques for authenticating people and computer systems in diverse settings
* Use validation, standards, and testing to enhance confidence in a system's security
* Discover the security, privacy, and trust issues arising from desktop productivity tools
* Understand digital rights management, watermarking, information hiding, and policy expression
* Learn principles of human-computer interaction (HCI) design for improved security
* Understand the potential of emerging work in hardware-based security and trusted computing
CONTENTS:
Preface xxiii
Acknowledgments xxxiPart I: History 1Chapter 1: Introduction 31.1 The Standard Rubric 4
1.2 The Matrix 7
1.3 Other Views 9
1.4 Safe States and the Access Control Matrix 16
1.5 Other Hard Questions 18
1.6 The Take-Home Message 21
1.7 Project Ideas 22Chapter 2: The Old Testament 232.1 The Basic Framework 23
2.2 Security Models 25
2.3 The Orange Book 33
2.4 INFOSEC, OPSEC, JOBSEC 43
2.5 The Take-Home Message 43
2.6 Project Ideas 43Chapter 3: Old Principles, New World 453.1 Solving the Wrong Problem? 46
3.2 Lack of Follow-Through? 48
3.3 Too Unwieldy? 49
3.4 Saltzer and Schroeder 53
3.5 Modern Relevance 56
3.6 The Take-Home Messagev57
3.7 Project Ideas 57Part II: Security and the Modern Computing Landscape 59Chapter 4: OS Security 614.1 OS Background 61
4.2 OS Security Primitives and Principles 68
4.3 Real OSes: Everything but the Kitchen Sink 73
4.4 When the Foundation Cracks 77
4.5 Where Are We? 82
4.6 The Take-Home Message 86
4.7 Project Ideas 86Chapter 5: Network Security 875.1 Basic Framework 88
5.2 Protocols 99
5.3 The Network as a Battlefield 104
5.4 The Brave New World 112
5.5 The Take-Home Message 121
5.6 Project Ideas 121Chapter 6: Implementation Security 1236.1 Buffer Overflow 124
6.2 Argument Validation and Other Mishaps 132
6.3 TOCTOU 139
6.4 Malware 140
6.5 Programming Language Security 143
6.6 Security in the Development Lifecycle 148
6.7 The Take-Home Message 152
6.8 Project Ideas 152Part III: Building Blocks for Secure Systems 155Chapter 7: Using Cryptography 1577.1 Framework and Terminology 158
7.2 Randomness 161
7.3 Symmetric Cryptography 163
7.4 Applications of Symmetric Cryptography 172
7.5 Public-Key Cryptography 174
7.6 Hash Functions 180
7.7 Practical Issues: Public Key 183
7.8 Past and Future 186
7.9 The Take-Home Message 187
7.10 Project Ideas 187Chapter 8: Subverting Cryptography 1898.1 Breaking Symmetric Key without Brute Force 190
8.2 Breaking Symmetric Key with Brute Force 192
8.3 Breaking Public Key without Factoring 194
8.4 Breaking Cryptography via the Real World 202
8.5 The Potential of Efficiently Factoring Moduli 209
8.6 The Take-Home Message 212
8.7 Project Ideas 213Chapter 9: Authentication 2159.1 Basic Framework 216
9.2 Authenticating Humans 217
9.3 Human Factors 220
9.4 From the Machine's Point of View 223
9.5 Advanced Approaches 226
9.6 Case Studies 237
9.7 Broader Issues 243
9.8 The Take-Home Message 247
9.9 Project Ideas 248Chapter 10: Public Key Infrastructure 24910.1 Basic Definitions 250
10.2 Basic Structure 252
10.3 Complexity Arrives 253
10.4 Multiple CAs 258
10.5 Revocation 262
10.6 The X.509 World 265
10.7 Dissent 268
10.8 Ongoing Trouble 271
10.9 The Take-Home Message 273
10.10 Project Ideas 273Chapter 11: Standards, Compliance, and Testing 27511.1 Standards 276
11.2 Policy Compliance 282
11.3 Testing 289
11.4 The Take-Home Message 297
11.5 Project Ideas 298Part IV: Applications 299Chapter 12: The Web and Security 30112.1 Basic Structure 302
12.2 Security Techniques 316
12.3 Privacy Issues 329
12.4 Web Services 334
12.5 The Take-Home Message 336
12.6 Project Ideas 337Chapter 13: Office Tools and Security 33913.1 Word 340
13.2 Lotus 1-2-3 350
13.3 PDF 351
13.4 Cut-and-Paste 355
13.5 PKI and Office Tools 357
13.6 Mental Models 360
13.7 The Take-Home Message 363
13.8 Project Ideas 363Chapter 14: Money, Time, Property 36514.1 Money 366
14.2 Time 376
14.3 Property 381
14.4 The Take-Home Message 387
14.5 Project Ideas 387Part V: Emerging Tools 389Chapter 15: Formal Methods and Security 39115.1 Specification 392
15.2 Logics 395
15.3 Cranking the Handle 403
15.4 Case Studies 404
15.5 Spinning Your Bank Account 404
15.6 Limits 405
15.7 The Take-Home Message 407
15.8 Project Ideas 409Chapter 16: Hardware-Based Security 41116.1 Data Remanence 412
16.2 Attacks and Defenses 415
16.3 Tools 423
16.4 Alternative Architectures 434
16.5 Coming Trends 440
16.6 The Take-Home Message 447
16.7 Project Ideas 447Chapter 17: In Search of the Evil Bit 44917.1 The AI Toolbox 451
17.2 Application Taxonomy 455
17.3 Case Study 458
17.4 Making it Real 464
17.5 The Take-Home Message 466
17.6 Project Ideas 466Chapter 18: Human Issues 46718.1 The Last Mile 468
18.2 Design Principles 472
18.3 Other Human-Space Issues 481
18.4 Trust 483
18.5 The Take-Home Message 485
18.6 Project Ideas 485The Take-Home Lesson 487Appendix A: Exiled Theory 489A.1 Relations, Orders, and Lattices 490
A.2 Functions 491
A.3 Computability Theory 492
A.4 Frameworks 496
A.5 Quantum Physics and Quantum Computation 497Bibliography 503
Index 525
|
