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.

Modules

[Index]

Downloads

• faceted-0.0.2.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• KennKnowles

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates