Description
Solution Manual for Computer Security 2nd Edition Bishop
Solution Manual for Computer Security, 2nd Edition, Matt Bishop, ISBN 10: 0321712331, ISBN 13: 9780321712332
Table of Contents
Part I: Introduction 1
Chapter 1: An Overview of Computer Security 3
Part II: Foundations 29
Chapter 2: Access Control Matrix 31
Chapter 3: Foundational Results 49
Part III: Policy 107
Chapter 4: Security Policies 109
Chapter 5: Confidentiality Policies 141
Chapter 6: Integrity Policies 173
Chapter 7: Availability Policies 201
Chapter 8: Hybrid Policies 227
Chapter 9: Noninterference and Policy Composition 255
Part IV: Implementation I: Cryptography 287
Chapter 10: Basic Cryptography 289
Chapter 11: Key Management 331
Chapter 12: Cipher Techniques 367
Chapter 13: Authentication 415
Part V: Implementation II: Systems 453
Chapter 14: Design Principles 455
Chapter 15: Representing Identity 471
Chapter 16: Access Control Mechanisms 507
Chapter 17: Information Flow 539
Chapter 18: Confinement Problem 579
Part VI: Assurance 625
Chapter 19: Introduction to Assurance 627
Chapter 20: Building Systems with Assurance 649
Chapter 21: Formal Methods 699
Chapter 22: Evaluating Systems 727
Part VII: Special Topics 773
Chapter 23: Malware 775
Chapter 24: Vulnerability Analysis 825
Chapter 25: Auditing 879
Chapter 26: Intrusion Detection 917
Chapter 27: Attacks and Responses 959
Part VIII: Practicum 1003
Chapter 28: Network Security 1005
Chapter 29: System Security 1035
Chapter 30: User Security 1073
Chapter 31: Program Security 1099
Part IX: Appendices 1151
Appendix A: Lattices 1153
Appendix B: The Extended Euclidean Algorithm 1157
Appendix C: Entropy and Uncertainty 1163
Appendix D: Virtual Machines 1171
Appendix E: Symbolic Logic 1179
Appendix F: The Encryption Standards 1191
