”）。Bell-LaPadula模型是保护与安全之间没有明显区别的模型之一。 
特征.与描述了数据完整性保护规则的Biba完整性模型不同，Bell-LaPadula模型侧重于数据的保密性和对机密信息的受控访问。在该模型中，信息系统中的实体分为主体和对象。模型定义了“安全状态”的概念，并且证明了每个状态转换都是从一个安全状态转移到另一个安全状态，从而归纳证明了该系统满足了模型的安全性要求。Bell-LaPadula模型基于状态机的概念，该状态机在一个计算机系统中具有一组允许的状态