Ken Biba
Informático de MITRE que en 1977 formuló el modelo Biba, el modelo formal de seguridad centrado en la integridad y no en el secreto.
Los primeros modelos formales de seguridad, sobre todo Bell–LaPadula, trataban de guardar secretos: nadie debe leer hacia arriba ni escribir hacia abajo en la escala de clasificación. Biba planteó la pregunta contraria. Su informe de 1977 Integrity Considerations for Secure Computer Systems describía cómo proteger los datos contra su corrupción: un proceso no puede leer de niveles de integridad inferiores (no read down) ni escribir en niveles superiores (no write up).
El modelo es en esencia Bell–LaPadula puesto del revés, y precisamente por eso ambos no pueden aplicarse por completo en el mismo sistema. Sus ideas sobreviven en los niveles de integridad modernos, como el Mandatory Integrity Control de Windows.