Sign in
Security Analysis of a Key Exchange Protocol under Dolev-Yao Threat Model Using Tamarin Prover.
Singam Bhargav Ram
Vanga Odelu
Published in:
CCWC (2022)
Keyphrases
</>
security analysis
formal model
similarity measure
software systems