dclabel-eci11-0.2: Dynamic labels to assign confidentiality and integrity levels in scenarios of mutual distrust
DCLabel.Integrity
Synopsis
newtype ILabel Source
An integrity-only DC label.
Constructors
Instances