动态系统一致同余安全.pdfVIP

_______________________________________________________________________________ * 动态系统的一致同余安全 周 伟 尹 青 郭金庚 (信息工程大学，网络工程实验室，郑州，450002) （E-Mail: zhouwei@） 摘要：本文研究动态系统的安全问题。针对动态系统运行时间配置的可变特性，引入了动态系统的进程 代数模型和复杂动态系统概念，定义了动态系统的一致安全性质和一致同余安全性质。基于观察同余等 价，构造了一类一致同余安全模型。本文证明，动态系统的安全性质是一致安全性质，而对于复杂动态 系统，其安全性质是一致同余安全性质。 关键词：动态系统，安全，一致安全，同余安全 Uniformly Congruent Security in Dynamic Systems ZHOU Wei, YIN QIng, GUO Jingeng (Network Engineering Laboratory, Information Engineering University, Zhengzhou 450002) (E-Mail: zhouwei@) Abstract The thesis of this paper is about information flow security of runtime reconfigurable systems (named dynamic systems). A process algebraic model for dynamic system is proposed, the concept of complex dynamic systems is defined. Two new security properties are defined, one is uniform security, and the other is uniformly congruent security. A uniformly congruent security model is presented based on observational congruence. It proved that the security of a dynamic system is uniform security property, and the security of a complex dynamic system is uniformly congruent security property. Keywords dynamic system, security, uniform security, congruent security 在一个动态的开放计算环境中，处于变化之中的不仅包括系统中运行实体的数量，还包括系统的运 行时间配置，如系统可能在运行时间升级，新的构件和移动代码（如 JAVA 组件）可以在需要时下载， 动态地连接或执行，系统管理员可以在运行时间关闭或启动进程，等等。开放 Agent 系统也是一类动态 系统，Agent 会在运行时间离开或进入系统，因此可能改变系统的安全状态。在一个复杂的动态系统中， 安全性可能随系统配置而动态地发生变化。针对动态系统的安全问题，Focardi 等人定义了一种称为 P − BNDC 的安全模型[1]。P − BNDC 包括一类很强的安全性质，它对并行复合算子是状态保持的，但不 能被选择算子保持，因此不适用于较为复杂的动态系统。 本文定义一种新的安全性质，称为一致同余安全性质，并在这一概念下构造一类具体的一致同余安 全模型 DNI 。为此本文建立了动态系