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 l ⊑ l'.

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)