Algebraic Intruder Deductions

DOI10.1007/11591191_38MaRDI QIDQ5387865zbMATH OpenOpenAlexFDO

Authors Sebastian Mödersheim, Luca Viganò, David 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

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Easy intruder deductions
• Handling Algebraic Properties in Automatic Analysis of Security Protocols
• Automata, Languages and Programming
• Easy intruder deduction problems with homomorphisms
• Symbolic protocol analysis for monoidal equational theories

Cited in

(29)

• On the freedom of decryption
• Easy intruder deduction problems with homomorphisms
• Dolev-Yao theory with associative blindpair operators
• Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures
• Symbolic protocol analysis for monoidal equational theories
• On the relative soundness of the free algebra model for public key encryption
• Alice and Bob meet equational theories
• Model Checking Security Protocols
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Protocol security analysis based on an ideal
• An algebraic approach to the verification of a class of Diffie-Hellman protocols
• Verifying Cryptographic Protocols with Subterms Constraints
• Handling Algebraic Properties in Automatic Analysis of Security Protocols
• Challenges in the Automated Verification of Security Protocols
• Deducibility Constraints, Equational Theory and Electronic Money
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
• scientific article; zbMATH DE number 2080671 (Why is no real title available?)
• Satisfiability of general intruder constraints with and without a set constructor
• Tree automata for detecting attacks on protocols with algebraic cryptographic primitives
• Formalization in PVS of balancing properties necessary for proving security of the Dolev-Yao cascade protocol model
• Easy intruder deductions
• Term Rewriting and Applications
• A proof theoretic analysis of intruder theories
• Introducing commutative and associative operators in cryptographic protocol analysis
• A Proof Theoretic Analysis of Intruder Theories
• An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
• An undecidability result for AGh
• Algebra model and security analysis for cryptographic protocols
• Intruder deduction for the equational theory of abelian groups with distributive encryption

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Algebraic Intruder Deductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387865)