Formal analysis of some timed security properties in wireless protocols.

DOI10.1007/B94120MaRDI QIDQ5902546zbMATH OpenOpenAlexFDO

Authors Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli

Publication date 12 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94120

zbMATH Keywords

formal analysissecuritysensor networkswireless communication

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• Is Your Security Protocol on Time ?
• Timed automata based model checking of timed security protocols
• Tools and Algorithms for the Construction and Analysis of Systems
• Modelling and checking timed authentication of security protocols
• Protocol analysis with time

Cited in

(8)

• Formal models and analysis of secure multicast in wired and wireless networks
• Automated verification of timed security protocols with clock drift
• Formal analysis of security protocols for wireless sensor networks
• scientific article; zbMATH DE number 1956549 (Why is no real title available?)
• scientific article; zbMATH DE number 2111736 (Why is no real title available?)
• Verification of the TESLA protocol in MCMAS-X
• Some Notes on the Security of the Timed Efficient Stream Loss-Tolerant Authentication Scheme
• A formal analysis of timing channel security via bucketing

This page was built for publication: Formal analysis of some timed security properties in wireless protocols.

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