Login / Signup

The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.

Michael BackesStefan LorenzMatteo MaffeiKim Pecina
Published in: CAV (2008)
Keyphrases
  • security protocols
  • search engine