Towards a formal model for security policies specification and validation in the selinux system
Year: 2004
Type: conference-paper
Authors: Giorgio Zanin, Luigi Vincenzo Mancini
Institution: Sapienza University of Rome
Language: English
Topic: Access Control and Trust
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2053343487