The seclib package
The library is based on the paper A Library for Light-weight Information-Flow Security in Haskell by Alejandro Russo, Koen Claessen and John Hughes. In Proceedings of the ACM SIGPLAN 2008 Haskell Symposium, Victoria, British Columbia, Canada, September 2008. http://www.cse.chalmers.se/~russo/publications_files/haskell22Ext-russo.pdf
Properties
| Versions | 0.1, 0.2, 0.4, 0.5, 0.6, 0.7 |
|---|---|
| Dependencies | base (4.*), network (≥2.2) |
| License | BSD3 |
| Copyright | (c) 2008 ~ 2011 Alejandro Russo, Koen Claessen, John Hughes |
| Author | Alejandro Russo, Koen Claessen, John Hughes |
| Maintainer | Alejandro Russo < russo at chalmers dot se > |
| Stability | experimental |
| Category | Security |
| Source repository | git clone gitosis@csmisc17.cs.chalmers.se:seclib |
| Upload date | Tue Jul 5 12:23:48 UTC 2011 |
| Uploaded by | AlejandroRusso |
| Build failure | ghc-7.0 (log) |
Modules
- SecLib
- SecLib.LatticeLH
- SecLib.Trustworthy
- SecLib.Untrustworthy
Downloads
- seclib-0.6.tar.gz (Cabal source package)
- package description (included in the package)