Policy-based Computing with SELINUX