Associative-Commutative Deducibility Constraints

DOI10.1007/978-3-540-70918-3_54zbMATH Open1186.68282OpenAlexW1834812185MaRDI QIDQ3590970FDOQ3590970

Authors: Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune 

Publication date: 3 September 2007

Published in: STACS 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_54

Recommendations

• Associative-commutative deduction with constraints
• Deducibility constraints
• scientific article; zbMATH DE number 96085
• Automated deduction with associative-commutative operators
• scientific article; zbMATH DE number 4118531
• Constrained equational deduction
• Associativity as commutativity
• scientific article; zbMATH DE number 1538018
• scientific article; zbMATH DE number 33115

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Satisfiability of Dolev-Yao constraints
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
• Deducibility constraints
• Symbolic protocol analysis for monoidal equational theories
• Satisfiability of general intruder constraints with and without a set constructor

This page was built for publication: Associative-Commutative Deducibility Constraints

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