@hackage seclib1.0.0.0

A simple library for static information-flow security in Haskell

Categories
License
BSD-3-Clause
Maintainer
russo@chalmers.se
Links
- Documentation
- No source repository
Versions
- 1.1.0.3 Mon, 25 Jan 2021
- 1.1.0.2 Mon, 15 Dec 2014
- 1.1.0.1 Mon, 15 Dec 2014
- 1.1.0.0 Mon, 15 Dec 2014
- 1.0.0.0 Tue, 9 Dec 2014
- 0.7 Tue, 5 Jul 2011

Installation
In your cabal file:
Dependencies (2)
- base >=4.7 && <4.8
- network >=2.6 && <2.7
Dependents (1)
@hackage/acme-everything

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

@hackage seclib1.0.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (2)

Dependents (1)