Hackage :: [Package]

lio: Labeled IO Information Flow Control Library

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

The Labeled IO (LIO) library provides information flow control for incorporating untrusted code within Haskell applications. Most code should import module LIO and whichever label type the application is using (e.g., LIO.DCLabel). The core functionality of the library is documented in LIO.TCB. LIO was implemented by David Mazieres (http://www.scs.stanford.edu/~dm/), Deian Stefan (http://www.scs.stanford.edu/~deian/), Alejandro Russo (http://www.cse.chalmers.se/~russo/) and John C. Mitchell (http://www.stanford.edu/~jcm/). The extended version of our paper, that includes the proofs is available here: http://www.scs.stanford.edu/~deian/pubs/stefan:2011:flexible-ext.pdf. The library depends on the DCLabel module. You can read more on DC Labels here: http://www.scs.stanford.edu/~deian/dclabels/.

Modules

[Last Documentation]

  • LIO
    • LIO.Concurrent
      • LIO.Concurrent.LMVar
        • LIO.Concurrent.LMVar.Safe
        • LIO.Concurrent.LMVar.TCB
    • LIO.DCLabel
    • LIO.FS
    • LIO.Handle
    • LIO.LIORef
      • LIO.LIORef.Safe
      • LIO.LIORef.TCB
    • LIO.MonadCatch
    • LIO.MonadLIO
    • LIO.Safe
    • LIO.TCB

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.1, 0.0.2, 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.9.0.0, 0.9.0.1, 0.9.1.0, 0.9.1.1, 0.9.1.2, 0.9.2.0, 0.9.2.2, 0.10.0.0, 0.11.0.0, 0.11.0.1, 0.11.2.0, 0.11.3.0, 0.11.4.0, 0.11.4.1, 0.11.4.2, 0.11.5.0, 0.11.6.0, 0.11.7.0, 0.11.7.1
Dependencies array (>=0.2 && <1), base (>=4 && <5), base64-bytestring (>=0.1.0.4), bytestring (>=0.9 && <1), cereal (>=0.3.3 && <0.4), containers (>=0.2 && <1), dclabel (>=0.0.4 && <2), directory (>=1.0 && <2), filepath (>=1.1 && <2), mtl (>=1.1.0.2 && <3), old-time (>=1 && <2), SHA (>=1.4.1.1 && <2), time (>=1.1.4 && <2), unix (>=2.5.0.0 && <3) [details]
License LicenseRef-GPL
Author HAILS team
Maintainer Deian Stefan <deian at cs dot stanford dot edu>
Category Security
Source repo head: git clone http://www.scs.stanford.edu/~deian/lio.git
Uploaded by DeianStefan at 2012-01-12T23:36:50Z
Distributions NixOS:0.11.7.1
Reverse Dependencies 4 direct, 0 indirect [details]
Downloads 18521 total (3 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-26 [all 7 reports]