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 = Component

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 DCLabeled a = Labeled DCLabel a

The type for Labeled values uinsg DCLabel as the label.

type DC = LIO DCLabel DCPrivTCB ()

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.

evalDCWithRoot :: FilePath -> Maybe DCLabel -> DC a -> IO (a, DCLabel)

Same as evalDC, but with support for filesystem.