flowlocks-framework: Generalized Flow Locks Framework

[ bsd3, library, security ] [ Propose Tags ]

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

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

Candidates

  • No Candidates
Versions [RSS] 0.1.3, 0.1.3.1, 0.1.4
Dependencies base (>=4 && <6), containers, syb [details]
License BSD-3-Clause
Author Niklas Broberg
Maintainer Niklas Broberg <niklas.broberg@chalmers.se>
Category Security
Uploaded by NiklasBroberg at 2022-05-17T09:33:59Z
Distributions NixOS:0.1.3.1
Downloads 1432 total (21 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2022-05-17 [all 1 reports]