A Proof Theoretic Analysis of Intruder Theories

DOI10.2168/LMCS-6(3:12)2010zbMath1201.68052OpenAlexW3103459153MaRDI QIDQ5890483

Alwen Tiu, Rajeev Goré, Jeremy E. Dawson

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-6(3:12)2010

zbMATH Keywords

sequent calculussecurity protocolsAC-convergent theoriesintruder deduction

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Unnamed Item ⋮ Deducibility constraints and blind signatures ⋮ Intruder deduction problem for locally stable theories with normal forms and inverses ⋮ Unnamed Item

This page was built for publication: A Proof Theoretic Analysis of Intruder Theories