scientific article; zbMATH DE number 2111736

zbMATH Open1094.68524MaRDI QIDQ4825545FDOQ4825545

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

Publication date: 28 October 2004

Title of this publication is not available (Why is that?)

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.

zbMATH Keywords

modellinginterval logicneighbourhood logic

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (5)

• Title not available (Why is that?)
• Timed Traces and Strand Spaces
• Availability analysis for software system with intrusion tolerance
• Title not available (Why is that?)
• Title not available (Why is that?)

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)