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
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
Upload dateSun Jun 26 16:34:03 UTC 2011
Uploaded byAlejandroRusso
Downloads242 total (21 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees