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[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]