Title :
An Integrity Control Model for Operating System
Author :
Liu, Zun ; Wang, Tao ; Li, Wei-Hua
Author_Institution :
Sch. of Comput., Northwestern Polytech. Univ., Xi´´an, China
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.
Keywords :
data integrity; operating systems (computers); integrity control model; integrity protect policy; secure operating system; state system; states translation; Information management; Information security; Management information systems; Operating systems; Protection; Resource management; Transportation;
Conference_Titel :
Management and Service Science, 2009. MASS '09. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4638-4
Electronic_ISBN :
978-1-4244-4639-1
DOI :
10.1109/ICMSS.2009.5302851
