Safe Haskell | Unsafe |
---|
This module implements the trusted compoenet of DCLabel privileges,
documented in LIO.DCLabel.Privs.
Since privilege objects may be used unsafely, this module is marked
-XUnsafe
. Untrusted code may access privileges using the interface
provided by LIO.DCLabel.Privs.
- allPrivTCB :: DCPriv
Documentation
The all privilege corresponds to logical False