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

DOI10.1007/978-3-030-19052-1zbMATH Open1412.68009OpenAlexW4254710982MaRDI QIDQ2311544FDOQ2311544

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

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

Cited In (4)

• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.
• Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures
• Computing Knowledge in Security Protocols under Convergent Equational Theories
• Title not available (Why is that?)

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)