Base de computador confiable
Una Base de computador confiable, también conocido por las siglas TCB (del inglés Trusted Computer Base), es un conjunto de elementos hardware, firmware y software que permiten a un sistema informático implementar los requisitos de seguridad establecidos. Cualquier cosa fuera del TCB puede ser malicioso.[1][2]
En ordenadores de propósito general la TCB suele estar formada por la mayoría de los elementos hardware del sistema (excepto los dispositivos de E/S) y una parte del núcleo del sistema operativo. Entre las funciones del sistema operativo que se deben incluir dentro de la TCB se encuentran las relativas a creación de procesos, cambio de contexto, gestión de memoria y parte de la gestión de la E/S y del sistema de archivos.[1]
Siempre se quiere que la TCB sea lo más pequeña posible de forma que nos podamos centrar en asegurar la seguridad de esa pequeña parte y que la seguridad del resto del sistema se apoye en ella.
Modelo de seguridad
editarLa política de seguridad establecida como requisito del sistema no se suele implementar directamente en la TCB. En su lugar se recurre a lo que se llama modelo de seguridad que es una especificación formal de las funciones que la TCB llevará a cabo y gracias a las cuales se pueden probar la política de seguridad requerida. Es decir es el conjunto de reglas y prácticas que regulan cómo un sistema maneja, protege y distribuye la información.[2]
Referencias
editar- ↑ a b Examen de Febrero de 2016 de Sistemas Operativos Archivado el 28 de diciembre de 2016 en Wayback Machine.. Universidad Nacional de Educación a Distancia 2016
- ↑ a b Flowx: Implementación de no interferencia en Linux Archivado el 8 de mayo de 2013 en Wayback Machine.. Maximiliano Cristiá. Pablo Enrique Mata. Universidad Nacional de Rosario. Argentina. 2009