@hackage faceted0.0.1.0

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.