seclib-1.1.0.1: A simple library for static information-flow security in Haskell

Safe HaskellUnsafe
LanguageHaskell98

SecLib.TCB.Sec

Description

It provides a family of security monads for pure values.

Synopsis

Documentation

newtype Sec l a Source

This monad denotes computations which produce values at security level l.

Constructors

MkSec a 

Instances

unsec :: Sec l a -> a Source

This function unlabels data (to be used only by trusted modules)

up :: Less l l' => Sec l a -> Sec l' a Source

It raises the security level of a value based on order-relationship expressed by the security lattice.

This is the only operation which connects members of the Sec l monad family.