Develops new automata-based decision procedures and a solution-generating automaton for asymmetric unification in the ACUNh theory, adapting combination methods and comparing to variant unification.
, Meadows, C., Meseguer, J., Narendran, P ., Santiago, S., Sasse, R.: Asymmetric Unifi cation: A New Unifi- cation Paradigm for Cryptographic Protocol Analysis
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Develops new automata-based decision procedures and a solution-generating automaton for asymmetric unification in the ACUNh theory, adapting combination methods and comparing to variant unification.