据完整性保护规则的Biba完整性模型不同，Bell-LaPadula模型侧重于数据的保密性和对机密信息的受控访问。在该模型中，信息系统中的实体分为主体和对象。模型定义了“安全状态”的概念，并且证明了每个状态转换都是从一个安全状态转移到另一个安全状态，从而归纳证明了该系统满足了模型的安全性要求。Bell-LaPadula模型基于状态机的概念，该状态机在一个计算机系统中具有一组允许的状态，并且从一个状态到另一种状态的转换由状态转移函数定义。如果主体对对象的所有访问模式符合安全策略，则该系统的状态被定义为“安