000 03869nam a22004815i 4500
001 978-3-031-02333-0
003 DE-He213
005 20240730163906.0
007 cr nn 008mamaa
008 220601s2008 sz | s |||| 0|eng d
020 _a9783031023330
_9978-3-031-02333-0
024 7 _a10.1007/978-3-031-02333-0
_2doi
050 4 _aQA76.9.A25
072 7 _aUR
_2bicssc
072 7 _aUTN
_2bicssc
072 7 _aCOM053000
_2bisacsh
072 7 _aUR
_2thema
072 7 _aUTN
_2thema
082 0 4 _a005.8
_223
100 1 _aJaeger, Trent.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_981067
245 1 0 _aOperating System Security
_h[electronic resource] /
_cby Trent Jaeger.
250 _a1st ed. 2008.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2008.
300 _aXVIII, 218 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSynthesis Lectures on Information Security, Privacy, and Trust,
_x1945-9750
505 0 _aIntroduction -- Access Control Fundamentals -- Multics -- Security in Ordinary Operating Systems -- Verifiable Security Goals -- Security Kernels -- Securing Commercial Operating Systems -- Case Study: Solaris Trusted Extensions -- Case Study: Building a Secure Operating System for Linux -- Secure Capability Systems -- Secure Virtual Machine Systems -- System Assurance.
520 _aOperating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build "secure" operating systems - operating systems whose mechanisms protect the system against a motivated adversary. Recently, the importance of ensuring such security has become a mainstream issue for all operating systems. In this book, we examine past research that outlines the requirements for a secure operating system and research that implements example systems that aim for such requirements. For system designs that aimed to satisfy these requirements, we see that the complexity of software systems often results in implementation challenges that we are still exploring to this day. However, if a system design does not aim for achieving the secure operating system requirements, then its security features fail to protect the system in a myriad of ways. We also study systems that have been retrofit with secure operating system features after an initial deployment. In all cases, the conflict between function on one hand and security on the other leads to difficult choices and the potential for unwise compromises. From this book, we hope that systems designers and implementors will learn the requirements for operating systems that effectively enforce security and will better understand how to manage the balance between function and security. Table of Contents: Introduction / Access Control Fundamentals / Multics / Security in Ordinary Operating Systems / Verifiable Security Goals / Security Kernels / Securing Commercial Operating Systems / Case Study: Solaris Trusted Extensions / Case Study: Building a Secure Operating System for Linux / Secure Capability Systems / Secure Virtual Machine Systems / System Assurance.
650 0 _aData protection.
_97245
650 1 4 _aData and Information Security.
_931990
710 2 _aSpringerLink (Online service)
_981068
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031012051
776 0 8 _iPrinted edition:
_z9783031034619
830 0 _aSynthesis Lectures on Information Security, Privacy, and Trust,
_x1945-9750
_981069
856 4 0 _uhttps://doi.org/10.1007/978-3-031-02333-0
912 _aZDB-2-SXSC
942 _cEBK
999 _c85098
_d85098