Computer Security

Computer Security: Art and Science, 2nd Edition explores the foundational connections between security theory and practical systems. Published in 2019, this textbook by Matt Bishop investigates core security challenges and explains how computer scientists evaluate whether systems are secure.

The volume covers security policy formulation across confidentiality, integrity, and availability, as well as system-oriented mechanism design and threat defense. The text shows how formal policies define trust and govern authorized operations across computing environments.

Written for advanced undergraduates, graduate students, and IT professionals, the 2nd Edition incorporates a chapter-length case study on electronic voting that illustrates how security principles, procedures, and technology operate in practice.