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

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