Bell–LaPadula模型

✍ dations ◷ 2025-07-05 09:36:35 #计算机访问控制,计算机安全模型

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


相关

  • 菜籽固醇菜籽固醇(英语:Brassicasterol,简称BR, 又称为5,22-二烯-24S-甲基-3β-胆固醇、5,22-二烯-麦角甾-3β-醇、菜籽甾醇)是一种由一些单细胞藻类(浮游植物)以及某些陆生植物(如油菜)合成
  • 阿拉伯海阿拉伯海(阿拉伯语:بحر العرب‎)为印度洋的一部分。位于亚洲南部的阿拉伯半岛同印度半岛之间。北部为波斯湾和阿曼湾,西部经亚丁湾通红海。面积为386万平方公里。为世界
  • 声源音源,即为音的发生源。常见的音源包括:硬件音源,呈现方式以合成器、电子琴、电子管风琴、之类的电子乐器最为常见,硬件内置音源规格,拥有庞大的声库,最杰出音色采样,市面上的电子游
  • 芬斯特瓦山芬斯特拉峰(Finsteraarhorn,4274米),属瑞士阿尔卑斯山脉部分伯尔尼阿尔卑斯山脉中的最高峰。芬斯特拉峰首次登顶者长期存在一些争议。Johann Rudolf Meyer声称与登山导游 Arnold
  • 小寒 (填词人)小寒(?-)是当今华语流行乐坛中一位女填词人,来自新加坡,为许多畅销歌手如陈奕迅、林俊杰、林忆莲、蔡健雅、方大同、蔡依林、孙燕姿、EXO等填词。自1998年起,小寒便以细腻的手法与
  • 完美丈夫 (印尼电影)《完美丈夫》(英文:The Perfect Husband),2018年发行的印尼爱情电影。Ayla是个青春洋溢的女高中生,并热爱着摇滚音乐,而她的男友Aldo就是个摇滚乐手。有天一个自称Arsen的机师,闯进
  • 佟明涛佟明涛(1954年9月-)是中华人民共和国外交官,原南南合作促进会副会长。辽宁省临城人。1977年至1979年在荷兰王国莱顿大学进修。1979-1982年:驻荷兰王国大使馆职员;1982-1983年:中华
  • 利兹 (阿拉巴马州)利兹(英语:Leeds)是美国阿拉巴马州下属的一座城市。面积约为22.86平方英里(约合 59.21平方公里)。根据2010年美国人口普查,该市有人口11,773人,人口密度为514.94/平方英里(约合198.8
  • 姜仙祐姜仙祐(朝鲜语:강선우/姜仙祐 ,1978年6月2日-),大韩民国自由派政治人物,第21届国会议员。
  • 吕锦花吕锦花(1909年3月10日-1981年10月30日),湾台北州海山郡土城庄(今新北市土城区)人,半山人士,女权运动者,有“养女之母”的称呼。1909年3月10日生。生于台北州海山郡土城庄,自小就被富商