The flowlocks-framework package

[ Tags: bsd3, library, security ] [ Propose Tags ]

This library provides a generalized framework for information flow policies built around the concept of Flow locks.

Properties

Versions 0.1.3, 0.1.3.1
Dependencies base (>=4 && <6), containers, syb [details]
License BSD3
Author Niklas Broberg
Maintainer Niklas Broberg <niklas.broberg@chalmers.se>
Category Security
Uploaded Wed Apr 29 19:31:04 UTC 2015 by NiklasBroberg
Distributions NixOS:0.1.3.1
Downloads 388 total (44 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2016-12-10 [all 8 reports]
Hackage Matrix CI

Modules

  • Security
    • InfoFlow
      • Policy
        • Security.InfoFlow.Policy.FlowLocks
          • Security.InfoFlow.Policy.FlowLocks.Actor
          • Security.InfoFlow.Policy.FlowLocks.ActorSet
          • Security.InfoFlow.Policy.FlowLocks.Constraint
          • Security.InfoFlow.Policy.FlowLocks.Containment
          • Security.InfoFlow.Policy.FlowLocks.Datalog
          • Security.InfoFlow.Policy.FlowLocks.DatalogConvert
          • Security.InfoFlow.Policy.FlowLocks.GlobalPolicy
          • Security.InfoFlow.Policy.FlowLocks.Lattice
          • Security.InfoFlow.Policy.FlowLocks.Lock
          • Security.InfoFlow.Policy.FlowLocks.Policy
        • Security.InfoFlow.Policy.Paralocks

Downloads

Maintainer's Corner

For package maintainers and hackage trustees