Cryptographic Protocols Analysis in Event B

DOI10.1007/978-3-642-11486-1_24zbMath1274.94039OpenAlexW1579989646MaRDI QIDQ3402286

Nazim Benaissa, Dominique Méry

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11486-1_24

Mathematics Subject Classification ID

Cryptography (94A60)

This page was built for publication: Cryptographic Protocols Analysis in Event B