lio: Labeled IO library

[ library, security ] [ Propose Tags ]

The Labeled IO (LIO) library provides information flow control for incorporating untrusted code within Haskell applications. Most code should import module LIO.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. To obtain the latest experimental source code, run: git clone http://www.scs.stanford.edu/~deian/lio.git. The library depends on the DCLabel module. You can read more on DC Labels here: http://www.scs.stanford.edu/~deian/dclabels/.

Versions 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
Dependencies array (>=0.2 && <1), base (==4.*), bytestring (>=0.9 && <1), containers (>=0.2 && <1), dclabel (>=0.0.1 && <2), directory (>=1.0 && <2), filepath (>=1.1 && <2), mtl (>=1.1.0.2 && <3), old-time (==1.*), SHA (>=1.4.1.1 && <2), time (>=1.1.4 && <2), unix (>=2.3 && <3) [details]
License LicenseRef-GPL
Author HAILS team
Maintainer http://www.scs.stanford.edu/~dm/addr/
Category Security
Source repo head: git clone http://www.scs.stanford.edu/~deian/lio.git
Uploaded by DeianStefan at Thu Sep 22 05:40:00 UTC 2011
Distributions NixOS:0.11.6.0
Downloads 8022 total (50 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees