一个用于安全操作系统特权管理的改进Bell-La Padula模型  

An Improved Bell-La Padula Model for the Privilege Management of Operating Systems

作　　者：杨涛[1] 沈昌祥[1] 陈福接[2] 

机构地区：[1]海军计算技术研究所,北京100841 [2]国防科技大学计算机系,长沙410073

出　　处：《计算机研究与发展》1993年第1期45-49,65,共6页Journal of Computer Research and Development

摘　　要：本文简要回顾了用于安全系统的Bell-La Padula模型,针对安全操作系统特权管理问题。提出了一个基于Bell～La Padula模型的改进模型.改进模型对原模型的系统状态、公理系统进行了扩充和改造,并给出和证明了其主要定理和结论.In this paper,we first review the Bell-La Padula model for secure systems briefly.Then we present an improved Bell-La Padula model to solve the problems of privilege management of operating systems,which extends and reforms the system state and axioms of Bell-La Padula model.The main theorems and corollaries of the improved model are presented and proven.

关 键 词：特权管理 安全操作系统 操作系统 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]