Login / Signup
Visualization of cryptographic protocols with GRACE.
Giuseppe Cattaneo
Alfredo De Santis
Umberto Ferraro Petrillo
Published in:
J. Vis. Lang. Comput. (2008)
Keyphrases
</>
cryptographic protocols
standard model
security protocols
security properties
authentication protocol
data analysis
security requirements
locally decodable codes