faceted: Faceted computation for dynamic information flow security
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 [RSS]||0.0.1.0, 0.0.2.0|
|Dependencies||base (>=4.6 && <4.7), 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 2014-05-12T18:38:52Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||1731 total (3 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Successful builds reported [all 1 reports]