Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Define the classic two-point lattice that refers to public and secret information.
Documentation
Data type representing the security level associated to public information.
Data type representing the security level associated to secret information.