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

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

摘要: 本文简要回顾了用于安全系统的Bell-La Padula模型,针对安全操作系统特权管理问题。提出了一个基于Bell～La Padula模型的改进模型.改进模型对原模型的系统状态、公理系统进行了扩充和改造,并给出和证明了其主要定理和结论.

Abstract: 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.