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

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Infered

Term.Builtin.Signature

Description

Builtin function symbols and signatures.

Synopsis

Documentation

sdecSym, signSym, aencSym, adecSym, sencSym :: NonACSymSource

Binary builtin non-ac function symbols.

verifySym :: NonACSymSource

pkSym, hashSym :: NonACSymSource

Unary builtin non-ac function symbols.

trueSym :: NonACSymSource

Nullary builtin non-ac function symbols.

symEncFunSig :: FunSigSource

The signature for symmetric encryption.

asymEncFunSig :: FunSigSource

The signature for asymmetric encryption.

signatureFunSig :: FunSigSource

The signature for cryptographic signatures.

hashFunSig :: FunSigSource

The signature for hashing.