EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

693 On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol

Home Policy Brochure Browse Search User Area Contact Help

Cederquist, J.G. and Corin, R.J. and Torabi Dashti, M. (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, 10-13 Dec 2005, Beijing, China. pp. 27-39. Lecture Notes in Computer Science 3783. Springer-Verlag. ISBN 3-540-30934-9

Full text available as:

PDF

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
393 Kb

Official URL: http://dx.doi.org/10.1007/11602897_3

Abstract

We design and model-check a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler than current proposals, due mainly to the avoidance of using session labels. Our analysis technique is supported by exposing several vulnerabilities on weaker versions of our protocol. Some of the properties we check are liveness properties. To verify these, we use an intruder that respects the resilient communication channels assumption.

Item Type:	Conference or Workshop Paper (Proceedings UNSPECIFIED, Presentation Type UNSPECIFIED)
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, PAW: Privacy in an Ambient World
Additional Information:	Imported from DIES
ID Code:	693
Status:	Published
Deposited On:	12 December 2005
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item