dclabel: This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package.

[ bsd3, deprecated, library, security ] [ Propose Tags ]
Deprecated. in favor of lio

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.

Versions [faq] 0.0.1, 0.0.2, 0.0.4, 0.0.5, 0.0.6, 0.9.0.0
Dependencies base (==4.*), bytestring (>=0.9.2 && <1.0), cereal (>=0.3.3 && <0.4), containers (>=0.3 && <1.0) [details]
License BSD-3-Clause
Copyright (c) 2012 Hails team
Author Hails Team
Maintainer Hails Team <hails-team at scs dot stanford dot edu>
Category Security
Source repo head: git clone http://www.github.com/scslab/dclabel.git
Uploaded by DeianStefan at Fri Aug 17 02:46:59 UTC 2012
Distributions NixOS:0.9.0.0
Downloads 2599 total (54 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-11 [all 9 reports]

Modules

  • DCLabel
    • DCLabel.Core
    • DCLabel.DSL
    • DCLabel.Privs
      • DCLabel.Privs.TCB
    • DCLabel.Serialize

Downloads

Maintainer's Corner

For package maintainers and hackage trustees