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.

Versions 0.0.1.0, 0.0.2.0
Dependencies base (==4.6.*), 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 Mon May 12 18:38:52 UTC 2014
Distributions NixOS:0.0.2.0
Downloads 883 total (9 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees