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

J.G. Cederquist; R.J. Corin; M. Torabi Dashti

doi:10.1007/11602897_3

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

J.G. Cederquist, R.J. Corin, M. Torabi Dashti

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	7th International Conference on Information and Communications Security, ICICS 2005
Editors	Sihan Qing, Wenbo Mao, Javier López, Guilin Wang
Place of Publication	Berlin
Publisher	Springer
Pages	27-39
Number of pages	13
ISBN (Print)	3-540-30934-9
DOIs	https://doi.org/10.1007/11602897_3
Publication status	Published - Dec 2005
Event	7th International Conference on Information and Communications Security, ICICS 2005 - Beijing, China Duration: 10 Dec 2005 → 13 Dec 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Volume	3783

Conference

Conference	7th International Conference on Information and Communications Security, ICICS 2005
Period	10/12/05 → 13/12/05
Other	December 10-13, 2005

Keywords

EWI-693
IR-54549
METIS-228805
SCS-Cybersecurity

Access to Document

10.1007/11602897_3

http://eprints.eemcs.utwente.nl/secure2/693/01/Cederquist05on.pdf

Cite this

Cederquist, J. G., Corin, R. J., & Dashti, M. T. (2005). On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol. In S. Qing, W. Mao, J. López, & G. Wang (Eds.), 7th International Conference on Information and Communications Security, ICICS 2005 (pp. 27-39). (Lecture Notes in Computer Science; Vol. 3783). Springer. https://doi.org/10.1007/11602897_3

@inproceedings{f1899ce5239f4ab89498ff26b4bf5732,

title = "On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol",

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.",

keywords = "EWI-693, IR-54549, METIS-228805, SCS-Cybersecurity",

author = "J.G. Cederquist and R.J. Corin and Dashti, {M. Torabi}",

note = "Imported from DIES; 7th International Conference on Information and Communications Security, ICICS 2005 ; Conference date: 10-12-2005 Through 13-12-2005",

year = "2005",

month = dec,

doi = "10.1007/11602897_3",

language = "Undefined",

isbn = "3-540-30934-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "27--39",

editor = "Sihan Qing and Wenbo Mao and Javier L{\'o}pez and Guilin Wang",

booktitle = "7th International Conference on Information and Communications Security, ICICS 2005",

address = "Germany",

}

Cederquist, JG, Corin, RJ & Dashti, MT 2005, On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol. in S Qing, W Mao, J López & G Wang (eds), 7th International Conference on Information and Communications Security, ICICS 2005. Lecture Notes in Computer Science, vol. 3783, Springer, Berlin, pp. 27-39, 7th International Conference on Information and Communications Security, ICICS 2005, 10/12/05. https://doi.org/10.1007/11602897_3

On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol. / Cederquist, J.G.; Corin, R.J.; Dashti, M. Torabi.
7th International Conference on Information and Communications Security, ICICS 2005. ed. / Sihan Qing; Wenbo Mao; Javier López; Guilin Wang. Berlin: Springer, 2005. p. 27-39 (Lecture Notes in Computer Science; Vol. 3783).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Cederquist, J.G.

AU - Corin, R.J.

AU - Dashti, M. Torabi

N1 - Imported from DIES

PY - 2005/12

Y1 - 2005/12

N2 - 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.

AB - 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.

KW - EWI-693

KW - IR-54549

KW - METIS-228805

KW - SCS-Cybersecurity

U2 - 10.1007/11602897_3

DO - 10.1007/11602897_3

M3 - Conference contribution

SN - 3-540-30934-9

T3 - Lecture Notes in Computer Science

SP - 27

EP - 39

BT - 7th International Conference on Information and Communications Security, ICICS 2005

A2 - Qing, Sihan

A2 - Mao, Wenbo

A2 - López, Javier

A2 - Wang, Guilin

PB - Springer

CY - Berlin

T2 - 7th International Conference on Information and Communications Security, ICICS 2005

Y2 - 10 December 2005 through 13 December 2005

ER -