Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

DOI10.1093/jigpal/jzi048zbMath1098.03039OpenAlexW1987035270MaRDI QIDQ3378195

Luca Viganò, David A. Basin, Carlos Caleiro

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

security protocolsstrand spacesdistributed temporal logicprotocol models

Mathematics Subject Classification ID

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

Related Items

Tableau reductions: towards an optimal decision procedure for the modal necessity, Secure key management policies in strand spaces, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, Multi-attacker protocol validation, Distributed temporal logic for the analysis of security protocol models

Uses Software

• Casper