Timed models of security protocols including delays in the network

DOI10.17512/JAMCM.2015.3.14MaRDI QIDQ2201162zbMATH OpenOpenAlexFDO

Authors Jacek Piątkowski

Publication date 25 September 2020

Published in Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.17512/jamcm.2015.3.14

zbMATH Keywords

computer sciencemathematical models

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Timed automata based model checking of timed security protocols
• Is Your Security Protocol on Time ?
• scientific article; zbMATH DE number 6300104
• Modelling and checking timed authentication of security protocols
• Constraints Solution for Time Sensitive Security Protocols

Cites work

• A logic of authentication
• scientific article; zbMATH DE number 6300104 (Why is no real title available?)
• On the security of public key protocols

Cited in

(2)

• Constraints Solution for Time Sensitive Security Protocols
• Estimation methods for threats propagation time in technical systems

This page was built for publication: Timed models of security protocols including delays in the network

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