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


Share/Save/Bookmark

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.

[img]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:
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

 

Repository Staff Only: item control page

Metis ID: 228805