lio: Labeled IO Information Flow Control Library

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. The library depends on the DCLabel module. You can read more on DC Labels here: http://www.scs.stanford.edu/~deian/dclabels/.

Modules

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), 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 && <2), SHA (>=1.4.1.1 && <2), time (>=1.1.4 && <2), unix (>=2.3 && <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 2011-10-24T21:57:13Z
Distributions	NixOS:0.11.7.1
Reverse Dependencies	4 direct, 0 indirect [details]
Downloads	18227 total (62 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]