动态系统的一致同余安全
首发时间:2004-03-08
摘要:本文研究动态系统的安全问题。针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质。基于观察同余等价,构造了一类一致同余安全模型。本文证明,动态系统的安全性质是一致安全性质,而对于复杂动态系统,其安全性质是一致同余安全性质。
For information in English, please click here
Uniformly Congruent Security in Dynamic Systems
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
论文图表:
引用
No.4214995107871079****
同行评议
共计0人参与
勘误表
动态系统的一致同余安全
评论
全部评论0/1000