信息安全模型研究  

RESEARCH ON INFORMATION SECURITY MODEL

作　　者：蒋韬[1] 李信满[1] 刘积仁[1] 

机构地区：[1]东北大学软件中心,沈阳110006

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

基　　金：国家 8 6 3计划资助!(项目号 :86 3 -3 0 6 -ZT0 5 -0 5 -5 )项目

摘　　要：随着网络技术迅速发展和不断应用 ,信息安全特别是网络安全成为人们研究的重点问题 .本文重点分析了一些典型的信息安全模型 ,采用形式化的安全模型开发方法 ,在构建信息安全系统中起到了重要作用 .考虑到在分布计算环境和移动计算环境的需求 。With the rapid development and wide application of network technology, information security, especially network security becomes one of the research hotspots. Because the important role of formal security model in structuring information security system, this paper analysis some famous information model. Considered as distributed computing and mobile computing environment, this paper presents the development trend of information model.

关 键 词：信息安全 形式化模型 BLP模型 CW模型 

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