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 12:23:48 UTC 2011 by AlejandroRusso
Distributions NixOS:1.1.0.2
Downloads 1549 total (38 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-24 [all 5 reports]

Modules

  • SecLib
    • SecLib.LatticeLH
    • SecLib.Trustworthy
    • SecLib.Untrustworthy

Downloads

Maintainer's Corner

For package maintainers and hackage trustees