Computer security : art and science /
In this updated guide, University of California at Davis Computer Security Laboratory co-director Matt Bishop offers clear, rigorous, and thorough coverage of modern computer security. Reflecting dramatic growth in the quantity, complexity, and consequences of security incidents, Computer Security,...
Cote: | Libro Electrónico |
---|---|
Auteurs principaux: | , , |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Boston :
Addison-Wesley : Pearson,
[2019]
|
Édition: | Second edition. |
Sujets: | |
Accès en ligne: | Texto completo (Requiere registro previo con correo institucional) |
Table des matières:
- Part I: Introduction: An Overview of Computer Security
- Part II: Foundations: Access Control
- Foundational Results
- Part III: Policy: Security Policies
- Confidentiality Policies
- Integrity Policies
- Availability Policies
- Hybrid Policies
- Noninterference and Policy Composition
- Part IV: Implementation I: Cryptography: Basic Cryptography
- Key Management
- Cipher Techniques
- Authentication
- Part V: Implementation II: Systems
- Design Principles
- Representing Identity
- Access Control Mechanisms
- Information Flow
- Confinement Problem
- Introduction to Assurance
- Building Systems with Assurance
- Formal Methods
- Evaluating Systems
- Part VII: Special Topics: Malware
- Vulnerability Analysis
- Auditing
- Intrusion Detection
- Attacks and Responses
- Part VIII: Practicum: Network Security
- System Security
- User Security
- Program Security
- Part IX: Appendices: Appendix A: Lattices
- Appendix B: The Extended Euclidean Algorithm
- Appendix C: Entropy and Uncertainty
- Appendix D: Virtual Machines
- Appendix E: Symbolic Logic
- Appendix F: The Encryption Standards
- Appendix G: Example Academic Security Policy
- Appendix H: Programming Rules