Ken Biba
Informatiker bei MITRE, der 1977 das Biba-Modell formulierte – das formale Sicherheitsmodell für Integrität statt Geheimhaltung.
Die frühen formalen Sicherheitsmodelle, allen voran Bell–LaPadula, drehten sich ums Geheimhalten: Niemand soll in einer Geheimhaltungshierarchie nach oben lesen oder nach unten schreiben. Biba stellte die umgekehrte Frage. Sein Bericht Integrity Considerations for Secure Computer Systems von 1977 beschrieb, wie sich Daten stattdessen vor Verfälschung schützen lassen: Ein Prozess darf nicht von niedrigeren Integritätsstufen lesen (no read down) und nicht in höhere schreiben (no write up).
Das Modell ist im Kern ein auf den Kopf gestelltes Bell–LaPadula, weshalb sich beide auf demselben System nie vollständig gleichzeitig durchsetzen lassen. Die Ideen leben in modernen Integritätsstufen wie der Windows Mandatory Integrity Control fort.