mac-0.1.0.0: Static Mandatory Access Control in Haskell

Safe HaskellUnsafe
LanguageHaskell98

MAC.Core

Description

It defines main data structures for security, i.e., monad family MAC and labeled resources Res.

Synopsis

Documentation

newtype Res l a Source

Labeling expressions of type a with label l.

Constructors

MkRes 

Fields

unRes :: a
 

labelOf :: Res l a -> l Source

Label of resources

newtype MAC l a Source

This monad labels the results of the computation (of type a) with label l.

Constructors

MkMAC (IO a) 

Instances

runMAC :: MAC l a -> IO a Source

Execute secure computations.

ioTCB :: IO a -> MAC l a Source

It lifts arbitrary IO-actions.