The Craft of System Security - Graphically Rich Book
Table of Contents
Copyright
List of Figures
Preface
Acknowledgments
About the Authors
Part I: History
Chapter 1. Introduction
Section 1.1. The Standard Rubric
Section 1.2. The Matrix
Section 1.3. Other Views
Section 1.4. Safe States and the Access Control Matrix
Section 1.5. Other Hard Questions
Section 1.6. The Take-Home Message
Section 1.7. Project Ideas
Chapter 2. The Old Testament
Section 2.1. The Basic Framework
Section 2.2. Security Models
Section 2.3. The Orange Book
Section 2.4. INFOSEC, OPSEC, JOBSEC
Section 2.5. The Take-Home Message
Section 2.6. Project Ideas
Chapter 3. Old Principles, New World
Section 3.1. Solving the Wrong Problem?
Section 3.2. Lack of Follow-Through?
Section 3.3. Too Unwieldy?
Section 3.4. Saltzer and Schroeder
Section 3.5. Modern Relevance
Section 3.6. The Take-Home Message
Section 3.7. Project Ideas
Part II: Security and the Modern Computing Landscape
Chapter 4. OS Security
Section 4.1. OS Background
Section 4.2. OS Security Primitives and Principles
Section 4.3. Real OSes: Everything but the Kitchen Sink
Section 4.4. When the Foundation Cracks
Section 4.5. Where Are We?
Section 4.6. The Take-Home Message
Section 4.7. Project Ideas
Chapter 5. Network Security
Section 5.1. Basic Framework
Section 5.2. Protocols
Section 5.3. The Network as a Battlefield
Section 5.4. The Brave New World
Section 5.5. The Take-Home Message
Section 5.6. Project Ideas
Chapter 6. Implementation Security
Section 6.1. Buffer Overflow
Section 6.2. Argument Validation and Other Mishaps
Section 6.3. TOCTOU
Section 6.4. Malware
Section 6.5. Programming Language Security
Section 6.6. Security in the Development Lifecycle
Section 6.7. The Take-Home Message
Section 6.8. Project Ideas
Part III: Building Blocks for Secure Systems
Chapter 7. Using Cryptography
Section 7.1. Framework and Terminology
Section 7.2. Randomness
Section 7.3. Symmetric Cryptography
Section 7.4. Applications of Symmetric Cryptography
Section 7.5. Public-Key Cryptography
Section 7.6. Hash Functions
Section 7.7. Practical Issues: Public Key
Section 7.8. Past and Future
Section 7.9. The Take-Home Message
Section 7.10. Project Ideas
Chapter 8. Subverting Cryptography
Section 8.1. Breaking Symmetric Key without Brute Force
Section 8.2. Breaking Symmetric Key with Brute Force
Section 8.3. Breaking Public Key without Factoring
Section 8.4. Breaking Cryptography via the Real World
Section 8.5. The Potential of Efficiently Factoring Moduli
Section 8.6. The Take-Home Message
Section 8.7. Project Ideas
Chapter 9. Authentication
Section 9.1. Basic Framework
Section 9.2. Authenticating Humans
Section 9.3. Human Factors
Section 9.4. From the Machine's Point of View
Section 9.5. Advanced Approaches
Section 9.6. Case Studies
Section 9.7. Broader Issues
Section 9.8. The Take-Home Message
Section 9.9. Project Ideas
Chapter 10. Public Key Infrastructure
Section 10.1. Basic Definitions
Section 10.2. Basic Structure
Section 10.3. Complexity Arrives
Section 10.4. Multiple CAs
Section 10.5. Revocation
Section 10.6. The X.509 World
Section 10.7. Dissent
Section 10.8. Ongoing Trouble
Section 10.9. The Take-Home Message
Section 10.10. Project Ideas
Chapter 11. Standards, Compliance, and Testing
Section 11.1. Standards
Section 11.2. Policy Compliance
Section 11.3. Testing
Section 11.4. The Take-Home Message
Section 11.5. Project Ideas
Part IV: Applications
Chapter 12. The Web and Security
Section 12.1. Basic Structure
Section 12.2. Security Techniques
Section 12.3. Privacy Issues
Section 12.4. Web Services
Section 12.5. The Take-Home Message
Section 12.6. Project Ideas
Chapter 13. Office Tools and Security
Section 13.1. Word
Section 13.2. Lotus 1-2-3
Section 13.3. PDF
Section 13.4. Cut-and-Paste
Section 13.5. PKI and Office Tools
Section 13.6. Mental Models
Section 13.7. The Take-Home Message
Section 13.8. Project Ideas
Chapter 14. Money, Time, Property
Section 14.1. Money
Section 14.2. Time
Section 14.3. Property
Section 14.4. The Take-Home Message
Section 14.5. Project Ideas
Part V: Emerging Tools
Chapter 15. Formal Methods and Security
Section 15.1. Specification
Section 15.2. Logics
Section 15.3. Cranking the Handle
Section 15.4. Case Studies
Section 15.5. Spinning Your Bank Account
Section 15.6. Limits
Section 15.7. The Take-Home Message
Section 15.8. Project Ideas
Chapter 16. Hardware-Based Security
Section 16.1. Data Remanence
Section 16.2. Attacks and Defenses
Section 16.3. Tools
Section 16.4. Alternative Architectures
Section 16.5. Coming Trends
Section 16.6. The Take-Home Message
Section 16.7. Project Ideas
Chapter 17. In Search of the Evil Bit
Section 17.1. The AI Toolbox
Section 17.2. Application Taxonomy
Section 17.3. Case Study
Section 17.4. Making It Real
Section 17.5. The Take-Home Message
Section 17.6. Project Ideas
Chapter 18. Human Issues
Section 18.1. The Last Mile
Section 18.2. Design Principles
Section 18.3. Other Human-Space Issues
Section 18.4. Trust
Section 18.5. The Take-Home Message
Section 18.6. Project Ideas
The Take-Home Lesson
Appendix A. Exiled Theory
A.1 Relations, Orders, and Lattices
A.2 Functions
A.3 Computability Theory
A.4 Frameworks
A.5 Quantum Physics and Quantum Computation
Bibliography
Unknown
Index
SYMBOL
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z