Los sistemas operativos proporcionan los mecanismos fundamentales para asegurar el procesamiento informático. Desde la década de 1960, los diseñadores de sistemas operativos han explorado cómo construir sistemas operativos "seguros", es decir, sistemas operativos cuyos mecanismos protegen el sistema contra un adversario motivado. Recientemente, la importancia de garantizar dicha seguridad se ha convertido en un problema generalizado para todos los sistemas operativos. En este libro, examinamos investigaciones pasadas que describen los requisitos para un sistema operativo seguro y la investigación que implementa sistemas de ejemplo que apuntan a tales requisitos. Para los diseños de sistemas que tenían como objetivo satisfacer estos requisitos, vemos que la complejidad de los sistemas de software a menudo resulta en desafíos de implementación que todavía estamos explorando hasta el día de hoy. Sin embargo, si un diseño de sistema no apunta a lograr los requisitos de un sistema operativo seguro, entonces sus características de seguridad no protegen el sistema de innumerables maneras. También estudiamos sistemas que han sido adaptados con características de sistema operativo seguro después de una implementación inicial. En todos los casos, el conflicto entre la función, por un lado, y la seguridad, por el otro, lleva a elecciones difíciles y a la posibilidad de compromisos imprudentes. Con este libro, esperamos que los diseñadores e implementadores de sistemas aprendan los requisitos para los sistemas operativos que aplican la seguridad de manera efectiva y comprendan mejor cómo gestionar el equilibrio entre la función y la seguridad. Tabla de contenido: Introducción / Fundamentos del control de acceso / Multics / Seguridad en sistemas operativos ordinarios / Objetivos de seguridad verificables / Núcleos de seguridad / Aseguramiento de sistemas operativos comerciales / Estudio de caso: Extensiones confiables de Solaris / Estudio de caso: Construcción de un sistema operativo seguro para Linux / Sistemas de capacidad segura / Sistemas de máquinas virtuales seguras / Aseguramiento del sistema
Autor: Trent JaegerEditorial: Springer
Publicado: 01/09/2008
Páginas: 218
Tipo de encuadernación: Tapa blanda
Peso: 0.92lbs
Tamaño: 9.25h x 7.50w x 0.51d
ISBN13: 9783031012051
ISBN10: 3031012054
Categorías BISAC:-
Computadoras |
Informática-
Computadoras |
Seguridad | GeneralAcerca del autor
Trent Jaeger es profesor asociado en el Departamento de Ciencias de la Computación e Ingeniería de la Universidad Estatal de Pensilvania y codirector del Laboratorio de Seguridad de Sistemas e Infraestructura de Internet. Se unió a Penn State después de trabajar para IBM Research durante nueve años en grupos de investigación de sistemas operativos y seguridad de sistemas. Los intereses de investigación de Trent incluyen la seguridad de los sistemas operativos, el control de acceso y las herramientas de análisis de código fuente y políticas. Ha publicado más de 70 artículos de investigación arbitrados sobre estos temas. Trent ha realizado una variedad de contribuciones a la seguridad de sistemas de código abierto, particularmente al marco de módulos de seguridad de Linux, el módulo SELinux y el desarrollo de políticas, la medición de integridad en Linux y la arquitectura de seguridad de Xen. Es activo en la comunidad de investigación de seguridad, habiendo sido miembro de los comités de programa de todas las principales conferencias de seguridad, y presidente de programa de ACM CCS Government and Industry Track y ACM SACMAT, así como presidente de varios talleres. Es editor asociado de ACM TOIT y ha sido editor invitado de ACM TISSEC. Trent tiene un M.S. y un Ph.D. de la Universidad de Michigan, Ann Arbor, en Ciencias de la Computación e Ingeniería en 1993 y 1997, respectivamente
Este título no es retornable
