Login / Signup

Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties.

Pascal LafourcadeMaxime Puys
Published in: FPS (2015)
Keyphrases
  • cryptographic protocols
  • security properties
  • algebraic properties
  • standard model
  • security protocols
  • formal verification
  • authentication protocol
  • data points
  • formal model
  • formal methods