dclabel-0.0.5: The Disjunction Category Label Format

Safe HaskellTrustworthy

DCLabel.Secrecy

Description

This module implements secrecy-only DC Labels.

Synopsis

Documentation

newtype SLabel Source

A secrecy-only DC label.

Constructors

MkSLabel DCLabel 

Instances