Suche
Ergebnisse
-
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
(2011)Leibniz International Proceedings in Informatics (LIPIcs) ~ 22nd International Conference on Rewriting Techniques and Applications (RTA'11)Message deducibility and static equivalence are central problems in symbolic security protocol analysis. We present FAST, an efficient decision procedure for these problems under subterm-convergent equational theories. FAST is a C++ implementation of an improved version of the algorithm presented in our previous work. This algorithm has a better asymptotic complexity than other algorithms implemented by existing tools for the same task, ...Conference Paper