Hackage :: [Package]

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.

Modules

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.1, 0.0.2, 0.0.4, 0.0.5, 0.0.6, 0.9.0.0
Dependencies base (>=4 && <5), 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 2012-08-17T02:46:59Z
Distributions NixOS:0.9.0.0
Downloads 4624 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-11-11 [all 9 reports]