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