Effectively Checking the Finite Variant Property

DOI10.1007/978-3-540-70590-1_6MaRDI QIDQ3522010zbMATH OpenOpenAlexFDO

Authors Santiago Escobar, José Meseguer, Ralf Sasse

Publication date 28 August 2008

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70590-1_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Term Rewriting and Applications
• On Forward Closure and the Finite Variant Property
• Variant narrowing and equational unification
• Rule-based unification in combined theories and the finite variant property
• Variants in the Infinitary Unification Wonderland

Cites work

• scientific article; zbMATH DE number 1722701 (Why is no real title available?)
• scientific article; zbMATH DE number 3817070 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
• Conditional rewriting logic as a unified model of concurrency
• Effectively Checking the Finite Variant Property
• Equational rules for rewriting logic
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Term Rewriting and Applications
• Termination of term rewriting using dependency pairs
• Variant narrowing and equational unification

Cited in

(8)

• Variant narrowing and equational unification
• State space reduction in the Maude-NRL protocol analyzer
• Effectively Checking the Finite Variant Property
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
• An integrated framework for the diagnosis and correction of rule-based programs
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• Twenty years of rewriting logic
• Termination Modulo Combinations of Equational Theories

This page was built for publication: Effectively Checking the Finite Variant Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522010)