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

Paul Hankes Drielsma, Sebastian Mdersheim, Luca Vigan

Browse the full LPAR paper archive.