mac-0.1.2.0: Static Mandatory Access Control in Haskell

Safe HaskellSafe
LanguageHaskell98

MAC.Lattice

Description

Encodes a security lattice.

Synopsis

Documentation

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

Type class encoding security lattices

Instances

data H Source

Label for secrets

Instances

data L Source

Label for public data

Instances