A Formalization of Off-Line Guessing for Security Protocol Analysis.

Paul Hankes Drielsma Sebastian Mödersheim Luca Viganò

Published in: LPAR (2004)

Keyphrases

security protocols
low cost