Bishop, Matt <br/><br/>
Computer security :  art and science / 
Matt Bishop 
 - xli, 1,084 pages :  illustrations ;  24 cm 
<br/><br/>Includes bibliographical references and index 
<br/><br/>pt. 1. Introduction -- 1. An overview of computer security -- pt. 2. Foundations -- 2. Access control matrix -- 3. Foundational results -- pt. 3. Policy -- 4. Security policies -- 5. Confidentiality policies -- 6. Integrity policies -- 7. Hybrid policies -- 8. Noninterference and policy composition -- pt. 4. Implementation I: cryptography -- 9. Basic cryptography -- 10. Key management -- 11. Cipher techniques -- 12. Authentication -- pt. 5. Implementation II: systems -- 13. Design principles -- 14. Representing identity -- 15. Access control mechanisms -- 16. Information flow -- 17. Confinement problem -- pt. 6. Assurance / by Elisabeth Sullivan -- 18. Introduction to assurance -- 19. Building systems with assurance -- 20. Formal methods -- 21. Evaluating systems -- pt. 7. Special topics -- 22. Malicious logic -- 23. Vulnerability analysis -- 24. Auditing -- 25. Intrusion detection -- pt. 8. Practicum -- 26. Network security -- 27. System security -- 28. User security -- 29. Program security -- pt. 9. End matter -- 30. Lattices -- 31. The extended Euclidean algorithm -- 32. Entropy and uncertainty -- 33. Virtual machines -- 34. Symbolic logic -- 35. Example academic security policy 
<br/><br/><label>ISBN: </label>0201440997 9780201440997 
<br/><br/><label>Nat. Bib. No.: </label>GBA2-U3904 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security<br/>Computer security
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Leermiddelen (vorm)
<br/><br/><label>LC Class. No.: </label>QA76.9.A25  / B56 2003 
<br/><br/><label>Dewey Class. No.: </label>005.8