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