Table of Contents

1. Introduction
   1. An Overview of Computer Security
2. Foundations
   2. Access Control Matrix
   3. Foundational Results
3. Policy
   4. Security Policies
   5. Confidentiality Policies
   6. Integrity Policies
   7. Hybrid Policies
   8. Noninterference and Policy Composition
4. Implementation I: Cryptography
   9. Basic Cryptography
   10. Key Management
   11. Cipher Techniques
   12. Authentication
5. Implementation II: Systems
   13. Design Principles
   14. Representing Identity
   15. Access Control Mechanisms
   16. Information Flow
   17. Confinement Problem
6. Assurance (contributed by Elisabeth Sullivan)
   18. Introduction to Assurance
   19. Building Systems with Assurance
   20. Formal Methods
   21. Evaluating Systems
7. Special Topics
   22. Malicious Logic
   23. Vulnerability Analysis
   24. Auditing
   25. Intrusion Detection
8. Practicum
   26. Network Security
   27. System Security
   28. User Security
   29. Program Security
9. End Matter
   30. Lattices
   31. The Extended Euclidean Algorithm
   32. Entropy and Uncertainty
   33. Virtual Machines
   34. Symbolic Logic
   35. Example Academic Security Policy
   36. Bibliography