@hackage tamarin-prover-theory0.8.5.0

Term manipulation library for the tamarin prover.

Categories
License
LicenseRef-GPL
Maintainer
Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
Links
Versions
- 0.8.6.0 Sun, 16 Feb 2014
- 0.8.5.1 Fri, 7 Feb 2014
- 0.8.5.0 Wed, 8 May 2013
- 0.8.4.0 Tue, 15 Jan 2013
- 0.8.2.0 Fri, 28 Sep 2012

Deprecated
This package has been deprecated
Dependencies (24)
- array >=0.3
- base >=4 && <5
- binary >=0.5 && <0.6
- bytestring >=0.9
- containers >=0.4.2
- deepseq >=1.3
Dependents (2)
@hackage/acme-everything, @hackage/tamarin-prover

This is an internal library of the Tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).

This library provides the types to represent security protocol, and it implements the constraint solver.