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.


Versions 0.1, 0.2, 0.4, 0.5, 0.6, 0.7,,,,
Dependencies base (==4.*), network (>=2.2) [details]
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 head: git clone
Uploaded Tue Jul 5 20:48:51 UTC 2011 by AlejandroRusso
Distributions NixOS:
Downloads 1616 total (19 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees