faceted: Faceted computation for dynamic information flow security
|Dependencies||base (==4.6.*), free (>=4.6) [details]|
|Author||Kenneth Knowles, Thomas Austin|
|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|
|Downloads||802 total (9 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI
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.
For package maintainers and hackage trustees