Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows

DOI10.1007/978-3-030-19052-1MaRDI QIDQ2311544zbMATH OpenOpenAlexFDO

Authors

Publication date 10 July 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-19052-1

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited in

(4)

• Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures
• scientific article; zbMATH DE number 7301460 (Why is no real title available?)
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.

This page was built for publication: Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows

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