Model-based safety analysis of SELinux security policies.

Peter Amthor, Winfried E. Khnhauser, Anja Plck

Browse the full NSS paper archive.