Modelo Biba

El modelo Biba o modelo de integridad Biba, desarrollado por Kenneth J. Biba en 1977, ^{[ 1 ]} es un sistema formal de transición de estados de política de seguridad informática que describe un conjunto de reglas de control de acceso diseñadas para garantizar la integridad de los datos . Los datos y los sujetos se agrupan en niveles ordenados de integridad. El modelo está diseñado para que los sujetos no puedan corromper datos de un nivel superior al del sujeto, ni ser corrompidos por datos de un nivel inferior al del sujeto.

En general, el modelo se desarrolló para abordar la integridad como principio fundamental, lo cual es lo opuesto al modelo Bell-LaPadula, que se centra en la confidencialidad. ^{[ 2 ] : 35}

En general, la preservación de la integridad de los datos tiene tres objetivos:

• Impedir la modificación de datos por parte de terceros no autorizados.
• Impedir la modificación no autorizada de datos por parte de terceros autorizados.
• Mantener la coherencia interna y externa (es decir, que los datos reflejen el mundo real).

Este modelo de seguridad se centra en la integridad de los datos (en lugar de la confidencialidad ) y se caracteriza por la frase: «leer hacia arriba, escribir hacia abajo». Esto contrasta con el modelo Bell-LaPadula, que se caracteriza por la frase «leer hacia abajo, escribir hacia arriba».

En el modelo Biba, los usuarios solo pueden crear contenido igual o inferior a su nivel de integridad (un monje puede escribir un libro de oraciones que puedan leer los plebeyos, pero no uno que deba leer un sumo sacerdote). Por el contrario, los usuarios solo pueden ver contenido igual o superior a su nivel de integridad (un monje puede leer un libro escrito por el sumo sacerdote, pero no puede leer un panfleto escrito por un plebeyo). Otra analogía a considerar es la de la cadena de mando militar . Un general puede escribir órdenes a un coronel, quien puede transmitirlas a un mayor. De esta forma, las órdenes originales del general se mantienen intactas y la misión militar se protege (de ahí la integridad "ascendente"). Por el contrario, un soldado raso nunca puede dar órdenes a su sargento, quien nunca puede dar órdenes a un teniente, protegiendo así también la integridad de la misión ("descendente").

El modelo Biba define un conjunto de reglas de seguridad, las dos primeras de las cuales son similares al modelo Bell-LaPadula . Estas dos primeras reglas son el inverso de las reglas Bell-LaPadula:

1. La propiedad de integridad simple establece que un sujeto con un nivel de integridad determinado no debe leer datos con un nivel de integridad inferior ( no se permite la lectura descendente ).
2. La propiedad de integridad * (estrella) establece que un sujeto con un nivel de integridad determinado no debe escribir en datos con un nivel de integridad superior ( no escribir hacia arriba ). ^{[ 3 ]}
3. La propiedad de invocación establece que un proceso de nivel inferior no puede solicitar acceso a un nivel superior; solo con sujetos de igual o menor nivel.

• En FreeBSD , el modelo Biba se implementa mediante la política MAC mac_biba. ^{[ 4 ]}
• En Linux , el modelo Biba está implementado en el sistema operativo PitBull de General Dynamics Mission Systems.
• En XTS-400 , el modelo Biba está implementado en el sistema operativo XTS-400 de BAE Systems.

• Control de acceso discrecional – DAC
• Modelo de Graham-Denning
• Control de acceso obligatorio – MAC
• Seguridad multinivel – MLS
• Linux con seguridad mejorada
• Modos de operación de seguridad
• modelo de protección de subvenciones
• Modelo de Clark-Wilson
• Modelo de Bell-LaPadula

• Presentación de PowerPoint sobre "Políticas de Integridad" de la Universidad de Colorado en Colorado Springs.