第8章 分布式数据库的安全性.ppt

发展历史 D.E.Bell和 L.J.La Padula 于1973年模拟军事安全策略创建的计算机系统安全模型, 74年改进, 76年用于Multics操作系统 形式化定义 状态机模型 它形式化定义了模型中的概念，证明了其中的定理和结论，并表明系统可通过数学推导证明其自身的安全性 系统状态 状态v ?V ， V=(B? M ? F ? H) B:当前存取集, B ? (S ? O ? A) ,S: 主体集; O: 客体集 ;A: 访问方式集合, 有Read(R), Write(W), Execute (E), Append (A) 2.3 多级安全BLP模型 2 安全数据模型与多级安全数据库 存取控制矩阵 M= m11 … m1n mn1 … mnn …. mij ? A 表示Si主体对客体Oj的访问权集 F: 安全级函数,有三个分量 Fn：主体最大安全级函数 Fc：主体当前最大安全级函数 Fo：客体安全级函数 H: 当前客体层次结构 H(O): 以O为根的树中客体集合 2.3 多级安全BLP模型 2 安全数据模型与多级安全数据库 状态转换 规则? : R ? V D ? V R ? V :系统中给请求定义的请求-状态对集合 D ? V :系统中给请求定义的