seclib: A lightweight library for Information-flow security in Haskell
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
Downloads
- seclib-0.7.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.1, 0.2, 0.4, 0.5, 0.6, 0.7, 1.0.0.0, 1.1.0.0, 1.1.0.1, 1.1.0.2, 1.1.0.3 |
|---|---|
| Dependencies | base (>=4 && <5), network (>=2.2) [details] |
| License | BSD-3-Clause |
| 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 > |
| Category | Security |
| Source repo | head: git clone gitosis@csmisc17.cs.chalmers.se:seclib |
| Uploaded | by AlejandroRusso at 2011-07-05T20:48:51Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 6671 total (28 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] |