On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol

Cederquist, J. and Corin, R. and Dashti, M. Torabi (2005) On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. In: 7th International Conference on Information and Communications Security, ICICS 2005, December 10-13, 2005, Beijing, China.

PDF
Restricted to UT campus only: Request a copy
392Kb

Abstract:	We design and analyze a simple optimistic fair non-repudia- tion protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidance of using session labels. We model-check both safety and liveness properties. The safety properties are verified using a standard intruder, and the liveness properties using an intruder that respects the resilient communication channels assumption. Finally, to provide further confidence in the protocol, several vulnerabilities on weaker versions of our protocol are exposed.
Item Type:	Conference or Workshop Item
Copyright:	© 2005 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/54549
Official URL:	http://dx.doi.org/10.1007/11602897_3
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 228805