An Improved Bell-La Padula Model for the Privilege Management of Operating Systems
-
-
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.
-
-