Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

DOI10.1093/JIGPAL/JZI048MaRDI QIDQ3378195zbMATH OpenOpenAlexFDO

Authors Luca Viganò, Carlos Caleiro, David Basin

Publication date 30 March 2006

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://doc.rero.ch/record/292751/files/jzi048.pdf

zbMATH Keywords

distributed temporal logicprotocol modelssecurity protocolsstrand spaces

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Network protocols (68M12) Distributed systems (68M14)

Recommendations

• Distributed temporal logic for the analysis of security protocol models
• scientific article; zbMATH DE number 1962758
• scientific article; zbMATH DE number 1954376
• Timed Traces and Strand Spaces
• Metareasoning about security protocols using distributed temporal logic

Cited in

(10)

• Secure key management policies in strand spaces
• Metareasoning about security protocols using distributed temporal logic
• Tableau reductions: towards an optimal decision procedure for the modal necessity
• Timed Traces and Strand Spaces
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• Multi-attacker protocol validation
• Distributed temporal logic for the analysis of security protocol models
• Model checking distributed temporal logic
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

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