Login / Signup

Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.

Misato NakabayashiYuki Okano
Published in: ASSS@AsiaCCS (2021)
Keyphrases
  • key exchange
  • verification method
  • security analysis
  • model checking
  • temporal logic
  • diffie hellman
  • key distribution
  • digital signature
  • secure communication
  • data management
  • database design
  • public key