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

DOI10.1007/978-3-030-19052-1_13OpenAlexW2945367423MaRDI QIDQ2303374

Carolyn L. Talcott, Vivek Nigam, Musab A. Alturki, Tajana Ban Kirigin, Andrej Scedrov, Max I. Kanovich

Publication date: 3 March 2020

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

Mathematics Subject Classification ID

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

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