Sistema formal de transición de estados de política de seguridad que describe un juego de reglas de control de acceso diseñadas para asegurar que los datos no están contaminados. Supone una separación en niveles de integridad (análogo a los niveles de seguridad) con una relación ordenada. Los objetos son asignados a clases de integridad de acuerdo al daño que sufrirían si fueran modificados de manera inapropiada, y los usuarios asignados a clases de integridad basados en su veracidad.
Fue desarrollado por Kenneth .J. Biba.
