Associative-Commutative Deducibility Constraints

DOI10.1007/978-3-540-70918-3_54zbMath1186.68282OpenAlexW1834812185MaRDI QIDQ3590970

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

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

Mathematics Subject Classification ID

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

Related Items (3)

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

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