G2C: Cryptographic Protocols from Goal-Driven Specifications

DOI10.1007/978-3-642-27375-9_4zbMath1378.94021OpenAlexW1503039166MaRDI QIDQ2902917

Raphael M. Reischuk, Kim Pecina, Michael Backes, Matteo Maffei

Publication date: 22 August 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-27375-9_4

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Related Items (2)

Active Linking Attacks ⋮ G2C

Uses Software

• Gecode
• AURA

This page was built for publication: G2C: Cryptographic Protocols from Goal-Driven Specifications