Computer Security

This highly anticipated book fully introduces the theory and practice of computer security. It is both a comprehensive text, explaining the most fundamental and pervasive aspects of the field, and a detailed reference filled with valuable information for even the most seasoned practitioner. In this one extraordinary volume the author incorporates concepts from computer systems, networks, human factors, and cryptography. In doing so, he effectively demonstrates that computer security is an art as well as a science.

Computer Security: Art and Science includes detailed discussions on:

• The nature and challenges of computer security
• The relationship between policy and security
• The role and application of cryptography
• The mechanisms used to implement policies
• Methodologies and technologies for assurance
• Vulnerability analysis and intrusion detection

Computer Security discusses different policy models, and presents mechanisms that can be used to enforce these policies. It concludes with examples that show how to apply the principles discussed in earlier sections, beginning with networks and moving on to systems, users, and programs.

This important work is essential for anyone who needs to understand, implement, or maintain a secure network or computer system.

• Part 1: Introduction
1. An Overview of Computer Security
1. The Basic Components
1. Confidentiality
2. Integrity
3. Availability
2. Threats
3. Policy and Mechanism
1. Goals of Security
4. Assumptions and Trust
5. Assurance
1. Specification
2. Design
3. Implementation
6. Operational Issues
1. Cost-Benefit Analysis
2. Risk Analysis
3. Laws and Customs
7. Human Issues
1. Organizational Problems
2. People Problems
8. Tying It All Together
9. Summary
10. Research Issues
11. Further Reading
12. Exercises
• Part 2: Foundations
2. Access Control Matrix
1. Protection State
2. Access Control Matrix Model
1. Access Control by Boolean Expression Evaluation
2. Access Controlled by History
3. Protection State Transitions
1. Conditional Commands
4. Copying, Owning, and the Attenuation of Privilege
1. Copy Right
2. Own Right
3. Principle of Attenuation of Privilege
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
3. Foundational Results
1. The General Question
2. Basic Results
3. The Take-Grant Protection Model
1. Sharing of Rights
2. Interpretation of the Model
3. Theft in the Take-Grant Protection Model
4. Conspiracy
5. Summary
4. Closing the Gap
1. Schematic Protection Model
1. Link Predicate
2. Filter Function
3. Putting It All Together
4. Demand and Create Operations
5. Safety Analysis
5. Expressive Power and the Models
1. Brief Comparison of HRU and SPM
2. Extending SPM
3. Simulation and Expressiveness
4. Typed Access Matrix Model
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
• Part 3: Policy
4. Security Policies
1. Security Policies
2. Types of Security Policies
3. The Role of Trust
4. Types of Access Control
5. Policy Languages
1. High-Level Policy Languages
2. Low-Level Policy Languages
6. Example: Academic Computer Security Policy
1. General University Policy
2. Electronic Mail Policy
1. The Electronic Mail Policy Summary
2. The Full Policy
3. Implementation at UC Davis
7. Security and Precision
8. Summary
9. Research Issues
10. Further Reading
11. Exercises
5. Confidentiality Policies
1. Goals of Confidentiality Policies
2. The Bell-LaPadula Model
1. Informal Description
2. Example: The Data General B2 UNIX System
1. Assigning MAC Labels
2. Using MAC Labels
3. Formal Model
1. Basic Security Theorem
2. Rules of Transformation
4. Example Model Instantiation: Multics
1. The get-read Rule
2. The give-read Rule
3. Tranquility
4. The Controversy over the Bell-LaPadula Model
1. McLean's †-Property and the Basic Security Theorem
2. McLean's System Z and More Questions
3. Summary
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
6. Integrity Policies
1. Goals
2. Biba Integrity Model
1. Low-Water-Mark Policy
2. Ring Policy
3. Biba's Model (Strict Integrity Policy)
3. Lipner's Integrity Matrix Model
1. Lipner's Use of the Bell-LaPadula Model
2. Lipner's Full Model
3. Comparison with Biba
4. Clark-Wilson Integrity Model
1. The Model
1. A UNIX Approximation to Clark-Wilson
2. Comparison with the Requirements
3. Comparison with Other Models
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
7. Hybrid Policies
1. Chinese Wall Model
1. Informal Description
2. Formal Model
3. Bell-LaPadula and Chinese Wall Models
4. Clark-Wilson and Chinese Wall Models
2. Clinical Information Systems Security Policy
1. Bell-LaPadula and Clark-Wilson Models
3. Originator Controlled Access Control
4. Role-Based Access Control
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
8. Noninterference and Policy Composition
1. The Problem
1. Composition of Bell-LaPadula Models
2. Deterministic Noninterference
1. Unwinding Theorem
2. Access Control Matrix Interpretation
3. Security Policies That Change over Time
4. Composition of Deterministic Noninterference-Secure Systems
3. Nondeducibility
1. Compositon of Deducibly Secure Systems
4. Generalized Noninterference
1. Composition of Generalized Noninterference Systems
5. Restrictiveness
1. State Machine Model
2. Composition of Restrictive Systems
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
• Part 4: Implementation I: Cryptography
9. Basic Cryptography
1. What Is Cryptography?
2. Classical Cryptosystems
1. Transposition Ciphers
2. Substitution Ciphers
1. Vigenère Cipher
2. One-Time Pad
3. Data Encryption Standard
4. Other Classical Ciphers
3. Public Key Cryptography
1. Diffie-Hellman
2. RSA
4. Cryptographic Checksums
1. HMAC
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
10. Key Management
1. Session and Interchange Keys
2. Key Exchange
1. Classical Cryptographic Key Exchange and Authentication
2. Kerberos
3. Public Key Cryptographic Key Exchange and Authentication
3. Key Generation
4. Cryptographic Key Infrastructures
1. Merkle's Tree Authentication Scheme
2. Certificate Signature Chains
1. X.509: Certification Signature Chains
2. PGP Certificate Signature Chains
3. Summary
5. Storing and Revoking Keys
1. Key Storage
1. Key Escrow
2. Key Escrow System and the Clipper Chip
3. The Yaksha Security System
4. Other Approaches
2. Key Revocation
6. Digital Signatures
1. Classical Signatures
2. Public Key Signatures
1. RSA Digital Signatures
2. El Gamal Digital Signature
7. Summary
8. Research Issues
9. Further Reading
10. Exercises
11. Cipher Techniques
1. Problems
1. Precomputing the Possible Messages
2. Misordered Blocks
3. Statistical Regularities
4. Summary
2. Stream and Block Ciphers
1. Stream Ciphers
1. Synchronous Stream Ciphers
2. Self-Synchronous Stream Ciphers
2. Block Ciphers
1. Multiple Encryption
3. Networks and Cryptography
4. Example Protocols
1. Secure Electronic Mail: PEM
1. Design Principles
2. Basic Design
3. Other Considerations
4. Conclusion
2. Security at the Transport Layer: SSL
1. Supporting Cryptographic Mechanisms
2. Lower Layer: SSL Record Protocol
3. Upper Layer: SSL Handshake Protocol
4. Upper Layer: SSL Change Cipher Spec Protocol
5. Upper Layer: SSL Alert Protocol
6. Upper Layer: Application Data Protocol
7. Summary
3. Security at the Network Layer: IPsec
1. IPsec Architecture
2. Authentication Header Protocol
3. Encapsulating Security Payload Protocol
4. Conclusion
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
12. Authentication
1. Authentication Basics
2. Passwords
1. Attacking a Password System
2. Countering Password Guessing
1. Random Selection of Passwords
2. Pronounceable and Other Computer-Generated Passwords
3. User Selection of Passwords
4. Reusable Passwords and Dictionary Attacks
5. Guessing Through Authentication Functions
3. Password Aging
3. Challenge-Response
1. Pass Algorithms
2. One-Time Passwords
3. Hardware-Supported Challenge-Response Procedures
4. Challenge-Response and Dictionary Attacks
4. Biometrics
1. Fingerprints
2. Voices
3. Eyes
4. Faces
5. Keystrokes
6. Combinations
7. Caution
5. Location
6. Multiple Methods
7. Summary
8. Research Issues
9. Further Reading
10. Exercises
• Part 5: Implementation II: Systems
13. Design Principles
1. Overview
2. Design Principles
1. Principle of Least Privilege
2. Principle of Fail-Safe Defaults
3. Principle of Economy of Mechanism
4. Principle of Complete Mediation
5. Principle of Open Design
6. Principle of Separation of Privilege
7. Principle of Least Common Mechanism
8. Principle of Psychological Acceptability
3. Summary
4. Research Issues
5. Further Reading
6. Exercises
14. Representing Identity
1. What Is Identity?
2. Files and Objects
3. Users
4. Groups and Roles
5. Naming and Certificates
1. Conflicts
2. The Meaning of the Identity
3. Trust
6. Identity on the Web
1. Host Identity
1. Static and Dynamic Identifiers
2. Security Issues with the Domain Name Service
2. State and Cookies
3. Anonymity on the Web
1. Anonymity for Better or Worse
7. Summary
8. Research Issues
9. Further Reading
10. Exercises
15. Access Control Mechanisms
1. Access Control Lists
1. Abbreviations of Access Control Lists
2. Creation and Maintenance of Access Control Lists
1. Which Subjects Can Modify an Object's ACL?
2. Do the ACLs Apply to a Privileged User?
3. Does the ACL Support Groups and Wildcards?
4. Conflicts
5. ACLs and Default Permissions
3. Revocation of Rights
4. Example: Windows NT Access Control Lists
2. Capabilities
1. Implementation of Capabilities
2. Copying and Amplifying Capabilities
3. Revocation of Rights
4. Limits of Capabilities
5. Comparison with Access Control Lists
3. Locks and Keys
1. Type Checking
2. Sharing Secrets
4. Ring-Based Access Control
5. Propagated Access Control Lists
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
16. Information Flow
1. Basics and Background
1. Entropy-Based Analysis
2. Information Flow Models and Mechanisms
2. Nonlattice Information Flow Policies
1. Confinement Flow Model
2. Transitive Nonlattice Information Flow Policies
3. Nontransitive Information Flow Policies
3. Compiler-Based Mechanisms
1. Declarations
2. Program Statements
1. Assignment Statements
2. Compound Statements
3. Conditional Statements
4. Iterative Statements
5. Goto Statements
6. Procedure Calls
3. Exceptions and Infinite Loops
4. Concurrency
5. Soundness
4. Execution-Based Mechanisms
1. Fenton's Data Mark Machine
2. Variable Classes
5. Example Information Flow Controls
1. Security Pipeline Interface
2. Secure Network Server Mail Guard
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
17. Confinement Problem
1. The Confinement Problem
2. Isolation
1. Virtual Machines
2. Sandboxes
3. Covert Channels
1. Detection of Covert Channels
1. Noninterference
2. The Shared Resource Matrix Methodology
3. Information Flow Analysis
4. Covert Flow Trees
2. Analysis of Covert Channels
1. Covert Channel Capacity and Noninterference
2. Measuring Covert Channel Capacity
3. Analyzing a Noisy Covert Channel's Capacity
3. Mitigation of Covert Channels
4. Summary
5. Research Issues
6. Further Reading
7. Exercises
• Part 6: Assurance
18. Introduction to Assurance
1. Assurance and Trust
1. The Need for Assurance
2. The Role of Requirements in Assurance
3. Assurance Throughout the Life Cycle
2. Building Secure and Trusted Systems
1. Life Cycle
1. Conception
2. Manufacture
3. Deployment
4. Fielded Product Life
2. The Waterfall Life Cycle Model
1. Requirements Definition and Analysis
2. System and Software Design
3. Implementation and Unit Testing
4. Integration and System Testing
5. Operation and Maintenance
6. Discussion
3. Other Models of Software Development
1. Exploratory Programming
2. Prototyping
3. Formal Transformation
4. System Assembly from Reusable Components
5. Extreme Programming
3. Summary
4. Research Issues
5. Further Reading
6. Exercises
19. Building Systems with Assurance
1. Assurance in Requirements Definition and Analysis
1. Threats and Security Objectives
2. Architectural Considerations
1. Security Mechanisms and Layered Architecture
2. Building Security In or Adding Security Later
3. Policy Definition and Requirements Specification
4. Justifying Requirements
2. Assurance During System and Software Design
1. Design Techniques That Support Assurance
2. Design Document Contents
1. Security Functions Summary Specification
2. External Functional Specification
3. Internal Design Description
4. Internal Design Specification
3. Building Documentation and Specifications
1. Modification Specifications
2. Security Specifications
3. Formal Specifications
4. Justifying That Design Meets Requirements
1. Requirements Tracing and Informal Correspondence
2. Informal Arguments
3. Formal Methods: Proof Techniques
4. Review
3. Assurance in Implementation and Integration
1. Implementation Considerations That Support Assurance
2. Assurance Through Implementation Management
3. Justifying That the Implementation Meets the Design
1. Security Testing
2. Security Testing Using PGWG
3. Test Matrices
4. Formal Methods: Proving That Programs Are Correct
4. Assurance During Operation and Maintenance
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
20. Formal Methods
1. Formal Verification Techniques
2. Formal Specification
3. Early Formal Verification Techniques
1. The Hierarchical Development Methodology
1. Verification in HDM
2. The Boyer-Moore Theorem Prover
2. Enhanced HDM
3. The Gypsy Verification Environment
1. The Gypsy Language
2. The Bledsoe Theorem Prover
4. Current Verification Systems
1. The Prototype Verification System
1. The PVS Specification Language
2. The PVS Proof Checker
3. Experience with PVS
2. The Symbolic Model Verifier
1. The SMV Language
2. The SMV Proof Theory
3. SMV Experience
3. The Naval Research Laboratory Protocol Analyzer
1. NPA Languages
2. NPA Experience
5. Summary
6. Research Issues
7. Further Reading
8. Exercises
21. Evaluating Systems
1. Goals of Formal Evaluation
1. Deciding to Evaluate
2. Historical Perspective of Evaluation Methodologies
2. TCSEC: 1983–1999
1. TCSEC Requirements
1. TCSEC Functional Requirements
2. TCSEC Assurance Requirements
2. The TCSEC Evaluation Classes
3. The TCSEC Evaluation Process
4. Impacts
1. Scope Limitations
2. Process Limitations
3. Contributions
3. International Efforts and the ITSEC: 1991–2001
1. ITSEC Assurance Requirements
1. Requirements in the TCSEC Not Found in the ITSEC
2. Requirements in the ITSEC Not Found in the TCSEC
2. The ITSEC Evaluation Levels
3. The ITSEC Evaluation Process
4. Impacts
1. Vendor-Provided Security Targets
2. Process Limitations
4. Commercial International Security Requirements: 1991
1. CISR Requirements
2. Impacts
5. Other Commercial Efforts: Early 1990s
6. The Federal Criteria: 1992
1. FC Requirements
2. Impacts
7. FIPS 140: 1994–Present
1. FIPS 140 Requirements
2. FIPS 140-2 Security Levels
3. Impact
8. The Common Criteria: 1998–Present
1. Overview of the Methodology
2. CC Requirements
3. CC Security Functional Requirements
4. Assurance Requirements
5. Evaluation Assurance Levels
6. Evaluation Process
7. Impacts
8. Future of the Common Criteria
1. Interpretations
2. Assurance Class AMA and Family ALC_FLR
3. Products Versus Systems
4. Protection Profiles and Security Targets
5. Assurance Class AVA
6. EAL5
9. SSE-CMM: 1997 — Present
1. The SSE-CMM Model
2. Using the SSE-CMM
10. Summary
11. Research Issues
12. Further Reading
13. Exercises
• Part 7: Special Topics
22. Malicious Logic
1. Introduction
2. Trojan Horses
3. Computer Viruses
1. Boot Sector Infectors
2. Executable Infectors
3. Multipartite Viruses
4. TSR Viruses
5. Stealth Viruses
6. Encrypted Viruses
7. Polymorphic Viruses
8. Macro Viruses
4. Computer Worms
5. Other Forms of Malicious Logic
1. Rabbits and Bacteria
2. Logic Bombs
6. Theory of Malicious Logic
1. Theory of Computer Viruses
7. Defenses
1. Malicious Logic Acting as Both Data and Instructions
2. Malicious Logic Assuming the Identity of a User
1. Information Flow Metrics
2. Reducing the Rights
3. Sandboxing
3. Malicious Logic Crossing Protection Domain Boundaries by Sharing
4. Malicious Logic Altering Files
5. Malicious Logic Performing Actions Beyond Specification
1. Proof-Carrying Code
6. Malicious Logic Altering Statistical Characteristics
7. The Notion of Trust
8. Summary
9. Research Issues
10. Further Reading
11. Exercises
23. Vulnerability Analysis
1. Introduction
2. Penetration Studies
1. Goals
2. Layering of Tests
3. Methodology at Each Layer
4. Flaw Hypothesis Methodology
1. Information Gathering and Flaw Hypothesis
2. Flaw Testing
3. Flaw Generalization
4. Flaw Elimination
5. Example: Penetration of the Michigan Terminal System
6. Example: Compromise of a Burroughs System
7. Example: Penetration of a Corporate Computer System
8. Example: Penetrating a UNIX System
9. Example: Penetrating a Windows NT System
10. Debate
11. Conclusion
3. Vulnerability Classification
1. Two Security Flaws
4. Frameworks
1. The RISOS Study
1. The Flaw Classes
2. Legacy
2. Protection Analysis Model
1. The Flaw Classes
2. Analysis Procedure
3. Legacy
3. The NRL Taxonomy
1. The Flaw Classes
2. Legacy
4. Aslam's Model
1. The Flaw Classes
2. Legacy
5. Comparison and Analysis
1. The xterm Log File Flaw
2. The fingerd Buffer Overflow Flaw
3. Summary
5. Gupta and Gligor's Theory of Penetration Analysis
1. The Flow-Based Model of Penetration Analysis
2. The Automated Penetration Analysis Tool
3. Discussion
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
24. Auditing
1. Definitions
2. Anatomy of an Auditing System
1. Logger
2. Analyzer
3. Notifier
3. Designing an Auditing System
1. Implementation Considerations
2. Syntactic Issues
3. Log Sanitization
4. Application and System Logging
4. A Posteriori Design
1. Auditing to Detect Violations of a Known Policy
1. State-Based Auditing
2. Transition-Based Auditing
2. Auditing to Detect Known Violations of a Policy
5. Auditing Mechanisms
1. Secure Systems
2. Nonsecure Systems
6. Examples: Auditing File Systems
1. Audit Analysis of the NFS Version 2 Protocol
2. The Logging and Auditing File System (LAFS)
3. Comparison
7. Audit Browsing
8. Summary
9. Research Issues
10. Further Reading
11. Exercises
25. Intrusion Detection
1. Principles
2. Basic Intrusion Detection
3. Models
1. Anomaly Modeling
1. Derivation of Statistics
2. Misuse Modeling
3. Specification Modeling
4. Summary
4. Architecture
1. Agent
1. Host-Based Information Gathering
2. Network-Based Information Gathering
3. Combining Sources
2. Director
3. Notifier
5. Organization of Intrusion Detection Systems
1. Monitoring Network Traffic for Intrusions: NSM
2. Combining Host and Network Monitoring: DIDS
3. Autonomous Agents: AAFID
6. Intrusion Response
1. Incident Prevention
2. Intrusion Handling
1. Containment Phase
2. Eradication Phase
3. Follow-Up Phase
7. Summary
8. Research Issues
9. Further Reading
10. Exercises
• Part 8: Practicum
26. Network Security
1. Introduction
2. Policy Development
1. Data Classes
2. User Classes
3. Availability
4. Consistency Check
3. Network Organization
1. Firewalls and Proxies
2. Analysis of the Network Infrastructure
1. Outer Firewall Configuration
2. Inner Firewall Configuration
3. In the DMZ
1. DMZ Mail Server
2. DMZ WWW Server
3. DMZ DNS Server
4. DMZ Log Server
5. Summary
4. In the Internal Network
5. General Comment on Assurance
4. Availability and Network Flooding
1. Intermediate Hosts
2. TCP State and Memory Allocations
5. Anticipating Attacks
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
27. System Security
1. Introduction
2. Policy
1. The Web Server System in the DMZ
2. The Development System
3. Comparison
4. Conclusion
3. Networks
1. The Web Server System in the DMZ
2. The Development System
3. Comparison
4. Users
1. The Web Server System in the DMZ
2. The Development System
3. Comparison
5. Authentication
1. The Web Server System in the DMZ
2. Development Network System
3. Comparison
6. Processes
1. The Web Server System in the DMZ
2. The Development System
3. Comparison
7. Files
1. The Web Server System in the DMZ
2. The Development System
3. Comparison
8. Retrospective
1. The Web Server System in the DMZ
2. The Development System
9. Summary
10. Research Issues
11. Further Reading
12. Exercises
28. User Security
1. Policy
2. Access
1. Passwords
2. The Login Procedure
1. Trusted Hosts
3. Leaving the System
3. Files and Devices
1. Files
1. File Permissions on Creation
2. Group Access
3. File Deletion
2. Devices
1. Writable Devices
2. Smart Terminals
3. Monitors and Window Systems
4. Processes
1. Copying and Moving Files
2. Accidentally Overwriting Files
3. Encryption, Cryptographic Keys, and Passwords
4. Start-up Settings
5. Limiting Privileges
6. Malicious Logic
5. Electronic Communications
1. Automated Electronic Mail Processing
2. Failure to Check Certificates
3. Sending Unexpected Content
6. Summary
7. Research Issues
8. Further Reading
9. Exercises
29. Program Security
1. Introduction
2. Requirements and Policy
1. Requirements
2. Threats
1. Group 1: Unauthorized Users Accessing Role Accounts
2. Group 2: Authorized Users Accessing Role Accounts
3. Summary
3. Design
1. Framework
1. User Interface
2. High-Level Design
2. Access to Roles and Commands
1. Interface
2. Internals
3. Storage of the Access Control Data
4. Refinement and Implementation
1. First-Level Refinement
2. Second-Level Refinement
3. Functions
1. Obtaining Location
2. The Access Control Record
3. Error Handling in the Reading and Matching Routines
4. Summary
5. Common Security-Related Programming Problems
1. Improper Choice of Initial Protection Domain
1. Process Privileges
2. Access Control File Permissions
3. Memory Protection
4. Trust in the System
2. Improper Isolation of Implementation Detail
1. Resource Exhaustion and User Identifiers
2. Validating the Access Control Entries
3. Restricting the Protection Domain of the Role Process
3. Improper Change
1. Memory
2. Changes in File Contents
3. Race Conditions in File Accesses
4. Improper Naming
5. Improper Deallocation or Deletion
6. Improper Validation
1. Bounds Checking
2. Type Checking
3. Error Checking
4. Checking for Valid, not Invalid, Data
5. Checking Input
6. Designing for Validation
7. Improper Indivisibility
8. Improper Sequencing
9. Improper Choice of Operand or Operation
10. Summary
6. Testing, Maintenance, and Operation
1. Testing
1. Testing the Module
2. Testing Composed Modules
3. Testing the Program
7. Distribution
8. Conclusion
9. Summary
10. Research Issues
11. Further Reading
12. Exercises
• Part 9: End Matter
30. Lattices
1. Basics
2. Lattices
3. Exercises
31. The Extended Euclidean Algorithm
1. The Euclidean Algorithm
2. The Extended Euclidean Algorithm
3. Solving ax mod n = 1
4. Solving ax mod n = b
5. Exercises
32. Entropy and Uncertainty
1. Conditional and Joint Probability
2. Entropy and Uncertainty
3. Joint and Conditional Entropy
1. Joint Entropy
2. Conditional Entropy
3. Perfect Secrecy
4. Exercises
33. Virtual Machines
1. Virtual Machine Structure
2. Virtual Machine Monitor
1. Privilege and Virtual Machines
2. Physical Resources and Virtual Machines
3. Paging and Virtual Machines
3. Exercises
34. Symbolic Logic
1. Propositional Logic
1. Natural Deduction in Propositional Logic
1. Rules
2. Derived Rules
2. Well-Formed Formulas
3. Truth Tables
4. Mathematical Induction
2. Predicate Logic
1. Natural Deduction in Predicate Logic
3. Temporal Logic Systems
1. Syntax of CTL
2. Semantics of CTL
4. Exercises
35. Example Academic Security Policy
1. University of California E-mail Policy
1. Summary: E-mail Policy Highlights
1. Cautions
2. Do
3. Do Not
4. Does This Policy Apply to You?
2. University of California Electronic Mail Policy
1. Introduction
2. Purpose
3. Definitions
4. Scope
5. General Provisions
6. Specific Provisions
7. Policy Violations
8. Responsibility for Policy
9. Campus Responsibilities and Discretion
10. Appendix A — Definitions
11. Appendix B — References
12. Appendix C — Policies Relating to Nonconsensual Access
3. UC Davis Implementation of the Electronic Mail Policy
1. Purpose and Scope
2. Definitions
3. Policy
4. References and Related Policy
2. The Acceptable Use Policy for the University of California, Davis
1. Part I
1. Introduction
2. Rights and Responsibilities
3. Existing Legal Context
4. Enforcement
2. Part II

Matt has always been a very knowledgeable person in the UNIX security environment and a very nice chap too. Here he proves once and for all that he spans the whole spectrum of security science (if any ever doubted it).

What can be said, is that he tends to focus more on the Science than the Art, but he does an excellent job of it.