Symbolic analysis of identity-based protocols
From MaRDI portal
Publication:2303367
DOI10.1007/978-3-030-19052-1_9OpenAlexW2945251958MaRDI QIDQ2303367
Ralf Sasse, Lucca Hirschi, David A. Basin
Publication date: 3 March 2020
Full work available at URL: http://hdl.handle.net/20.500.11850/344054
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Network protocols (68M12)
This page was built for publication: Symbolic analysis of identity-based protocols