The latest version of flowlocks-framework is 0.1.4-0.
lib:flowlocks-framework
Modules
- 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
Dependencies
- base lib:base >=4 && <6
- containers lib:containers >=0
- syb lib:syb >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- flowlocks-framework test:test-flowlocks