tamarin-prover-theory
Version 0.8.6.0 revision 0 uploaded by SimonMeier.
Package meta
- Synopsis
- Term manipulation library for the tamarin prover.
- Description
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.
- Author
- Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>, Simon Meier <simon.meier@inf.ethz.ch>
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
- Homepage
- http://www.infsec.ethz.ch/research/software/tamarin
- Maintainer
- Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
- Package URL
- n/a
- Stability
- n/a