Generalizing multi-party contract signing

Sjouke Mauw; Saša Radomirović

doi:10.1007/978-3-662-46666-7_9

Generalizing multi-party contract signing

Sjouke Mauw (Lead / Corresponding author), Saša Radomirović

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear protocols or fully parallel broadcasting protocols. We introduce the new class of DAG MPCS protocols which combines parallel and linear execution and allows for parallelism even within a signer role. This generalization is useful in practical applications where the set of signers has a hierarchical structure, such as chaining of service level agreements and subcontracting. Our novel DAG MPCS protocols are represented by directed acyclic graphs and equipped with a labeled transition system semantics. We define the notion of abort-chaining sequences and prove that a DAG MPCS protocol satisfies fairness if and only if it does not have an abort-chaining sequence. We exhibit several examples of optimistic fair DAG MPCS protocols. The fairness of these protocols follows from our theory and has additionally been verified with our automated tool. We define two complexity measures for DAG MPCS protocols, related to execution time and total number of messages exchanged. We prove lower bounds for fair DAG MPCS protocols in terms of these measures.

Original language	English
Title of host publication	Principles of Security and Trust
Subtitle of host publication	4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings
Editors	Riccardo Focardi, Andrew Myers
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	156-175
Number of pages	20
ISBN (Electronic)	9783662466667
ISBN (Print)	9783662466650
DOIs	https://doi.org/10.1007/978-3-662-46666-7_9
Publication status	Published - 2015
Event	4th International Conference on Principles of Security and Trust - Mile End campus of Queen Mary University of London., London, United Kingdom Duration: 16 Apr 2015 → 17 Apr 2015 https://www.etaps.org/index.php/2015/post (Link to Conference website)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9036
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Principles of Security and Trust
Abbreviated title	POST 2015
Country/Territory	United Kingdom
City	London
Period	16/04/15 → 17/04/15
Other	POST 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
Internet address	https://www.etaps.org/index.php/2015/post (Link to Conference website)

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-662-46666-7_9

Cite this

Mauw, S., & Radomirović, S. (2015). Generalizing multi-party contract signing. In R. Focardi, & A. Myers (Eds.), Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings (pp. 156-175). (Lecture Notes in Computer Science ; Vol. 9036). Springer Verlag. https://doi.org/10.1007/978-3-662-46666-7_9

Mauw, Sjouke ; Radomirović, Saša. / Generalizing multi-party contract signing. Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. editor / Riccardo Focardi ; Andrew Myers. Berlin : Springer Verlag, 2015. pp. 156-175 (Lecture Notes in Computer Science ).

@inproceedings{915438cbd0df4dd99a1578c881e3206c,

title = "Generalizing multi-party contract signing",

abstract = "Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear protocols or fully parallel broadcasting protocols. We introduce the new class of DAG MPCS protocols which combines parallel and linear execution and allows for parallelism even within a signer role. This generalization is useful in practical applications where the set of signers has a hierarchical structure, such as chaining of service level agreements and subcontracting. Our novel DAG MPCS protocols are represented by directed acyclic graphs and equipped with a labeled transition system semantics. We define the notion of abort-chaining sequences and prove that a DAG MPCS protocol satisfies fairness if and only if it does not have an abort-chaining sequence. We exhibit several examples of optimistic fair DAG MPCS protocols. The fairness of these protocols follows from our theory and has additionally been verified with our automated tool. We define two complexity measures for DAG MPCS protocols, related to execution time and total number of messages exchanged. We prove lower bounds for fair DAG MPCS protocols in terms of these measures.",

author = "Sjouke Mauw and Sa{\v s}a Radomirovi{\'c}",

note = "No funding info; 4th International Conference on Principles of Security and Trust, POST 2015 ; Conference date: 16-04-2015 Through 17-04-2015",

year = "2015",

doi = "10.1007/978-3-662-46666-7_9",

language = "English",

isbn = "9783662466650",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "156--175",

editor = "Focardi, {Riccardo } and Myers, {Andrew }",

booktitle = "Principles of Security and Trust",

address = "Germany",

url = "https://www.etaps.org/index.php/2015/post",

}

Mauw, S & Radomirović, S 2015, Generalizing multi-party contract signing. in R Focardi & A Myers (eds), Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. Lecture Notes in Computer Science , vol. 9036, Springer Verlag, Berlin, pp. 156-175, 4th International Conference on Principles of Security and Trust, London, United Kingdom, 16/04/15. https://doi.org/10.1007/978-3-662-46666-7_9

Generalizing multi-party contract signing. / Mauw, Sjouke (Lead / Corresponding author); Radomirović, Saša.
Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. ed. / Riccardo Focardi; Andrew Myers. Berlin: Springer Verlag, 2015. p. 156-175 (Lecture Notes in Computer Science ; Vol. 9036).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Generalizing multi-party contract signing

AU - Mauw, Sjouke

AU - Radomirović, Saša

N1 - No funding info

PY - 2015

Y1 - 2015

N2 - Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear protocols or fully parallel broadcasting protocols. We introduce the new class of DAG MPCS protocols which combines parallel and linear execution and allows for parallelism even within a signer role. This generalization is useful in practical applications where the set of signers has a hierarchical structure, such as chaining of service level agreements and subcontracting. Our novel DAG MPCS protocols are represented by directed acyclic graphs and equipped with a labeled transition system semantics. We define the notion of abort-chaining sequences and prove that a DAG MPCS protocol satisfies fairness if and only if it does not have an abort-chaining sequence. We exhibit several examples of optimistic fair DAG MPCS protocols. The fairness of these protocols follows from our theory and has additionally been verified with our automated tool. We define two complexity measures for DAG MPCS protocols, related to execution time and total number of messages exchanged. We prove lower bounds for fair DAG MPCS protocols in terms of these measures.

AB - Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear protocols or fully parallel broadcasting protocols. We introduce the new class of DAG MPCS protocols which combines parallel and linear execution and allows for parallelism even within a signer role. This generalization is useful in practical applications where the set of signers has a hierarchical structure, such as chaining of service level agreements and subcontracting. Our novel DAG MPCS protocols are represented by directed acyclic graphs and equipped with a labeled transition system semantics. We define the notion of abort-chaining sequences and prove that a DAG MPCS protocol satisfies fairness if and only if it does not have an abort-chaining sequence. We exhibit several examples of optimistic fair DAG MPCS protocols. The fairness of these protocols follows from our theory and has additionally been verified with our automated tool. We define two complexity measures for DAG MPCS protocols, related to execution time and total number of messages exchanged. We prove lower bounds for fair DAG MPCS protocols in terms of these measures.

UR - http://www.scopus.com/inward/record.url?scp=84926616589&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-46666-7_9

DO - 10.1007/978-3-662-46666-7_9

M3 - Conference contribution

AN - SCOPUS:84926616589

SN - 9783662466650

T3 - Lecture Notes in Computer Science

SP - 156

EP - 175

BT - Principles of Security and Trust

A2 - Focardi, Riccardo

A2 - Myers, Andrew

PB - Springer Verlag

CY - Berlin

T2 - 4th International Conference on Principles of Security and Trust

Y2 - 16 April 2015 through 17 April 2015

ER -

Mauw S, Radomirović S. Generalizing multi-party contract signing. In Focardi R, Myers A, editors, Principles of Security and Trust: 4th International Conference, POST 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings. Berlin: Springer Verlag. 2015. p. 156-175. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-662-46666-7_9

Generalizing multi-party contract signing

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this