信息安全形式化开发中的模型方法  

作　　者：唐冶文[1] 余巍[1] 白英彩[1] 

机构地区：[1]上海交通大学金桥网络中心

出　　处：《小型微型计算机系统》1997年第9期26-31,共6页Journal of Chinese Computer Systems

摘　　要：安全策略模型是计算机安全的形式化开发过程中的关键步骤。本文深入分析了系统安全的两类模型——存取控制模型和信息流模型，指出了它们之间的区别和联系。在此基础上，文章对在安全的形式化开发的需求分析、系统设计和设计验证三个阶段中，两类模型的具体应用方法进行了探讨。文章也指出了这种模型化方法在应用系统安全开发中有着一般性的意义。

关 键 词：形式化 信息流模型 计算机安全 信息安全 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]