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.
Downloads
- faceted-0.0.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.1.0, 0.0.2.0 |
|---|---|
| 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-12T03:00:47Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1819 total (7 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] |