ppt课件1.68MB-信息安全研究实验室.ppt

第11讲完整性安全模型第8章：;本讲内容主题：完整性安全模型教;完整性的定义实体的完整性：实体;完整性保护的任务通过访问控制，;毕巴完整性模型的提出毕巴（K.;完整性支配关系 对于任意两个;信息传递路径 O1 O2;写和执行规则当且仅当 i(O);低水标模型的读规则设iafte;关于信息传递路径的定理在毕巴低;环模型的读规则不管完整性级别如;严格完整性模型的读规则当且仅当;克拉克-威尔逊模型的提出克拉克;关于事务的示例 ;良构事务的定义如果一个事务使系;约束数据项的定义在系统中，处于;事务类型的定义在克-威模型中，;规则类型的定义在克-威模型中，;克-威模型的规则概貌;C1和C2规则规则C1：IVP;E1、E2和E3规则规则E1：;C3和C4规则规则C4：必须证;规则E4：只有有权对某实体（如;莫科尔树模型的提出哈希树模型（;关于莫科尔及莫科尔树论文：A ;The ACM Kanella;The IEEE Koji K;Kanellakis Ko;哈希函数单向函数y = h(x;基于哈希运算的完整性度量假设 ;哈希树--莫科尔树二叉树：用于;一棵哈希树h：哈希函数D1、D;莫科尔树模型的完整性验证D：给;完整性验证递归函数h：哈希函数;递归函数应用示例（1/4）假设;递归函数应用示例（2/4）获取;递归函数应用示例（3/4）涉及;递归函数应用示例（4/4）必备;完整性验证路径定义：根节点f(;验证路径及完整性数据项D5的完;wenchang@ruc.ed