信息安全模型研究  

Research on Information Security Model

作　　者：张原[1] 史浩山[1] 

机构地区：[1]西北工业大学电子信息学院,陕西西安710072

出　　处：《小型微型计算机系统》2003年第10期1878-1881,共4页Journal of Chinese Computer Systems

摘　　要：首先介绍了安全系统的形式化开发方法 ,分析和比较了各种安全模型的安全特征 .并针对分布式环境对安全模型的通用性和可结合性的要求 ,着重分析了无干扰模型和非推理模型 .In this paper, the authors describe the methodology of formal development in constructing information security system, and also given some analysis and comparison on security characters among some famous information security model. Moreover, according to the requirements of information security in distributed compute environment, the authors analyze the non-interference security model and non-deducibility security model detailed. Based on the former discussion, a new kind of non-interference security model and non-deducibility security model is proposed.

关 键 词：安全 安全模型 无干扰 非推理 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]