@hackage / faceted

Faceted computation for dynamic information flow security

Latest0.0.2.0

About

Metadata

  • Last updated , by KennKnowles
  • License Apache-2.0

  • Maintained by: kenn@kennknowles.com

  • Lottery factor: 0

Links

Installation

Readme

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.