Aplicación de tipos

El concepto de control de acceso por tipo ( TE , por sus siglas en inglés), en el campo de la tecnología de la información , es un mecanismo de control de acceso para regular el acceso en sistemas informáticos. La implementación de TE da prioridad al control de acceso obligatorio (MAC, por sus siglas en inglés) sobre el control de acceso discrecional (DAC, por sus siglas en inglés). La autorización de acceso se otorga primero a un sujeto (por ejemplo, un proceso) que accede a objetos (por ejemplo, archivos, registros, mensajes) en función de las reglas definidas en un contexto de seguridad adjunto . Un contexto de seguridad en un dominio se define mediante una política de seguridad de dominio. En el módulo de seguridad de Linux ( LSM , por sus siglas en inglés ) de SELinux , el contexto de seguridad es un atributo extendido. La implementación del control de acceso por tipo es un requisito previo para MAC y un primer paso antes de la seguridad multinivel (MLS, por sus siglas en inglés) o su reemplazo, la seguridad multicategoría (MCS, por sus siglas en inglés). Es un complemento del control de acceso basado en roles (RBAC, por sus siglas en inglés).

La imposición de tipos implica un control preciso del sistema operativo, no solo para controlar la ejecución de procesos, sino también la transición de dominios o el esquema de autorización . Por ello, se recomienda implementarla como un módulo del kernel, como es el caso de SELinux. El uso de la imposición de tipos es una forma de implementar la arquitectura FLASK .

Mediante la aplicación de tipos, los usuarios pueden (como en Microsoft Active Directory ) o no (como en SELinux ) estar asociados a un dominio Kerberos, aunque el modelo original de aplicación de tipos así lo implica. Siempre es necesario definir una matriz de acceso TE que contenga reglas sobre la autorización otorgada a un contexto de seguridad determinado, o los derechos del sujeto sobre los objetos según un esquema de autorización.

En la práctica, la aplicación de tipos evalúa un conjunto de reglas del contexto de seguridad de origen de un sujeto, comparándolas con un conjunto de reglas del contexto de seguridad de destino del objeto. La decisión de autorización se toma en función de la descripción de acceso TE (matriz). Posteriormente, se aplican DAC u otros mecanismos de control de acceso (MLS/MCS, etc.).

La imposición de tipos se introdujo en la arquitectura Secure Ada Target a finales de la década de 1980 con una implementación completa desarrollada en el sistema Logical Coprocessing Kernel (LOCK). ^{[ 1 ] [ 2 ]} El cortafuegos de Internet Sidewinder se implementó en una versión personalizada de Unix que incorporaba la imposición de tipos.

En el sistema Trusted MACH se desarrolló una variante denominada aplicación del tipo de dominio .

El modelo original de imposición de tipos establecía que debían adjuntarse etiquetas a sujetos y objetos: una "etiqueta de dominio" para un sujeto y una "etiqueta de tipo" para un objeto. Este mecanismo de implementación fue mejorado por la arquitectura FLASK , sustituyendo estructuras complejas y relaciones implícitas. Además, la matriz de acceso TE original se extendió a otras estructuras: basadas en retículos, en historial, en entorno, lógica de políticas, etc. Esto es una cuestión de implementación de TE por parte de los distintos sistemas operativos. En SELinux, la implementación de TE no distingue internamente entre dominios y tipos de TE. Debe considerarse una debilidad del modelo original de TE la falta de especificación de aspectos de implementación detallados, como etiquetas y matrices, especialmente al usar los términos "dominio" y "tipos", que tienen otros significados más genéricos y ampliamente aceptados.

• PA Loscocco, SD Smalley, PA Muckelbauer, RC Taylor, SJ Turner y JF Farrell. La inevitabilidad del fallo: la errónea suposición de seguridad en los entornos informáticos modernos . En Actas de la 21.ª Conferencia Nacional sobre Seguridad de los Sistemas de Información, páginas 303-314, octubre de 1998.
• L. Badger, DF Sterne, DL Sherman, KM Walker y SA Haghighat, Un prototipo UNIX de aplicación de dominios y tipos , En Actas del 5º Simposio de Seguridad UNIX de USENIX, junio de 1995.
• WE Boebert y RY Kain, Una alternativa práctica a las políticas de integridad jerárquicas , En Actas de la 8ª Conferencia Nacional de Seguridad Informática, página 18, 1985.
• BLOQUEO - Un sistema informático de confianza