A multiset rewriting model for specifying and verifying timing aspects of security protocols

DOI10.1007/978-3-030-19052-1_13MaRDI QIDQ2303374zbMATH OpenOpenAlexFDO

Authors Musab A. Alturki, Tajana Ban Kirigin, Vivek Nigam, Carolyn Talcott, Max Kanovich, Andre Scedrov

Publication date 3 March 2020

Full work available at URL https://discovery.ucl.ac.uk/id/eprint/10081698/

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 2090061
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 6300104
• Timed automata based model checking of timed security protocols
• Is Your Security Protocol on Time ?

Cited in

(3)

• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• scientific article; zbMATH DE number 6300104 (Why is no real title available?)

This page was built for publication: A multiset rewriting model for specifying and verifying timing aspects of security protocols

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