Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
SecLib.Lattice
Description
This module describes security lattices.
seclib-1.1.0.1: A simple library for static information-flow security in Haskell
Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
SecLib.Lattice
Description
This module describes security lattices.