EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


723 An Intruder Model for Verifying Termination in Security Protocols
 Home Policy Brochure Browse Search User Area Contact Help

Cederquist, J.G. and Torabi Dashti, M. (2005) An Intruder Model for Verifying Termination in Security Protocols. Technical Report TR-CTIT-05-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
176 Kb
Exported to Metis

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.

Item Type:Internal Report (Technical Report)
Research Group:EWI-DIES: Distributed and Embedded Security
Research Program:CTIT-ISTRICE: Integrated Security and Privacy in a Networked World
Research Project:Account: Accountability in Electronic Commerce Protocols
Additional Information:Imported from DIES
ID Code:723
Deposited On:12 December 2005
Refereed:No
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item