lio: Labeled IO 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.
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/.
Modules
[Index]
Downloads
- lio-0.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 | 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 2011-09-22T05:40:00Z |
| Distributions | NixOS:0.11.7.1 |
| Reverse Dependencies | 4 direct, 0 indirect [details] |
| Downloads | 17857 total (71 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] |