Bell–LaPadula模型

✍ dations ◷ 2025-02-24 00:54:17 #计算机访问控制,计算机安全模型

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


相关

  • 地方分权制地方分权,“中央集权”的对称:1380。也就是权力的去中心化,是国家权力依法由中央政府和地方政府分别行使的制度。国家权力的一部分归地方政府行使的制度:1380。权力分散特指职
  • 弗里德里希·奥古斯特一世 (萨克森国王)弗里德里希·奥古斯特一世(Friedrich August I,1750年12月23日-1827年5月5日),全名弗里德里希·奥古斯特·约瑟夫·玛利亚·安东·约翰·奈波穆克·阿洛易斯·克萨威尔(Friedrich
  • 乳糜管乳糜管是可以吸收小肠肠绒毛中饮食脂肪的淋巴毛细血管(英语:Lymph capillary)。甘油三酯通过脂肪酶、胆汁和水解乳化,产生脂肪酸、甘油二酯和甘油单酯(英语:Monoglyceride)的混合物
  • 克里斯托佛·克拉乌克里斯托佛·克拉维斯(Christopher Klau/Clavius,1538年3月25日-1612年2月12日),从拉丁荣号译名“克拉维”(-us只是形态词尾),由于其姓氏之原义为钉子,其弟子利玛窦译其著作时皆标为
  • 阿塔卡马沙漠阿塔卡马沙漠(西班牙语:desierto de Atacama;又译亚他加马沙漠),是南美洲西海岸中部的沙漠地区,在安第斯山脉和南太平洋岸之间南北绵延约600英里(近1000公里),总面积约为70,000平方英
  • 数字千年版权法数字千年版权法(英语:Digital Millennium Copyright Act, DMCA)是一个美国著作权法律,它实现了两个世界知识产权组织(WIPO)在1996年通过的条约。它以刑事犯罪立法的形式禁止了受著
  • 宝拉·阿巴杜宝拉·阿巴杜(Paula Julie Abdul,1962年6月19日-) 是一名美国创作歌手、编舞、舞者、演员和电视通告艺人。宝拉·阿巴杜在1988年发行首张专辑后,旋即成为全美家喻户晓的大明星,声
  • 奥托·内尔茨奥托·内尔茨(德语:Otto Nerz,1892年10月21日-1949年04月19日),已故德国前足球运动员及主教练。他曾于1923年至1936年担任德国国家足球队历史上的第一任主教练,期间率队参加了1928
  • 拜伦·科拉梅拜伦· "巴内"· 科拉梅 (于1939年4月14日在美国密苏里州的阿普灵顿城出生)是一位美国记者。他在华尔街日报任职39年,并在2004年以副编辑主管的职位退休。2005年,他成为了
  • Hudson (软件)Hudson是用Java编写的一个持续集成(CI)工具。它运行在Servlet容器中(例如Apache Tomcat、GlassFish)。它支持软件配置管理(SCM)工具(包括CVS、Subversion、Git、Perforce(英语:Perfor