Algebraic Intruder Deductions
From MaRDI portal
Publication:5387865
DOI10.1007/11591191_38zbMath1143.94339MaRDI QIDQ5387865
Sebastian Mödersheim, Luca Viganò, David A. Basin
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_38
94A60: Cryptography
Related Items
Satisfiability of general intruder constraints with and without a set constructor, Symbolic protocol analysis for monoidal equational theories, Model Checking Security Protocols, The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols, Verifying Cryptographic Protocols with Subterms Constraints, Challenges in the Automated Verification of Security Protocols
Uses Software