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