Intruder deduction problem for locally stable theories with normal forms and inverses
From MaRDI portal
Publication:683746
DOI10.1016/j.tcs.2017.01.027zbMath1386.68078MaRDI QIDQ683746
Maribel Fernández, Mauricio Ayala-Rincón, Daniele Nantes-Sobrinho
Publication date: 9 February 2018
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/intruder-deduction-problem-for-locally-stable-theories-with-normal-forms-and-inverses(ae64aacc-3f5d-49cf-9674-e5f36cf0247d).html
associativity; commutativity; AC-matching; intruder deduction problem; locally stable theories; term-rewrite systems
68P25: Data encryption (aspects in computer science)
03B70: Logic in computer science
68Q42: Grammars and rewriting systems
Uses Software