Login / Signup

Visualization of cryptographic protocols with GRACE.

Giuseppe CattaneoAlfredo De SantisUmberto 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