LIO.DCLabel

This module provides bindings for the DCLabel module, with some renaming to resolve name clashes. The delegation of privilege and other trusted code is not exported by this module and code wishing to use this should import DCLabel.TCB.

DCLabel export

module DCLabel.Safe

type DCCatSet = Label

A DCLabel category set.

Renamed privileges

type DCPriv = Priv

A DCLabel (untrusted) privilege.

type DCPrivTCB = TCBPriv

A DCLabel privilege.

Useful aliases for the LIO Monad

type DC = LIO DCLabel ()

The monad for LIO computations using DCLabel as the label.

evalDC :: DC a -> IO (a, DCLabel)

Runs a computation in the LIO Monad, returning both the computation's result and the label of the result.