The faceted package

[ Tags: 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.


Dependencies base (==4.6.*), free (>=4.6) [details]
License Apache-2.0
Author Kenneth Knowles, Thomas Austin
Category Security
Home page
Source repo head: git clone git://
Uploaded Mon May 12 18:38:52 UTC 2014 by KennKnowles
Distributions NixOS:
Downloads 794 total (12 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




Maintainer's Corner

For package maintainers and hackage trustees