tamarin-prover-term-0.8.0.0: Term manipulation library for the tamarin prover.
Term.Builtin.Signature
Description
Builtin function symbols and signatures.
Synopsis
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.