flowlocks-framework.cabal

Name:                   flowlocks-framework
Version:                0.1.1
License:                BSD3
License-File:           LICENSE
Author:                 Niklas Broberg
Maintainer:             Niklas Broberg <niklas.broberg@chalmers.se>
Category:               Security
Synopsis:               Generalized Flow Locks Framework
Description:            This library provides a generalized framework
                        for information flow policies built around the 
                        concept of Flow locks.
Stability:              Experimental
Tested-with:            GHC==7.0.2
Build-Type:             Simple
Cabal-Version:          >= 1.8

Library
  Build-Depends:        base >= 4 && < 6, syb, containers
  GHC-options:          -Wall

  Exposed-modules:      Security.InfoFlow.Policy.FlowLocks,
                        Security.InfoFlow.Policy.FlowLocks.Lattice,
                        Security.InfoFlow.Policy.FlowLocks.Actor,
                        Security.InfoFlow.Policy.FlowLocks.ActorSet,
                        Security.InfoFlow.Policy.FlowLocks.Lock,
                        Security.InfoFlow.Policy.FlowLocks.Policy,
                        Security.InfoFlow.Policy.FlowLocks.GlobalPolicy,
                        Security.InfoFlow.Policy.FlowLocks.Constraint,
                        Security.InfoFlow.Policy.FlowLocks.Datalog,
                        Security.InfoFlow.Policy.FlowLocks.DatalogConvert,
                        Security.InfoFlow.Policy.FlowLocks.Containment,
                        Security.InfoFlow.Policy.Paralocks

  Hs-source-dirs:       src

Test-Suite test-flowlocks
  type:            exitcode-stdio-1.0
  hs-source-dirs:  tests
  main-is:         TestAll.hs
  build-depends:   base, flowlocks-framework, QuickCheck