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

Safe HaskellTrustworthy
LanguageHaskell98

SecLib.Lattice

Description

This module describes security lattices.

Synopsis

Documentation

class CanFlowTo l l' => Less l l' Source

The class Less determines the allowed flows of information. Less l l' tests the order relationship of l and l' in the lattice, i.e., if ll'.

The sole purpose of the unexported class CanFlowTo is to restrict untrusted code from making arbitrary instances of the class Less (credit to Pablo Buiras!)

Instances

Less H H

Two-point lattice (information can flow between secret entities)

Less L H

Two-point lattice (information can flow from public to secret entities)

Less L L

Two-point lattice (information can flow between public entities)