Computer security : art and science

Bishop, Matt :

Computer security : art and science - Delhi : Pearson Education., 2003. - xli, 1084 p. : illustrations ;

Included Index.

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.

9788129701848 8129701847


Computer security.

005.8 / BIS

© University of Vavuniya

---