scientific article; zbMATH DE number 2111736

MaRDI QIDQ4825545zbMATH OpenFDO

Authors Henrik Pilegaard, Michael R. Hansen, Robin S. Sharp

Publication date 28 October 2004

zbMATH Keywords

interval logicmodellingneighbourhood logic

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Analysis of security protocols as open systems
• Timed Traces and Strand Spaces
• Is Your Security Protocol on Time ?
• Formal correctness of security protocols.
• Formal analysis of some timed security properties in wireless protocols.

Cited in

(5)

• Availability analysis for software system with intrusion tolerance
• Timed Traces and Strand Spaces
• scientific article; zbMATH DE number 1857525 (Why is no real title available?)
• scientific article; zbMATH DE number 1903364 (Why is no real title available?)
• scientific article; zbMATH DE number 7361813 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/HOL

This page was built for publication:

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