Reference : Generalizing multi-party contract signing
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25932
Generalizing multi-party contract signing
English
Mauw, Sjouke mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Radomirovic, Sasa [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SnT) > >]
2015
Proc. 4th Conference on Principles of Security and Trust (POST'15)
Springer Verlag
LNCS
Yes
London, UK
4th Conference on Principles of Security and Trust (POST'15)
from 11-04-2015 to 18-04-2015
[en] 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 abortchaining 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.
http://hdl.handle.net/10993/25932
156--175
9036

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
MR15.pdfPublisher postprint583.52 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.