The lio package

[Tags: gpl, library]

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

Versions0.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
Dependenciesarray (>=0.2 && <1), base (==4.*), base64-bytestring (>=0.1.1.0), 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)
LicenseGPL
AuthorHAILS team
MaintainerDeian Stefan <deian at cs dot stanford dot edu>
Stabilityexperimental
CategorySecurity
Source repositoryhead: git clone http://www.scs.stanford.edu/~deian/lio.git
UploadedWed Feb 15 08:14:53 UTC 2012 by DeianStefan
Downloads1953 total (137 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees