| Portability | GHC only |
|---|---|
| Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
| Safe Haskell | None |
Theory.Tools.IntruderRules
Contents
Description
- subtermIntruderRules :: MaudeSig -> [IntrRuleAC]
- dhIntruderRules :: WithMaude [IntrRuleAC]
- bpIntruderRules :: WithMaude [IntrRuleAC]
- multisetIntruderRules :: [IntrRuleAC]
- mkDUnionRule :: [LNTerm] -> LNTerm -> IntrRuleAC
- specialIntruderRules :: [IntrRuleAC]
- isDExpRule :: Rule (RuleInfo t IntrRuleACInfo) -> Bool
- isDEMapRule :: Rule (RuleInfo t IntrRuleACInfo) -> Bool
- isDPMultRule :: Rule (RuleInfo t IntrRuleACInfo) -> Bool
Documentation
subtermIntruderRules :: MaudeSig -> [IntrRuleAC]Source
subtermIntruderRules maudeSig returns the set of intruder rules for
the subterm (not Xor, DH, and MSet) part of the given signature.
dhIntruderRules :: WithMaude [IntrRuleAC]Source
dhIntruderRules computes the intruder rules for DH
mkDUnionRule :: [LNTerm] -> LNTerm -> IntrRuleACSource
specialIntruderRules :: [IntrRuleAC]Source
specialIntruderRules returns the special intruder rules that are
included independently of the message theory
Classifiers
isDExpRule :: Rule (RuleInfo t IntrRuleACInfo) -> BoolSource
isDEMapRule :: Rule (RuleInfo t IntrRuleACInfo) -> BoolSource
isDPMultRule :: Rule (RuleInfo t IntrRuleACInfo) -> BoolSource