Login / Signup

A Modeling and Verification Framework for Security Protocols.

Mario Lilli
Published in: ABZ (2021)
Keyphrases
  • security protocols
  • lightweight
  • temporal reasoning
  • cryptographic protocols