ppt课件656KB-信息安全研究实验室.ppt

第13讲基于安全CPU的完整性保护 第8章：系统完整性保护 第3部分/共4部分 本讲内容 主题：基于安全CPU的完整性保护 教材内容： 第8.4节：基于安全中央处理器的完整性 模型研究背景 AEGIS—基于安全CPU的完整性模型 2003：麻省理工学院（MIT）：G.E. Suh、D. Clarke、B. Gassend、M. van Dijk、S. Devadas 假定：惟有CPU可信，其它所有的硬件和软件（包括内存和操作系统在内）均不可信。 关联 AEGIS安全引导模型 1997：宾夕法尼亚大学 基本思路和目标 主要对象 进程的完整性 基础 普通中央处理器 增加安全处理单元 提供进程完整性验证功能 目标 发现或防止可能影响进程行为的篡改事件 物理手段的篡改 软件手段的篡改 进程完整性的体现（1/5） 进程的完整性： 在初始状态中的完整性 在中断过程中的完整性 呈现于存储介质时的完整性 输出结果的完整性 完整性验证方法： 指纹法（哈希值法） 进程模式： 普通模式 篡改响应模式 进程完整性的体现（2/5） 进程的完整性： 在初始状态中的完整性 在中断过程中的完整性 呈现于存储介质时的完整性 输出结果的完整性 完整性验证方法： 指纹法（哈希值法） 进程模式： 普通模式 篡改响应模式 进程完整性的体现（3/5） 进程的完整性： 在初始状态中的完整性 在中断过程中的完整性 呈现于存储介质时的完整性 输出结果的完整性 完整性验证方法： 指纹法（哈希值法） 进程模式： 普通模式 篡改响应模式 进程完整性的体现（4/5） 进程的完整性： 在初始状态中的完整性 在中断过程中的完整性 呈现于存储介质时的完整性 输出结果的完整性 完整性验证方法： 指纹法（哈希值法） 进程模式： 普通模式 篡改响应模式 例：读信息与验证 问： 进程A在篡改响应模式下欲读 虚拟地址ADD1中的数据 虚拟地址ADD2中的数据 已知： ADD1的最高位 = 1 ADD2的最高位 = 0 读ADD1和ADD2中的数据时的区别？ 答： 读虚拟地址ADD1时：验证 读虚拟地址ADD2时：不验证 进程完整性的体现（5/5） 进程的完整性： 在初始状态中的完整性 在中断过程中的完整性 呈现于存储介质时的完整性 输出结果的完整性 完整性验证方法： 指纹法（哈希值法） 进程模式： 普通模式 篡改响应模式 AEGIS模型系统结构原理 添加的安全支持单元： 密码运算单元 完整性验证单元 安全环境管理单元 安全环境管理表 完整性验证单元 完整性验证单元： 验证片外存储介质中的进程信息（包括代码和数据）的完整性 针对虚拟地址空间 基于莫科尔树实施完整性验证 例：读虚拟空间中的信息 问题： 篡改响应模式：进程A要读取虚拟地址VADD1处的数据 解答： 虚拟地址VADD1----物理地址PADD1----存储块Mblock1 VADD1最高位 = 1 ? Yes No 验证Mblock1的完整性 读：Mblock1 ? 片上cache 莫科尔树的构造与存储 (1个)进程 ?? (1棵)莫科尔树 (1棵)莫科尔树 ?? (1个)虚拟内存空间 树节点的片上cache缓存 (1个)cache块 ? (1个)树节点 树节点的哈希值 树节点的虚拟地址 进程虚拟地址空间 树节点的有效位： 1：有效 ---- 已计算哈希值 原虚拟地址空间 树虚拟地址空间 0：无效 ---- 未计算哈希值 新建树： 所有树节点：有效位 = 0 使用树节点： 计算哈希值 1 ? 有效位 树节点完整性验证算法 待验证的节点 ? 当前节点 找到当前节点的兄弟节点； 从莫科尔树的虚拟内存空间中找 连接兄弟节点信息； 计算连接结果的哈希值----Hc； 找当前节点的父节点的哈希值----Hp； Hp ≠ Hc ? 报告完整性失效，结束； 父节点是树根吗？ 是 ? 结束； 父节点 ? 当前节点； 转到第2步。 带cache块的树节点完整性验证算法 待验证的节点 ? 当前节点 找到当前节点的兄弟节点； 从莫科尔树的虚拟内存空间中找 连接兄弟节点信息； 计算连接结果的哈希值----Hc； 找当前节点的父节点的哈希值----Hp； Hp ≠ Hc ? 报告完整性失效，结束； 父节点在cache块中或者是树根吗？ “在”或者“是” ? 结束； 父节点 ? 当前节点； 转到第2步。 树节点更新算法 待更新节点 ? 当前节点 修改当前节点； 当前节点 + 兄弟节点 ? 重新计算并更新父节点； 父节点是树根吗？ 是 ? 结束； 父节点 ? 当前节点； 转到第3步。 莫科尔树的创建与使用 普通模式 ?