Bell–LaPadula模型

✍ dations ◷ 2025-04-03 13:33:07 #计算机访问控制,计算机安全模型

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


相关

  • 抗辐射奇异球菌抗辐射奇异球菌(学名:Deinococcus radiodurans)是一种对辐射有免疫力的嗜极生物,可以承受能杀死人类3000倍和蟑螂无法抵抗的15倍辐射。
  • 乔治·斯托克斯乔治·加布里埃尔·斯托克斯爵士,第一代从男爵,FRS(英语:Sir George Gabriel Stokes, 1st Baronet,1819年8月13日-1903年2月1日),爱尔兰数学家和物理学家,就读和任教于剑桥大学,主要贡
  • Hsub2/subSOsub5/sub过氧一硫酸,也称为过氧硫酸、过硫酸,化学式H2SO5,无色固体,熔点45°C。这种酸中硫的氧化态为VI,可以表示为HO-O-S(O)2-OH。虽然已经制得了过一硫酸的苯甲酰衍生物,但过一硫酸却是
  • 甘油酯甘油酯也称为酰基甘油,是甘油和脂肪酸形成的酯类。甘油有三个羟基官能基,可以和一个、二个及三个脂肪酸进行酯化反应,形成的甘油酯分别是单酸甘油酯(英语:Monoglyceride)、二酸甘
  • 获执政权直皖战争,发生于1920年7月14日,是直系曹锟与皖系段祺瑞为争夺北京政府统治权,在京津地区的对抗。当时曹锟为地方军区负责人,段祺瑞为民国政府“边防督办”,从法律上来说,直皖战争
  • 西门子Inspiro西门子Inspiro是一款由西门子铁路系统(原西门子交通集团)在2012年设计的电力动车组,适用于地铁系统。该产品于2012年9月19日在柏林的InnoTrans发布。2013年10月6日,第一批Inspir
  • 蒂罗尔州蒂罗尔州(德语:Tirol,意大利语:Tirolo)是位于奥地利共和国西部的一个州。蒂罗尔州是一个多山的地区,它西邻福拉尔贝格州,东接萨尔茨堡州和克恩滕州。蒂罗尔州被萨尔茨堡州分成了两
  • 罗泊河苗语罗泊河次方言是苗语川黔滇方言的一支,使用这个次方言的苗族约有5万多人,居住于贵州省中部落北河流域一带。罗泊河次方言只有三至四个声调,为苗瑶语言中最少。除此之外,罗泊
  • 续随子 (大戟属)续随子(学名:),又称千金子,为大戟科大戟属下的一个种。
  • 夏尔扎·扎西坚赞夏尔扎·扎西坚赞(藏语:.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring",