NORTH ATLANTIC UNIVERSITY UNION
An operating system designed under the criteria of the class A1, consists of a collection of security strengthening mechanisms for the kernel. SELinux is an example of this type of operating system that supports several types of security policies applied to access control. In this paper, the authors address the problem of inconsistency in SELinux policies, which can be present in distributed environments. To solve this problem, they propose an architecture that integrates a policy server for enabling a simple and secure administration.