A COMPLETE NONINTERFERENCE MODEL
MA Jianping; YU Xiangxuan; HONG Fan; ZHANG Jiangling(Department of Computer Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074 )
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.