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

  • J. Cederquist
  • R. Corin
  • M. Torabi Dashti
Conference paper

DOI: 10.1007/11602897_3

Volume 3783 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Cederquist J., Corin R., Dashti M.T. (2005) On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. In: Qing S., Mao W., López J., Wang G. (eds) Information and Communications Security. ICICS 2005. Lecture Notes in Computer Science, vol 3783. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • J. Cederquist
    • 1
  • R. Corin
    • 1
  • M. Torabi Dashti
    • 2
  1. 1.University of Twente 
  2. 2.CWI Amsterdam