Maude-NPA

swMATH12159MaRDI QIDQ24090FDOQ24090

Author name not available (Why is that?)

Described by source

• State space reduction in the Maude-NRL protocol analyzer

Cited In (31)

• Generalized rewrite theories, coherence completion, and symbolic methods
• Twenty years of rewriting logic
• Intruder deduction problem for locally stable theories with normal forms and inverses
• Symbolic computation in Maude: some tapas
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
• Title not available (Why is that?)
• A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols
• Order-sorted Equational Unification Revisited
• Terminating non-disjoint combined unification
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Variant Narrowing and Equational Unification
• Efficient General Unification for XOR with Homomorphism
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• Efficient general AGH-unification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming and symbolic computation in Maude
• Optimization of rewrite theories by equational partial evaluation
• Model Checking Security Protocols
• José Meseguer: Scientist and Friend Extraordinaire
• Computing knowledge in equational extensions of subterm convergent theories
• Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
• Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
• Combining proverif and automated theorem provers for security protocol verification
• Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
• Automated Verification of Equivalence Properties of Cryptographic Protocols
• Two Decades of Maude
• Bounded ACh unification
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: Maude-NPA