Der Begriff Biba ist ein sehr streng formalisiertes Sicherheitsmodell für den Zugang von Subjekten zu Objekten, das aus den 1970er Jahren stammt und nach seinem Autor benannt ist.
Das Biba-Modell konzentriert sich in erster Linie auf die Integrität von Objekten, wofür seine beiden Hauptregeln “no read down” und “no write up” verantwortlich sind.