Bell–LaPadula模型

✍ dations ◷ 2025-09-12 04:13:49 #计算机访问控制,计算机安全模型

Bell-LaPadula模型 (BLP) 是一种状态机模型,用于在政府和军事应用中实施访问控制。它是由David Elliott Bell 和Leonard J. LaPadula在Roger R. Schell的指导下设计的,用于规范美国国防部 (DoD) 的多级安全 (MLS) 策略。该模型是计算机安全策略的形式状态转换模型,它利用访问主体和访问对象的安全等级来描述一系列访问控制规则。安全等级的范围从最敏感(如“最高机密”)到最不敏感(如“未分类”或“公开”)。

Bell-LaPadula模型是保护与安全之间没有明显区别的模型之一。

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

如果主体对对象的所有访问模式符合安全策略,则该系统的状态被定义为“安全”。为了确定是否允许特定的访问模式,系统需要将主体的许可权与对象的等级(更确切地说,数据等级和数据分隔的组合所构成的 )进行比较。这种许可/等级模式以术语“网格”表示。 该模型定义了一个自主访问控制 (DAC) 规则和两个强制访问控制 (MAC) 规则,具有三个安全属性:

在存在受信任主体的情况下,Bell-LaPadula模型可能会产生从高机密文档到低机密文档的信息流动。受信任主体不受*属性的限制,但必须证明其在安全策略方面是值得信任的。该安全模型针对访问控制,并被描述为:“下读,上写”。

在Bell-LaPadula模型中,用户只能在其自己的安全级别或更高的安全级别上创建内容(如,秘密研究人员可以创建秘密或绝密文件,但不能创建公共文件;不能下写)。相反,用户只能查看在其自己的安全级别或更低的安全级别的内容(如,秘密研究人员可以查看公共或秘密文件,但不能查看绝密文件;不能上读)。


相关

  • 企鹅企鹅属于企鹅目(学名:Sphenisciformes)企鹅科(Spheniscidae),是一种不会飞的鸟类。主要生活在南半球,目前已知全世界的企鹅共有19种,另有两种已灭绝。多数分布在南极地区,而其中环企
  • 大红斑大红斑(英语:Great Red Spot,缩写简称GRS)是一个在木星赤道以南22°存在很久的巨大反气旋风暴。自1830年开始,已经被持续观测了189年。但在1665年-1713年间已有观察的纪录,也有可
  • 元素丰度化学元素丰度(英语:Abundance of the chemical elements)是在测量上与所有元素相比较所得到含量多寡的比值。丰度可以是质量的比值或是莫耳数(气体的原子数量比值或是分子数量
  • 支仓常长支仓六右卫门常长(一般称为支仓常长,欧洲当时译为Faxikura;1571年-1622年)是日本仙台藩大名伊达政宗的家臣、藩士,1613年率领使节团造访墨西哥、欧洲等地,1620年返回日本。他是最早
  • 比利时王国– 欧洲(绿色及深灰色)– 欧盟(绿色)布鲁塞尔b比利时王国(荷兰语:Koninkrijk België;法语:Royaume de Belgique;德语:Königreich Belgien;英语:Kingdom of Belgium),通称比利时,西欧国
  • 东南地区BBC东南(BBC South East)是英国广播公司(BBC)在英格兰的一个播出地区,播出范围包括了肯特郡和萨塞克斯郡。和ITV子午线不同的是,BBC东南不在埃塞克斯郡南部播出。BBC东南制作地方
  • 铭印铭印,又称印记、印迹、印随或印痕。在行为生物学中指的是一种不可逆的学习模式:通常在一段比较短的,由基因决定的时期里(敏感时期),环境的刺激会被长久地植入个体的行为中,后来看来
  • 萨萨克人印尼西努沙登加拉省龙目岛萨萨克人(英文:Sasaks)是印尼的民族,主要居住于小巽他群岛的龙目岛上。使用萨萨克语及印尼语,属于南岛语系马来-波利尼西亚语族的巴里-萨萨克-松巴哇语
  • 法显洞法显洞是一个位于斯里兰卡西部省卡卢特勒区的一个洞穴。中国僧人法显曾于西元五世纪时停留斯里兰卡。据说法显曾在此洞穴中停留,故此洞穴名为法显洞。法显洞是一个重要的考古
  • 沙米尔·巴萨耶夫沙米尔·萨尔玛诺维奇·巴萨耶夫(俄语:Шамиль Салманович Басаев,1965年1月14日-2006年7月10日):车臣陆军将领,车臣独立运动领导人。巴萨耶夫1965年生于车臣