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

Safe HaskellTrustworthy
LanguageHaskell98

SecLib.Sec

Contents

Description

Provide security for computations involving pure values.

Synopsis

Sec monad

data Sec l a Source

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

Instances

Upgrading security level

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.