布鲁尔-纳什模型

✍ dations ◷ 2025-06-07 11:47:20 #电脑安全

布鲁尔-纳什模型(英语: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')}

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

相关

  • 流体静力学流体静力学(Hydrostatics)是连续介质力学的分支学科流体力学的子学科。流体静力学研究流体(诸如气体和液体)静止时的现象以及相关力学行为的科学。这样的现象和行为可以用数学表
  • 卡洛林文艺复兴卡洛林文艺复兴(Carolingian Renaissance),发生在公元8世纪晚期至9世纪的卡洛林王朝,由查理曼及其后续者在欧洲推行的文艺的复兴运动,主要的进步在文学、艺术、宗教典籍、建筑、
  • 类型水体(英语:body of water或waterbody) 是一个译自英文的外来词,指各种明显具水的累积之处;通常位于地表或其他星球。水体一词,通常指的是较多水所累积之处,例如河海湖泊等,但也可指
  • 图坦卡蒙图坦卡蒙(英语:Tutankhamun,埃及语:twt-ˤnḫ-ı͗mn,IPA: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode
  • 计算机 (消歧义)计算机可以指:
  • 女同志乌托邦女同性恋乌托邦(Lesbian utopia)是一个想像的群体国度,这个国度中完全没有男性而只有女性,而在任何事务也都不需依赖男性。这一个纯女性国度概念的源起,是出于希腊神话中的亚马逊
  • Hydrogenase氢化酶(英语:Hydrogenase)是一种可以可逆地催化氢气氧化还原的酶,如下方程式:式(1)是氢气的氧化过程,Aox为电子受体,即氧化剂,如氧气、硝酸根、硫酸根、二氧化碳、富马酸等等;式(2)是质
  • 2013年伊朗总统选举马哈茂德·艾哈迈迪内贾德 伊斯兰伊朗建设者联盟哈桑·鲁哈尼 战斗教士协会2013年伊朗总统选举是伊朗伊斯兰共和国第11届总统选举,于2013年6月14日星期五举行。本次选举报名
  • 布赖恩·科比尔卡布莱恩·科比尔卡(英语:Brian Kobilka,1955年5月30日-),美国斯坦福大学医学院分子和细胞生理学教授和博士。他也是ConfometRx,一家专注于G-蛋白偶联受体的生物技术公司的共同创办人
  • 匹兹堡协议《匹兹堡协定》,是一份是美国境内的捷克与斯洛伐克侨民社区成员间达成的谅解备忘录。该协定于1918年5月31日完成,以协议地宾州匹兹堡命名的。协议规定了共同签署者建立独立的