Login / Signup

Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis.

Catherine A. Meadows
Published in: CAV (2000)
Keyphrases
  • formal methods
  • formal analysis
  • knowledge based systems
  • software engineering
  • black box