摘要
本文提出了基于主体行为和视图的新无干扰概念,描述了一个完整的、基于新概念的信息流安全模型.在模型中把计算机系统中的操作抽象为读和写两种访问模式并定义了相应的转换规则.该模型主要特点有:用于分析系统的安全性;支持多安全策略.
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.
出处
《计算机学报》
EI
CSCD
北大核心
1997年第11期1034-1037,共4页
Chinese Journal of Computers
基金
国家自然科学基金