操作系统安全体系结构.ppt

第4章操作系统安全体系结构 4 1概述 安全问题的暴露解决问题的方法 1 在现有系统上打补丁来排除 2 无法在原有系统上进行补救 只有重新改造系统 甚至重新设计系统造成的原因 1 由于旧系统增加了新的应用 无法预测 2 系统设计时考虑不充分 缺乏有效的系统安全体系结构所致 安全体系结构的含义及内容 使系统在实现时对各项要求 如安全性要求 性能要求 可扩展要求 容量要求 成本要求等折中考虑 是体系结构的主要任务 安全体系结构 1 详细描述系统中安全相关的所有方面2 在一定的抽象层次上描述各个安全相关模块之间的关系3 提出指导设计的基本原理4 提出开发过程的基本框架及对应于该框架体系的层次结构 安全体系按层次结构进行描述 包括两个阶段 概念化阶段 功能化阶段 安全体系的描述 系统开发的概念化阶段 安全概念的最高抽象层次的处理 如系统安全策略等系统开发的功能化阶段 系统体系确定时 进一步细化安全体系以反映系统的结构安全体系结构只能是一个概要描述 而不能是系统功能的描述安全体系结构不应该限制不影响安全的设计方法开发安全操作系统时应参考 可信计算机系统评估准则 TCSEC 及 信息技术安全性通用评估准则 CC DGSA的安全体系 抽象体系 描述安全需求 定义安全功能及它们提供的安全服务 确定指导原则和基本概念通用体系 定义系统的通用类型及使用标准 规定系统的指导原则 在已有的安全功能和安全服务配制上 定义系统分量类型及相关安全机制 并应说明不兼容导致的安全强度的退化 逻辑体系 是满足某个假设的需求集合的一个设计 显示把通用体系应用于具体环境时的基本情况 是假想体系 不是实际体系特殊体系 表明如何把所有被选择的信息安全分量和机制结合起来 针对一个特殊系统的安全需求 描述接口 分量 标准 性能 开销及如何结合 安全体系结构设计的基本原则 从系统设计之初就考虑安全性在设计系统体系结构的同时就考虑安全体系结构应尽量考虑未来可能面临的安全需求使未来系统实施安全增强时 开销小 但应注意 1 预想的 安全问题不能太具体 2 从问题类的角度理解安全问题 不是针对具体问题 3 特别关注安全策略的定义机制经济性原则应极小化系统内部与安全相关部分的复杂性及规模 安全系统必须限制规模 但应注意 1 安全机制尽量简洁 2 数据隔离应适当 失败 保险默认原则访问判定应建立在显式授权而不是隐式授权的基础上特权分离原则高度的分离可以带来安全性的提高 但也导致效率下降最小特权原则硬件特权极小化与软件特权极小化最少公共机制原则把由两个以上用户共用和被所有用户依赖的机制数量减到最小完全仲裁原则只有得到授权的客体才被允许访问开放式设计原则在公开环境中增强安全机制的防御能力心理可接受性原则用户界面设计得要易于使用和充分友好 4 2Flask体系结构 Internet的异质互连特征要求系统支持安全策略的可变通性可变通性要求系统支持底层客体的细粒度访问控制 确保权限增长与动态安全策略的一致性 提供能撤消以前授予的访问权限的机制Flask系统来源于以前的DTOS系统原型 支持动态安全策略 使策略可变通性的实现成为可能Flask结构将机制与策略相分离 由一个安全策略服务器和一个微内核及客体服务器框架组成 前者制定访问控制策略 后者执行访问控制策略 该结构基于微内核但不依赖微内核 策略可变通性 基本思想 将系统抽象成状态机 执行原子操作完成一个状态到另一个状态的转换 安全策略被原子的插入到系统的操作执行中 一个系统提供整个系统安全策略可变通性 该模型中 若当前状态包括系统历史 则安全策略用全部当前状态作决定 判断操作的执行与否受限思想 实现 当前状态区分为与安全相关及不相干部分 系统的可变通性只与相关状态完整性及它们的控制操作有关 这种思想允许存在一些安全控制外的操作及一些系统状态 支持策略可变通性机制要求 1 能撤回以前授予的权限 2 作访问决策所需的输入类型3 影响决策的外部因素 如历史 4 访问决策的可传递性支持策略改变 系统要保证策略改变与控制操作的交叉使用时必须保持原子性 策略撤消 系统要保证已在系统中移动的授权真正收回当一个正运行的操作已检查过许可权 撤消机制常用三种方法 终止 重启 不管 特殊微内核特征 Flask采用类似Fluke方法处理内核 Fluke中将每个活动对应的内核对象与一块物理内存对应 每个内核对象的SID与内存段的SID是一致的 微内核提供了内存管理及SID之间的绑定 思想 Flask微内核利用内存标签与内核对象标签之间的关系进行控制 即通过地址空间的SID与内存段的SID实现安全控制 内存段是客体 内核对象地址空间是主体 客体相对于主体具有权能作用 权能的概念 权能是客体在系统范围内使用的名字 在系统中是唯一的权能必须包含以该权能命名的客体的访问权 决定了对该客体进行访问所必需的权力权能只能由系统特殊的底层部分来创建 且除约束访问权外 权能不允许修改权能的优点 1 权能为访问客体和保护客体提供了统一的 不可绕过的方法2 权能与层次设计方法是协调的 具有传递能力 权能的组成 用于标识客体的标识符定义客体类型的域定义访问权的域客体创建时 权能也随之创建客体的创建主体可拷贝该客体的权能给其他主体当权能被传递给另一个主体时 权能的访问权可以被限制传递给另一个主体的权能访问权不能大于对该权能拷贝所获得的访问权 Flask体系结构的组成 Flask体系结构 结构的基本目标是提供安全策略的可变通性 确保不管决策如何随时间变化 都提供一致的策略 为客体管理器提供3个要素 1 提供了一个从安全服务器重新访问 标记 多实例决策的接口 2 提供一个访问向量缓存 AVC 模块 减少性能损耗 3 提供客体管理器注册 接受安全策略的改变的能力 Flask的支持机制 客体标记每个客体由安全策略所带的安全属性标记 称安全上下文 Flask采用E R方法 客体实体 SID 上下文实体 客户实体 SID 及客体 上下文联系 客体 用户联系 SID称为安全标识符 Flask中它是固定的值 只能由安全服务器解释并影射到上下文客户 主体 创建新客体时 由微内核提供的客户SID 客体类型 相关客体SID为参数 由客体服务器向安全服务器请求一个SID 客体服务器将新客体与该SID绑定 用E R方法看 客体由SID标记 两者联系由客体管理器管理 SID与上下文联系由安全服务器管理 SID的分配由安全服务器依客户请求参数及环境动态决定 客体标记结构图 客户和服务器鉴别当客户发出请求SID时 客体管理器必须能鉴别这个SID 客户也能鉴别一个服务器SID以确保服务是从适当的服务器上发出的 Flask由微内核提供这个服务 并将其直接作为IPC 进程通信 的一部分 客户可以发一个内核调用来鉴别服务器SID 客户请求由微内核提供到服务器 请求和缓存安全决策AVC 缓存访问向量 是为缓解服务器的工作压力设置的 是可由对象管理器共享的一个公共资源库 是对象管理器与安全服务器之间的协调 支持多实例化安全策略应支持多实例化某资源并按群划分终端 使群中的每个实体可共享该资源的相同实例化 成员 Flask体系中多实例化的机制 支持吊销机制 问题 在对象管理器中要保留一些安全策略的局部拷贝 如AVC中 当决策转移后 系统如何保证在策略改变时安全服务器与对象服务器之间策略表达的一致性 思想 保持策略与操作的交叉使用满足有效原子性 实施原则 在系统上强制实施两个要求 1 策略变动后 对象管理器的行为必须反映这个变化 2 对象管理器必须采用事实实时的方式完成策略变化 第一个要求可通过用一个协议把对象管理器与安全服务器联系起来 首先 安全服务器通知所有对象管理器策略改变 其次 对象管理器更新内部状态反映该变化 最后 对象管理器通知安全服务器改变已完成 该协议让安全服务器只管策略更改 将状态管理的负担交给对象管理器 第二个实时性要求涉及系统的另两个组件 微内核 保证对象管理器与安全服务器的实时通信 调度程序 给对象管理器提供CPU资源 实时性使吊销请求的任意延迟是不可能的 避免隐蔽通道 Flask中实现方案 通过AVC模块处理策略变更 并适当进化缓存 如下图所示 安全服务器 功能 安全服务器需提供安全策略支持 SID与上下文的影射 提供新客体的SID 提供成员SID 控制客体管理器的向量缓存 Flask实现 安全服务器代