Hierarchical Combination of Intruder Theories
From MaRDI portal
Publication:3527287
DOI10.1007/11805618_9zbMath1151.68630MaRDI QIDQ3527287
Michaël Rusinowitch, Yannick Chevalier
Publication date: 25 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11805618_9
94A60: Cryptography
Related Items
Decidability and combination results for two notions of knowledge in security protocols, Symbolic protocol analysis for monoidal equational theories, Challenges in the Automated Verification of Security Protocols, Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions