The flowlocks-framework package

[Tags:bsd3, library, test]

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>
Stability Experimental
Category Security
Uploaded Wed Apr 29 19:31:04 UTC 2015 by NiklasBroberg
Distributions NixOS:0.1.3.1
Downloads 281 total (6 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2016-12-10 [all 8 reports]

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