Term.Builtin.Signature

tamarin-prover-term-1.2.2: Term manipulation library for the tamarin prover.

Copyright | (c) 2010-2012 Benedikt Schmidt
License | GPL v3 (see LICENSE)
Maintainer | Benedikt Schmidt <beschmi@gmail.com>
Safe Haskell | None
Language | Haskell98

Term.Builtin.Signature

Description

Builtin function symbols and signatures.

Synopsis

- sdecSym :: NoEqSym
- sencSym :: NoEqSym
- adecSym :: NoEqSym
- aencSym :: NoEqSym
- signSym :: NoEqSym
- verifySym :: NoEqSym
- pkSym :: NoEqSym
- hashSym :: NoEqSym
- trueSym :: NoEqSym
- symEncFunSig :: NoEqFunSig
- asymEncFunSig :: NoEqFunSig
- signatureFunSig :: NoEqFunSig
- hashFunSig :: NoEqFunSig

# Documentation

sdecSym :: NoEqSym #

Binary builtin function symbols.

sencSym :: NoEqSym #

Binary builtin function symbols.

adecSym :: NoEqSym #

Binary builtin function symbols.

aencSym :: NoEqSym #

Binary builtin function symbols.

signSym :: NoEqSym #

Binary builtin function symbols.

verifySym :: NoEqSym #

Ternary builtin function symbols.

pkSym :: NoEqSym #

Unary builtin function symbols.

hashSym :: NoEqSym #

Unary builtin function symbols.

trueSym :: NoEqSym #

Nullary builtin function symbols.

symEncFunSig :: NoEqFunSig #

The signature for symmetric encryption.

asymEncFunSig :: NoEqFunSig #

The signature for asymmetric encryption.

signatureFunSig :: NoEqFunSig #

The signature for cryptographic signatures.

hashFunSig :: NoEqFunSig #

The signature for hashing.