Base de computador confiable , la enciclopedia libre
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
[editar]La 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