一个完整的无干扰模型

A COMPLETE NONINTERFERENCE MODEL

本文提出了基于主体行为和视图的新无干扰概念，描述了一个完整的、基于新概念的信息流安全模型．在模型中把计算机系统中的操作抽象为读和写两种访问模式并定义了相应的转换规则．该模型主要特点有：用于分析系统的安全性；支持多安全策略．

A new concept of noninterference based on subject's actions and views is presented in this paper, and then a complete secure information flow model based on the new concept is described. In the model, operations of computer systems are assumed to have only two access modes, i. e. read and write, therefore two state transition rules of systems are defined according to these modes. The proof about security of the model is given finally. This model has two significant features: it can be used to analyze security of systems, and it is able to support multiple security policies.