Login / Signup

Athena: A New Efficient Automatic Checker for Security Protocol Analysis.

Dawn Xiaodong Song
Published in: CSFW (1999)
Keyphrases
  • security protocols
  • real time
  • cost effective