MAC.Lattice

Encodes a security lattice.

Documentation

class CanFlowTo l l' => Less l l'

Type class encoding security lattices

Instances

Less H H

Less L H

Less L L

data H

Label for secrets

Instances

Less H H

Less L H

data L

Label for public data

Instances

Less L H

Less L L