Designed for both students and practitioners, this text provides an in-depth introduction to the theory and practice of computer security. The volume opens with a discussion of mathematical fundamentals and the principles of computer security. Subsequent chapters discuss policy, implementation, and assurance. A "practicum" section, in which the applications of both theory and policy are focused on realistic security situations, completes the volume. Bishop teaches computer science at the U. of California, Davis. Annotation c. Book News, Inc., Portland, OR"