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

Versions 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
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 gitosis@csmisc17.cs.chalmers.se:seclib
Uploaded Tue Jul 5 20:48:51 UTC 2011 by AlejandroRusso
Distributions NixOS:1.1.0.2
Downloads 1486 total (25 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees