Modelling and checking timed authentication of security protocols
From MaRDI portal
Recommendations
Cited in
(17)- Analysing a stream authentication protocol using model checking
- Verification and modelling of authentication protocols
- Timed Traces and Strand Spaces
- Analyzing security protocols using time-bounded task-PIOAs
- scientific article; zbMATH DE number 6300104 (Why is no real title available?)
- Constraint Abstraction in Verification of Security Protocols
- Constraints Solution for Time Sensitive Security Protocols
- Protocol analysis with time
- Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
- Is Your Security Protocol on Time ?
- Timed automata based model checking of timed security protocols
- Modeling and verifying time sensitive security protocols with constraints
- CONCUR 2005 – Concurrency Theory
- Formal analysis of some timed security properties in wireless protocols.
- Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
- Timed models of security protocols including delays in the network
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Modelling and checking timed authentication of security protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422283)
