flowlocks-framework: Generalized Flow Locks Framework

[ bsd3, library, security ] [ Propose Tags ] [ Report a vulnerability ]

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

flowlocks-framework-0.1.4.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

NiklasBroberg

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.3, 0.1.3.1, 0.1.4
Dependencies	base (>=4 && <6), containers, syb [details]
Tested with	ghc ==7.0.2
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
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	1634 total (0 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]