The CL-Atse Protocol Analyser

DOI10.1007/11805618_21MaRDI QIDQ3527301zbMATH OpenOpenAlexFDO

Authors Mathieu Turuani

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_21

Mathematics Subject Classification ID

Cryptography (94A60) Grammars and rewriting systems (68Q42)

Recommendations

• A novel framework for protocol analysis
• The NRL Protocol Analyzer: An Overview
• scientific article; zbMATH DE number 1903364
• Protocol analysis and synthesis by structured partitions
• Protocol verification with the Aldébaran toolset

Cited in

(12)

• Comparing State Spaces in Automatic Security Protocol Analysis
• Tree automata for detecting attacks on protocols with algebraic cryptographic primitives
• Distributed temporal logic for the analysis of security protocol models
• Intruder deduction for the equational theory of abelian groups with distributive encryption
• scientific article; zbMATH DE number 1903364 (Why is no real title available?)
• Graph-embedded rewrite systems: combination and undecidability results
• Model Checking Security Protocols
• Computing knowledge in equational extensions of subterm convergent theories
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Cathy Meadows: a central figure in protocol analysis
• Intruder deducibility constraints with negation. Decidability and application to secured service compositions
• Satisfiability of general intruder constraints with and without a set constructor

Describes a project that uses

Uses Software

• AVISPA

This page was built for publication: The CL-Atse Protocol Analyser

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