@book{bef1a4f510b042978c5bbfebcc2c5c61,
title = "An Intruder Model for Verifying Termination in Security Protocols",
abstract = "We formally describe an intruder that is suitable for checking fairness properties of security protocols. The intruder is proved to be equivalent to the Dolev-Yao intruder that respects the resilient communication channels assumption, in the sense that, if a fairness property holds in one of these models, it also holds in the other.",
keywords = "IR-54532, METIS-228788, SCS-Cybersecurity, EWI-723",
author = "J.G. Cederquist and M.T. Dashti",
year = "2005",
month = jul,
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "05-29",
address = "Netherlands",
}