mac-0.1.0.0: Static Mandatory Access Control in Haskell
MAC.Lattice
Description
Encodes a security lattice.
Synopsis
class CanFlowTo l l' => Less l l' Source
Type class encoding security lattices
Instances
data H Source
Label for secrets
data L Source
Label for public data