Timed automata based model checking of timed security protocols
From MaRDI portal
Recommendations
Cited in
(16)- Analyzing security protocols using time-bounded task-PIOAs
- Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
- Timed models of security protocols including delays in the network
- Automated verification of timed security protocols with clock drift
- A multiset rewriting model for specifying and verifying timing aspects of security protocols
- Automated synthesis of enforcing mechanisms for security properties in a timed setting
- Is Your Security Protocol on Time ?
- scientific article; zbMATH DE number 4060690 (Why is no real title available?)
- Formalising a hazard warning communication protocol with timed automata
- Tools and Algorithms for the Construction and Analysis of Systems
- scientific article; zbMATH DE number 6300104 (Why is no real title available?)
- Modelling and checking timed authentication of security protocols
- Verifying security protocols modelled by networks of automata
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
- Formal analysis of some timed security properties in wireless protocols.
- Probability timed automata for investigating communication processes
This page was built for publication: Timed automata based model checking of timed security protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5192937)
