faceted: Faceted computation for dynamic information flow security

[ apache, library, security ] [ Propose Tags ]

This library provides faceted values and computations for enforcing secure information flow.

A faceted value represents many value simultaneously, depending on who is observing, and prevents any observer from viewing confidential information that they do not have privileges to access.

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.1.0, 0.0.2.0
Dependencies base (>=4.6 && <4.7), free (>=4.6) [details]
License Apache-2.0
Author Kenneth Knowles, Thomas Austin
Maintainer kenn@kennknowles.com
Category Security
Home page http://github.com/haskell-faceted/haskell-faceted
Source repo head: git clone git://github.com/haskell-faceted/haskell-faceted.git
Uploaded by KennKnowles at 2014-05-12T18:38:52Z
Distributions NixOS:0.0.2.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1731 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]