The seclib package

[Tags: bsd3, library]

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

Versions0.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
Dependenciesbase (==4.*), network (>=2.2)
LicenseBSD3
Copyright(c) 2008 ~ 2011 Alejandro Russo, Koen Claessen, John Hughes
AuthorAlejandro Russo, Koen Claessen, John Hughes
MaintainerAlejandro Russo < russo at chalmers dot se >
Stabilityexperimental
CategorySecurity
Source repositoryhead: git clone gitosis@csmisc17.cs.chalmers.se:seclib
UploadedWed Mar 30 14:56:30 UTC 2011 by AlejandroRusso
Downloads570 total (96 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees