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.
- type DCPrivDesc = Component
- newtype DCPriv = DCPrivTCB {}
- allPrivTCB :: DCPriv
Documentation
type DCPrivDesc = ComponentSource
A privilege description is simply a conjunction of disjunctions.
Unlike (actually minted) privileges (see DCPriv
), privilege
descriptions may be created by untrusted code.
A privilege is a minted and protected privilege description
(DCPrivDesc
) that may only be created by trusted code or
delegated from an existing DCPriv
.
The all privilege corresponds to logical False