Towards a formal model for security policies specification and validation in the selinux system.

Giorgio Zanin, Luigi V. Mancini

Browse the full SACMAT paper archive.