The lio package

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/.

Properties

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
Dependencies	array (≥0.2 & <1), base (4.), 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.), SHA (≥1.4.1.1 & <2), time (≥1.1.4 & <2), unix (≥2.5.0.0 & <3)
License	GPL
Author	HAILS team
Maintainer	Deian Stefan <deian at cs dot stanford dot edu>
Stability	experimental
Category	Security
Source repository	git clone http://www.scs.stanford.edu/~deian/lio.git
Upload date	Thu Jan 12 23:36:50 UTC 2012
Uploaded by	DeianStefan
Build failure	ghc-7.2 (log), ghc-7.4 (log)