Tree automata for detecting attacks on protocols with algebraic cryptographic primitives

DOI10.1016/J.ENTCS.2009.05.030MaRDI QIDQ5179050zbMATH OpenOpenAlexFDO

Authors Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Publication date 19 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.05.030

zbMATH Keywords

algebraic propertiesautomatic approximationsecurity protocol

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Cryptography (94A60)

Recommendations

• Handling Algebraic Properties in Automatic Analysis of Security Protocols
• Abstracting cryptographic protocols with tree automata.
• Algebraic Intruder Deductions
• scientific article; zbMATH DE number 1487854
• Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions

Cites work

• Abstracting cryptographic protocols with tree automata.
• Automated verification of selected equivalences for security protocols
• Automatic Analysis of the Security of XOR-Based Key Management Schemes
• Comparing State Spaces in Automatic Security Protocol Analysis
• Computer Aided Verification
• Handling Algebraic Properties in Automatic Analysis of Security Protocols
• Handling left-quadratic rules when completing tree automata
• scientific article; zbMATH DE number 1614701 (Why is no real title available?)
• scientific article; zbMATH DE number 1956589 (Why is no real title available?)
• scientific article; zbMATH DE number 1882021 (Why is no real title available?)
• On the security of public key protocols
• Reachability analysis over term rewriting systems
• The CL-Atse Protocol Analyser
• The NRL Protocol Analyzer: An Overview

Cited in

(4)

• An attack-finding algorithm for security protocols.
• Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Handling Algebraic Properties in Automatic Analysis of Security Protocols

Describes a project that uses

Uses Software

• AVISPA
• Timbuk
• Maude-NPA

This page was built for publication: Tree automata for detecting attacks on protocols with algebraic cryptographic primitives

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