tamarin-prover-theory-0.8.6.0: Term manipulation library for the tamarin prover.

PortabilityGHC only
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone

Theory.Tools.RuleVariants

Description

Variants of protocol rules.

Synopsis

Documentation

variantsProtoRule :: MaudeHandle -> ProtoRuleE -> ProtoRuleACSource

Compute the variants of a protocol rule. 1. Abstract away terms in facts with variables. 2. Compute variants of RHSs of equations. 3. Apply variant substitutions to equations to obtain DNF of equations. 4. Simplify rule.