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