Кен Биба
Специалист MITRE, в 1977 году сформулировавший модель Бибы — формальную модель безопасности для целостности, а не секретности.
Ранние формальные модели безопасности, и в первую очередь модель Белла — ЛаПадулы, были посвящены сохранению секретов: никто не должен читать выше и писать ниже по лестнице грифов. Биба задал противоположный вопрос. В отчёте 1977 года Integrity Considerations for Secure Computer Systems он описал, как защитить данные от искажения: процесс не может читать с более низких уровней целостности (no read down) и записывать на более высокие (no write up).
По сути, это модель Белла — ЛаПадулы, перевёрнутая вверх ногами, поэтому обе полностью реализовать в одной системе невозможно. Идеи живут в современных уровнях целостности, например в Windows Mandatory Integrity Control.