| 000 | 03757nam a22004095i 4500 | ||
|---|---|---|---|
| 999 |
_c387485 _d387485 |
||
| 001 | 387485 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230412140153.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230412s2008 sz | s |||| 0|eng d | ||
| 020 | _a9783031023330 | ||
| 024 | 7 |
_a10.1007/978-3-031-02333-0 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA76.9.A25 _b2008 EB |
|
| 100 | 1 |
_aJaeger, Trent _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9688062 |
|
| 245 | 1 | 0 |
_aOperating System Security _cby Trent Jaeger |
| 250 | _a1st edition 2008 | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2008 |
|
| 300 | _a1 recurso en línea (XVIII, 218 páginas) | ||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_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. | ||
| 988 | _aSynthesis Collection of Technology_2008 | ||
| 650 | 7 |
_2embne _9140833 _aSistemas operativos |
|
| 650 | 7 |
_2embne _9158200 _aSeguridad informática |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783031012051 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031034619 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-02333-0 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b04/2023 _dz _eIG _zSI |
||