Metareasoning about security protocols using distributed temporal logic

MaRDI QIDQ2848036zbMATH OpenFDO

Authors Luca Viganò, Carlos Caleiro, David Basin

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000757

Mathematics Subject Classification ID

Temporal logic (03B44) Network protocols (68M12)

Recommendations

• Distributed temporal logic for the analysis of security protocol models
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Temporal logics of knowledge and their applications in security
• Toward reasoning about security protocols: a semantic approach
• scientific article; zbMATH DE number 1538052

Cited in

(7)

• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• scientific article; zbMATH DE number 1948197 (Why is no real title available?)
• Multi-attacker protocol validation
• Distributed temporal logic for the analysis of security protocol models
• On obligations
• Model checking distributed temporal logic
• On the semantics of Alice \& Bob specifications of security protocols

This page was built for publication: Metareasoning about security protocols using distributed temporal logic

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