信息系统安全理论与技术：完整性保护PPT教学课件.pptx

《信息系统安全理论与技术》

第7章完整性保护;本章内容;完整性的定义;四川大学生“黑客”修改成绩;中专生编程制作外挂牟取暴利;完整性保护的任务;7.1.1毕巴完整性模型;完整性支配关系;贝尔-拉普杜拉访问控制模型（BLP）;概念——信息传递路径;写和执行规则;读规则;（1）低水标模型的读规则;关于信息传递路径的定理;（2）环模型的读规则;（3）严格完整性模型的读规则;由于i(S)≤i(O)，iafter=min(i(S)，i(O))=i(S)。

所以该模型隐含实施了低水标模型的读规则。

一般毕巴模型指的是毕巴严格完整性模型。;7.1.2克拉克-威尔逊模型;关于事务的示例