Noninterference equations for nondeterministic systems
Noninterference equations for nondeterministic systems
复制标题
非确定性系统的无干扰方程
DOI：
10.1109/csfw.2001.930132
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Edward Zieglar
中科院分区：
文献类型：
--
作者：
Sylvan Pinsky;Edward Zieglar
摘要：本文减少了非干扰对有限方程组的解决方案的满意度。我们使用标记的过渡系统的结构，这是国家机器和过程代数的基础，以明确对状态，动作和输出之间的关系进行建模。输出约束方程是通过为非确定系统构建谓词而开发的，并表示非介入作为谓词的不变性属性。方程的有限性来自谓词的封闭属性和使用有限状态机的使用。
Abstract: This paper reduces the satisfiability of noninterference to the solution of a finite set of equations. We use the structure of labelled transition systems, which are the basis for state machines and process algebras, to explicitly model the relationship between states, actions, and outputs. The output constraint equations are developed by constructing a predicate for nondeterministic systems and expressing noninterference as an invariance property of the predicate. The finiteness of the equations comes from a closure property of the predicate and the use of finite state machines.