An Integrity Control Model for Operating System

Abstract

This paper analyses the integrity protect policy of secure operating system. A method to determine the integrity level of the users, processes and data was given. A way using roles to manage the integrity level of users according to their responsibilities was brought up. An integrity control model was proposed with its integrity axiom, model element, define of state system, setting of system and rules for states translation. The correctness of given model is proved.