布鲁尔-纳什模型

✍ dations ◷ 2025-04-04 11:06:24 #电脑安全

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

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

相关

  • 形式系统在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
  • 土木土木工程(civil engineering),在中国大陆原先翻译为“公民建”(公用与民用建筑),是指一切和土、木有关的基础建设的计划、建造和维修。现时一般的土木工作项目包括:能源、水利及交
  • 医患关系医患关系、医病关系(英文:Doctor-Patient Relationship)是指医生和病人之间的互动,在现代医学伦理的概念中,是医生与病人之间的信赖合作之基础。大多数医生从实习开始,甚至是进入
  • 拉瓦节安托万-洛朗·德·拉瓦锡(法语:Antoine-Laurent de Lavoisier,1743年8月26日-1794年5月8日),法国贵族,著名化学家、生物学家,被后世尊称为“近代化学之父”。他使化学从定性转为定量
  • 国泰金控国泰金融控股公司(英语:Cathay Financial Holdings Co., Ltd.,台证所:2882,简称:国泰金控),为台湾的金融控股公司,为霖园集团的核心公司。现今总资产更高达近10兆新台币,是台湾第一大
  • 澳门博物馆澳门博物馆(葡萄牙语:Museu de Macau , 英语:Macao Museum),是展示澳门历史及民俗的城市博物馆。澳门博物馆位于澳门市中心的古迹大炮台上,由葡萄牙建筑师马锦途所设计,于1996年9月
  • PGM-11红石导弹PGM-11红石(Redstone)导弹是美国陆军第一种中程弹道导弹,也是美国第一种以德国V2火箭技术为核心发展的液态火箭。除了军事上的用途以外,红石导弹同时也在美国太空计划中提供重大
  • 谢尔盖·科萨科夫谢尔盖·谢尔盖耶维奇·科萨科夫(俄语:Серге́й Серге́евич Ко́рсаков,1854年1月22日-1900年5月1日),俄国神经学家。毕业于莫斯科国立大学,曾经访问维也
  • 何元国何元国(1966年-)武汉大学历史学院教授,博士生导师。1966年出生于湖北应城,1989年获得山东大学历史学学士,1996年获得北京大学历史学硕士,2005年获得北京师范大学历史学博士,师从刘家
  • 甲基烯丙基硫醚3-甲硫基-1-丙烯甲基烯丙基硫醚(英语:Allyl methyl sulfide,简称AMS,化学式C4H8S)是一种有机硫化合物,结构简式为CH2=CHCH2SCH3。这个分子中含有两个官能团:一个烯丙基(结构简式CH2=