Login / Signup

Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif.

Bruno Blanchet
Published in: FOSAD (2013)
Keyphrases
  • high level
  • formal model
  • probabilistic model
  • qualitative and quantitative
  • symbolic representation
  • security protocols