@book{58da72d4b6bf4a6990d46c4e33fe46bf,
title = "A simple procedure for finding guessing attacks (Extended Abstract)",
abstract = "A novel procedure for finding guessing attacks in security protocols is presented. The procedure enjoys a simple and intuitive definition, and is easily implementable.",
keywords = "IR-48692, SCS-Cybersecurity, EWI-796, METIS-220404",
author = "R.J. Corin and Sandro Etalle",
note = "Imported from DIES",
year = "2004",
month = jun,
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "04-23",
address = "Netherlands",
}