- class Eq a => Lattice a
- class Lattice a => FiniteLattice a
- less :: Lattice a => a -> a -> Bool
- sless :: Lattice a => a -> a -> Bool
- data Level
- class FiniteLattice l => Policy l a b | a -> l b
- data ME a
- readFile :: FilePath -> ME String
- writeFile :: FilePath -> String -> ME ()
- sme :: Policy l FilePath String => l -> ME a -> IO ()
- sme' :: Policy Level FilePath String => ME a -> IO ()
Documentation
class Lattice a => FiniteLattice a Source
Type class to encode finite security lattices.
less :: Lattice a => a -> a -> BoolSource
Implementation of the order relationship between elements of the lattice.
sless :: Lattice a => a -> a -> BoolSource
Implementation of the strict order relationship between security levels of the lattice.
Data type encoding two security levels.
class FiniteLattice l => Policy l a b | a -> l bSource
Type class to specify security policies for programs run under secure multi-execution.