Security Protocols: Principles and Calculi

DOI10.1007/978-3-540-74810-6_1zbMath1195.68019OpenAlexW1589057282MaRDI QIDQ3184790

Martín Abadi

Publication date: 22 October 2009

Published in: Foundations of Security Analysis and Design IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74810-6_1

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)