布鲁尔-纳什模型

✍ dations ◷ 2025-06-29 06:22:43 #电脑安全

布鲁尔-纳什模型(英语:Brewer and Nash model)是一种提供动态变更可存取控制以及资讯安全的架构。这个资讯模式又称为“中国长城模式”(Chinese wall model),建立成资讯流模型,是为了降低商业组织的利益冲突。

在布鲁尔-纳什模型中,区隔了会产生利益冲突的主体(subject)和对象(object)。

S {\displaystyle S} 模式表示主体,例如,在一家咨询公司工作的顾问;而 O {\displaystyle O} 表示受保护的对象,例如,银行或公司的敏感文件。

布鲁尔-纳什模型是一个存取矩阵。 M t : S × O 2 R {\displaystyle M_{t}:S\times O\rightarrow 2^{R}} r R {\displaystyle r\in R} 表示权力, s S {\displaystyle s\in S} 表示主体, o O {\displaystyle o\in O} 表示对象, t {\displaystyle t} 表示时间。这是表示布鲁尔-纳什模型的方式: R = { r e a d , w r i t e , e x e c u t e } {\displaystyle R=\{read,write,execute\}}

另外,当我们考虑存取历史, 提供 N t : S × O 2 R {\displaystyle N_{t}:S\times O\rightarrow 2^{R}} ,成立时, N t ( s , o ) = { r 1 , , r n } {\displaystyle N_{t}(s,o)=\{r_{1},\ldots ,r_{n}\}} ,如果时间 t < t {\displaystyle t'<t} , 主体 s {\displaystyle s} 有对象 o {\displaystyle o} 的权限 r 1 , , r n {\displaystyle r_{1},\ldots ,r_{n}} 可以读取。

对象被架构在三层的对象树:保护的对象是树的叶子,保护对象的父节点代表的公司或部门,其中包括对象。对对象 o {\displaystyle o} 被承诺、分配到 y ( o ) {\displaystyle y(o)} ,反过来说,公司有一个父节点,有利益冲突,对一个给定的对象 x ( o ) {\displaystyle x(o)} 。直观地说,这意味着如果这两家公司 A 和 B 在相同的权益类别,而不是与有敏感信息(对象)相同主体时,A 和 B 也可能遇到同一类别的同一冲突。

此外,它标志着所有主体应该公开的对象,与 y 0 {\displaystyle y_{0}} 对这些主体根据 x 0 = { y 0 } {\displaystyle x_{0}=\{y_{0}\}} 利益类别定义冲突。

现在系统相关的存取限制已经定义,所以:

第一条规则,如果主体接收和读取一个对象 o {\displaystyle o} 的阅读规则状态,如果主体读取访问对象和所有对象已经套用(任何法律)读取规则了,那他们就是公开的,它们都属于同一家公司 o {\displaystyle o} 分配或任何其他利益冲突的同一类别 o {\displaystyle o} 。在形式上,这意味着

r e a d M t ( s , o ) o O : N t ( s , o ) y ( o ) = y 0 y ( o ) = y ( o ) x ( o ) x ( o ) {\displaystyle read\in M_{t}(s,o)\wedge \forall o'\in O:N_{t}(s,o')\neq \emptyset \rightarrow y(o')=y_{0}\vee y(o)=y(o')\vee x(o)\neq x(o')}

如果只透过阅读规则,并不能排除不必要的资讯流。

也就是说,有可能一个主体 s 1 {\displaystyle s_{1}} 读存一个对象 o 1 {\displaystyle o_{1}} 和写不同于 o 1 {\displaystyle o_{1}} 利益类型冲突的对象 o 3 {\displaystyle o_{3}} 。第二个主体 s 2 {\displaystyle s_{2}} 现在可以优先存取对象 o 2 {\displaystyle o_{2}} ,这是和对象 o 1 {\displaystyle o_{1}} 同一类型的利益冲突,因为这一间公司也是前一间公司的子公司。现在, s 2 {\displaystyle s_{2}} 可以借由非法阅读 o 3 {\displaystyle o_{3}} 获得 y ( o 1 ) {\displaystyle y(o_{1})} 的内幕知识,因为 o 3 {\displaystyle o_{3}} o 1 {\displaystyle o_{1}} 的内容相同。

要预防这种情况的资讯流,我们定义下面的重写规则,其中,如果一个主体接收和读写一个对象 o {\displaystyle o} ,如果它有读取 o {\displaystyle o} 的权限,如果任何对象已申请的主体已经是只有读取的权限,适用于公开的公司或相同于其他被分配的 o {\displaystyle o} 。在形式上,这意味着

w r i t e M t ( s , o ) o O : r e a d N t ( s , o ) y ( o ) = y 0 y ( o ) = y ( o ) {\displaystyle write\in M_{t}(s,o)\wedge \forall o'\in O:read\in N_{t}(s,o')\vee y(o')=y_{0}\vee y(o)=y(o')}

此规则如此贴切的描述实际案例,一个主体对另一个竞争对手传递关于其他利益类别冲突的内幕资讯。

相关

  • 棘皮动物棘皮动物门(学名:Echinodermata)是动物界的一门。这个门从寒武纪出现,总共有2万左右的种类,现生种约7000种。除现生5纲外,另有15纲之多,皆为海生动物,无陆生和淡水种类。常见的海胆
  • 机师飞行员(英语:pilot)或称飞机师。是指出于职业或非盈利性需要(例如:娱乐)驾驶航空器的人员。在民用航空领域,除满足特定要求的情况外,各国民航当局一般都要求航空器驾驶员需持有相应
  • 黑洞黑洞(英语:black hole)是时空展现出引力的加速度极端强大,以至于没有粒子,甚至电磁辐射,像是光都无法逃逸的区域。广义相对论预测,足够紧密的质量可以扭曲时空,形成黑洞;不可能从该区
  • 环戊二烯环戊二烯(cyclopentadiene),或称茂,是五个碳的环状二烯烃,分子式为C5H6。环戊二烯室温下为无色液体,具有强烈的刺激性气味,并且通过自身狄尔斯-阿尔德反应迅速聚合生成二聚环戊二烯
  • 美利坚邦联美利坚联盟国(英语:the Confederate States of America,CSA),或称美利坚诸州同盟、美利坚邦联或迪克西(通俗说法),是自1861年至1865年由11个美国南方蓄奴州宣布从美利坚合众国分裂而
  • Foraminifera见内文有孔虫门(学名:Foraminifera),为变形虫状原生生物的大分类。它们拥有的网状假足及幼细线状细胞质会分散及融合而形成动态的网,它们会形成有一个或多个室的外壳,部分在结构上
  • 澳门市政署市政署(葡萄牙语:Instituto para os Assuntos Municipais,缩写:I.A.M.)是澳门特别行政区政府在2019年1月1日成立,统管民政及市政事务的非政权性市政机构。市政署承袭了大部分民政
  • 大满贯大满贯(英语:Grand Slam)原本是桥牌术语,意为赢得一局中所有的叫牌,而中文译名则来自麻将术语。大满贯也可以指:
  • Ka/Ks在遗传学中,Ka/Ks或者dN/dS表示的是异义替换(Ka)和同义替换(Ks)之间的比例。这个比例可以判断是否有选择压力作用于这个蛋白质编码基因。异义替换导致氨基酸的改变,而同义替换由于
  • 阿道夫·华格纳阿道夫·华格纳(德语:Adolph Wagner 1835年3月25日-1917年11月8日),德国经济学家和政治家,是社会主义经济学和公共财政学先驱,主张平均地权论,解释政府支出成长的华格纳法则以他的名