ケン・ビーバ
MITREのコンピュータ科学者で、1977年に、機密性ではなく完全性のための形式的セキュリティモデルであるBibaモデルを定式化した人物。
初期の形式的セキュリティモデル、とりわけベル＝ラパデュラは秘密を守るためのものだった。機密区分の階段を、誰も上方向に読んだり下方向に書いたりしてはならない。ビーバは逆の問いを立てた。1977年の報告書『Integrity Considerations for Secure Computer Systems』では、データを破損から守る方法が示された。プロセスは低い完全性レベルから読んではならず（no read down）、高いレベルへ書いてもならない（no write up）。
このモデルは本質的にベル＝ラパデュラを上下逆にしたもので、だからこそ両者を同じシステムで完全に強制することはできない。その考え方は、WindowsのMandatory Integrity Controlなど現代の完全性レベルに受け継がれている。