@hackage dclabel0.9.0.0
This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package.
Categories
License
BSD-3-Clause
Maintainer
Hails Team <hails-team at scs dot stanford dot edu>
Links
Versions
Deprecated
Dependencies (4)
- base >=4 && <5
- bytestring >=0.9.2 && <1.0
- cereal >=0.3.3 && <0.4
- containers >=0.3 && <1.0 Show all…
Dependents (3)
@hackage/lio, @hackage/acme-everything, @hackage/hails
The DC Label (DCLabel) library provides an information flow
control label format in the form of conjunctions of
disjunctions of principals. Most code should import module
DCLabel; trusted code may additionally import
DCLabel.Privs.TCB. The core functionality of the library is
documented in DCLabel.Core, while the small EDSL used to
create labels is documents in DCLabel.NanoEDSL.