dclabel-eci11-0.2: Dynamic labels to assign confidentiality and integrity levels in scenarios of mutual distrust

DCLabel.Integrity

Synopsis

Documentation

newtype ILabel Source

An integrity-only DC label.

Constructors

MkILabel DCLabel 

Instances