Deducibility Constraints, Equational Theory and Electronic Money
From MaRDI portal
Publication:3608818
DOI10.1007/978-3-540-73147-4_10zbMath1186.68283MaRDI QIDQ3608818
Sergiu Bursuc, Stéphanie Delaune, Hubert Comon-Lundh
Publication date: 6 March 2009
Published in: Rewriting, Computation and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_10
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68M12: Network protocols
Related Items
Intruder deduction problem for locally stable theories with normal forms and inverses, Challenges in the Automated Verification of Security Protocols, Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions