Transformations between Cryptographic Protocols

DOI10.1007/978-3-642-03459-6_8zbMath1252.94070OpenAlexW1811341931MaRDI QIDQ3184715

Joshua D. Guttman

Publication date: 22 October 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-03459-6_8

Mathematics Subject Classification ID

Cryptography (94A60)

This page was built for publication: Transformations between Cryptographic Protocols