一种新型的网络安全策略模型.pdfVIP

年第 期 微电子学与计算机 !# $ DG 234*56$789()* ; /= /=20? +/3,0@A 12B@3A C27/B 西安电子科技大学计算机学院 :; := ? !西安 D #))D # # 摘 要! 近年来安全模型的设计已经成为一个重要的研究课题 安全模型本质上是要满足给定系统的安全需 求 文章以状态机模型为基础描述了一个简单抽象的网络安全策略模型 通过对系统在运行期 # +1C’+(4(E(. * % ) 间所要经历的不同阶段的安全状态讨论%给出了该模型的一个安全定理# % % 关键字! 网路安全策略模型 安全状态 +1C ! ! 型就能够进行分析 决定系统是否能达到指定的状 一个安全的网络至少需要三种类型的控制 访 态 例如 我们可以用一个状态 的集合来表示 不 ! $ ! % ( 问控制 信息流控制和密码安全控制 安全 状态 那么 如果系统出现集合 中的任何一 # ) % % % 网络的访问控制主要是指任意用户访问或使 个状态%该系统就认为是不安全的# $ % 用网络上资源的执行过程 作为基本的前提 访问 ! )*+./01 $ % 控制机制需要网络系统中用户的可靠标识和认证 通常 典型的状态机模型是由一个状态的集合 信息流控制是指在不违背指定的流动策略的 包含初始状态 和一个进行状态转换的函数所构 ! 前提下 适量地限制从一个系统到另一个系统的信 成 对于本文所要讨论的安全策略模型 由于在状 % % % 息流动$ 态转换时可能涉及到许多与安全相关的操作%因此 % ! 当对信息的访问被限制在一个授权对象