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.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],
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
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1793 total (5 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]