lio-eci11: Labeled IO library

[ deprecated, library, security ] [ Propose Tags ]
Deprecated in favor of lio

A package that provides dynamic tracking of information-flow. This package is intended to only be used at the computer science school ECI 2011 (Buenos Aires, Argentina) http://www.dc.uba.ar/events/eci/2011/index_html. Please, refer to the official version of this package if you intended to use it for other purposes. 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/lio/extended.pdf. To obtain the latest experimental source code, run: git clone http://www.scs.stanford.edu/~dm/repos/lio.git

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2
Dependencies array (>=0.2 && <1), base (>=4 && <5), bytestring (>=0.9 && <1), containers (>=0.2 && <1), dclabel-eci11 (>=0.3 && <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
Uploaded by AlejandroRusso at 2011-07-23T20:58:30Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1745 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]