000			04774cam a2200397 i 4500
999			_c317 _d317
001			20561919
005			20220208095254.0
008			180628s2019 maua b 001 0 eng d
010			_a 2018950017
020			_a0321712331 _qhardback
020			_a9780321712332 _qhardback
035			_a(OCoLC)on1076675266
040			_aYDX _beng _cYDX _erda _dRRR _dZYU _dOCLCF _dEG-CaTKH
042			_alccopycat
050	0	0	_aQA76.9.A25 _bB56 2019
082	0	0	_a005.8 BI.C 2019 _223
100	1		_aBishop, Matt _q(Matthew A.), _eauthor.
245	1	0	_aComputer security : _bart and science / _cMatt Bishop ; with contributions from Elisabeth Sullivan and Michelle Ruppel.
250			_aSecond edition.
264		1	_aBoston : _bAddison-Wesley, _c2019.
300			_axlix, 1383 pages : _billustrations ; _c24 cm.
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
504			_aIncludes bibliographical references (pages 1251-1339) and index.
505	0		_aPart I: Introduction: An Overview of Computer Security -- Part II: Foundations: Access Control -- Foundational Results -- Part III: Policy: Security Policies -- Confidentiality Policies -- Integrity Policies -- Availability Policies -- Hybrid Policies -- Noninterference and Policy Composition -- Part IV: Implementation I: Cryptography: Basic Cryptography -- Key Management -- Cipher Techniques - Authentication -- Part V: Implementation II: Systems -- Design Principles -- Representing Identity -- Access Control Mechanisms -- Information Flow -- Confinement Problem -- Introduction to Assurance -- Building Systems with Assurance -- Formal Methods -- Evaluating Systems -- Part VII: Special Topics: Malware -- Vulnerability Analysis - Auditing -- Intrusion Detection -- Attacks and Responses -- Part VIII: Practicum: Network Security -- System Security -- User Security -- Program Security -- Part IX: Appendices: Appendix A: Lattices -- Appendix B: The Extended Euclidean Algorithm -- Appendix C: Entropy and Uncertainty -- Appendix D: Virtual Machines -- Appendix E: Symbolic Logic -- Appendix F: The Encryption Standards -- Appendix G: Example Academic Security Policy -- Appendix H: Programming Rules
520			_aThe Comprehensive Guide to Computer Security, Extensively Revised with Newer Technologies, Methods, Ideas, and Examples In this updated guide, University of California at Davis Computer Security Laboratory co-director Matt Bishop offers clear, rigorous, and thorough coverage of modern computer security. Reflecting dramatic growth in the quantity, complexity, and consequences of security incidents, Computer Security, Second Edition, links core principles with technologies, methodologies, and ideas that have emerged since the first edition's publication. Writing for advanced undergraduates, graduate students, and IT professionals, Bishop covers foundational issues, policies, cryptography, systems design, assurance, and much more. He thoroughly addresses malware, vulnerability analysis, auditing, intrusion detection, and best-practice responses to attacks. In addition to new examples throughout, Bishop presents entirely new chapters on availability policy models and attack analysis. Understand computer security goals, problems, and challenges, and the deep links between theory and practice Learn how computer scientists seek to prove whether systems are secure Define security policies for confidentiality, integrity, availability, and more Analyze policies to reflect core questions of trust, and use them to constrain operations and change Implement cryptography as one component of a wider computer and network security strategy Use system-oriented techniques to establish effective security mechanisms, defining who can act and what they can do Set appropriate security goals for a system or product, and ascertain how well it meets them Recognize program flaws and malicious logic, and detect attackers seeking to exploit them This is both a comprehensive text, explaining the most fundamental and pervasive aspects of the field, and a detailed reference. It will help you align security concepts with realistic policies, successfully implement your policies, and thoughtfully manage the trade-offs that inevitably arise. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
650		0	_aComputer security.
700	1		_aSullivan, Elisabeth, _econtributor.
700	1		_aRuppel, Michelle, _econtributor.
942			_2ddc _cBK
998			_ahuda.mahmoud _bM _d2022028
906			_a7 _bcbc _ccopycat _d2 _eepcn _f20 _gy-gencatlg