Chargement en cours…

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,...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteurs principaux: Bishop, Matt (Matthew A.) (Auteur), Sullivan, Elisabeth (Auteur), Ruppel, Michelle (Auteur)
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