Algebraic Intruder Deductions
From MaRDI portal
Publication:5387865
DOI10.1007/11591191_38zbMath1143.94339OpenAlexW1518776743MaRDI 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
Related Items
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 ⋮ Satisfiability of general intruder constraints with and without a set constructor ⋮ Symbolic protocol analysis for monoidal equational theories
Uses Software
This page was built for publication: Algebraic Intruder Deductions