LIO.DCLabel

Contents

Description

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.

Synopsis

DCLabel export

module DCLabel.Safe

type DCCatSet = Label Source

A DCLabel category set.

Renamed privileges

type DCPriv = Priv Source

A DCLabel (untrusted) privilege.

type DCPrivTCB = TCBPriv Source

A DCLabel privilege.

Useful aliases for the LIO Monad

type DC = LIO DCLabel ()Source

The monad for LIO computations using DCLabel as the label.

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

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