第四章多级安全数据模型1.pptVIP

4.3 Jajodia-Sandhu模型——多级关系分解与恢复算法 高安全级用户 低安全级用户 可信前端TFE 可信前端TFE 可信操作系统 高安全级DBMS进程 低安全级DBMS进程 高安全级数据库分片 低安全级数据库分片 集中式体系结构示意图 4.3 Jajodia-Sandhu模型 ——多级关系分解与恢复算法 . 分解: 对于每个多级关系模式: R(A1, C1, ……, An, Cn, TC)分解是: 单级基关系Dc(A1, C1, ……, An, Cn)的集合。每个安全级c上有一个关系; ——元组安全级是c的元组集合 4.3 Jajodia-Sandhu模型 ——c级别用户的查询 . c 级别的用户查看到的实例: c-用户总是看到并与c-实例Rc交互 . c级别的用户更新(插入、修改、删除): 元组就会被加入到Dc、修改或者删除Dc。 . c-用户发出更新时，Dc被修改，而在其他Dc’, c’≠c中没有变化 . Rc的改变必须正确地反映到Rc’c(并且在Dc’c)，这是在恢复的过程中完成的(对c’≤c的Dc’的集合并运算) ——INSERT、UPDATE和DELETE处理时，实施分解算法 4.3 Jaj