Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 72196f222e
Fetching contributors…

Cannot retrieve contributors at this time

71 lines (60 sloc) 1.994 kb
Name: dclabel
Version: 0.0.6
build-type: Simple
License: BSD3
License-File: LICENSE
Copyright: (c) 2011 Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazieres
Author: Deian Stefan, Alejandro Russo
Maintainer: Deian Stefan <deian at cs dot stanford dot edu>
Stability: experimental
Synopsis: The Disjunction Category Label Format
Category: Security
Cabal-Version: >=1.8
Extra-source-files:
examples/ExamplesDCLabels.hs
examples/Labels.hs
examples/ListExamples.hs
examples/UsingEDSL.hs
tests/Tests.hs
Description:
The /DC Label/ (DCLabel) library provides dynamic information
flow control label format in the form of conjunctions of
disjunctions of principals. Most code should import module
"DCLabel.Safe"; trusted code should import "DCLabel.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". DCLabel was implemented by David
Mazieres (<http://www.scs.stanford.edu/~dm/>), Deian Stefan
(<http://www.scs.stanford.edu/~deian/>), and Alejandro Russo
(<http://www.cse.chalmers.se/~russo/>).
Source-repository head
Type: git
Location: http://www.github.com/scslab/dclabel.git
Library
Build-depends: base >= 4 && < 5,
bytestring > 0.9.2 && < 2,
cereal >= 0.3.3 && < 0.4,
pretty > 1.0.1 && < 2
ghc-options: -Wall -fno-warn-orphans
Exposed-modules:
DCLabel.Safe,
DCLabel.TCB,
DCLabel.Core,
DCLabel.NanoEDSL,
DCLabel.PrettyShow,
DCLabel.Secrecy,
DCLabel.Integrity
test-suite tests
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Tests.hs
ghc-options:
-Wall -threaded -rtsopts
build-depends:
QuickCheck,
test-framework,
test-framework-quickcheck2,
base,
dclabel,
bytestring,
cereal
Jump to Line
Something went wrong with that request. Please try again.