Computer Security: The Art and Science of Security

Author: Bishop
Publisher:
Publish Date: 2005-05-01
Features: This book systematically introduces the fundamental principles and application technologies of computer security. The entire book is divided into nine parts, with the security policy model section providing a detailed discussion of various security policy models, including the Bell-LaPadula model, Biba model, Chinese Wall model, Clark-Wilson model, and others. The cryptography section focuses on the application of cryptography, including key management and key escrow, key distribution, cryptographic systems in networks, and authentication theory. The non-cryptographic security mechanisms section covers multiple aspects of computer security implementation, including security design principles, identity representation, access control implementation, and information flow control. Additionally, it introduces malicious code, vulnerability analysis, auditing, and intrusion detection as special topics. The security assurance section discusses the theory and technology of building and evaluating trusted systems, including security assurance principles, formal verification, and trusted system evaluation standards. The book also includes numerous examples, introductions to scientific literature, and practical content. To assist readers, it explains the mathematical knowledge used in the book.
Target Audience: The content of this book is extensive, with detailed examples, making it highly valuable for both theoretical and practical reference. It can serve as a textbook for graduate students and senior undergraduate students, as well as a reference for professionals in the fields of information security, computer science, and communications.