Generalizing multi-party contract signing

Mauw, Sjouke; Radomirovic, Sasa

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Generalizing multi-party contract signing

Mauw, Sjouke; Radomirovic, Sasa

2015 • In Proc. 4th Conference on Principles of Security and Trust (POST'15)

Peer reviewed

Permalink
https://hdl.handle.net/10993/25932

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

MR15.pdf

Publisher postprint (597.52 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Abstract :

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

Disciplines :

Computer science

Author, co-author :

Mauw, Sjouke ; 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)

External co-authors :

Language :

English

Title :

Generalizing multi-party contract signing

Publication date :

2015

Event name :

4th Conference on Principles of Security and Trust (POST'15)

Event date :

from 11-04-2015 to 18-04-2015

Main work title :

Proc. 4th Conference on Principles of Security and Trust (POST'15)

Publisher :

Springer Verlag, London, UK, Unknown/unspecified

Collection name :

LNCS

Peer reviewed :

Peer reviewed

Commentary :

156--175 9036

Available on ORBilu :

since 17 March 2016

Statistics

Number of views

64 (0 by Unilu)

Number of downloads

65 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Asokan, N.: Fairness in electronic commerce. PhD thesis, Univ. of Waterloo (1998)
Baum-Waidner, B., Waidner, M.: Optimistic asynchronous multi-party contract signing. Research Report RZ 3078 (#93124), IBM Zurich Research Laboratory, Zurich, Switzerland (November 1998)
Baum-Waidner, B., Waidner, M.: Round-optimal and abuse free optimistic multiparty contract signing. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 524–535. Springer, Heidelberg (2000)
Chadha, R., Kremer, S., Scedrov, A.: Formal analysis of multi-party contract signing. In: CSFW 2004, p. 266. IEEE, Washington, DC (2004)
Even, S., Yacobi, Y.: Relations among public key signature systems. Technical Report 175, Computer Science Dept. Technion, Haifa, Isreal (March 1980)
Garay, J.A., Jakobsson, M., MacKenzie, P.D.: Abuse-free optimistic contract signing. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, pp. 449–466. Springer, Heidelberg (1999)
Garay, J.A., MacKenzie, P.D.: Abuse-free multi-party contract signing. In: Jayanti, P. (ed.) DISC 1999. LNCS, vol. 1693, pp. 151–166. Springer, Heidelberg (1999)
Karaenke, P., Kirn, S.: Towards model checking & simulation of a multi-tier negotiation protocol for service chains. In: Int. Found. for Autonomous Agents and Multiagent Systems AAMAS 2010, pp. 1559–1560 (2010)
Katok, E., Pavlov, V.: Fairness in supply chain contracts: a laboratory study. J. of Operations Management 31, 129–137 (2013)
Kordy, B., Radomirović, S.: Constructing optimistic multi-party contract signing protocols. In: CSF 2012, pp. 215–229. IEEE Computer Society (2012)
Kraus, S.: Automated negotiation and decision making in multi-agent environments. In: ACM Multi-agent Systems and Applications, pp. 150–172 (2001)
Krishnan, H., Winter, R.: The economic foundations of supply chain contracting. Foundations and Trends in Technology, Information and Operations Management 5(3-4), 147–309 (2012)
Lu, K., Yahyapour, R., Yaqub, E., Kotsokalis, C.: Structural optimisation of reduced ordered binary decision diagrams for SLA negotiation in IaaS of cloud computing. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol. 7636, pp. 268–282. Springer, Heidelberg (2012)
Mauw, S., Radomirović, S.: Generalizing Multi-party Contract Signing. CoRR, abs/1501.03868 (Extended version.) (2015), http://arxiv.org/abs/1501.03868
Mauw, S., Radomirović, S., Dashti, M.T.: Minimal message complexity of asynchronous multi-party contract signing. In: CSF 2009, pp. 13–25. IEEE (2009)
Mukhamedov, A., Ryan, M.D.: Improved multi-party contract signing. In: Dietrich, S., Dhamija, R. (eds.) FC 2007 and USEC 2007. LNCS, vol. 4886, pp. 179–191. Springer, Heidelberg (2007)
Mukhamedov, A., Ryan, M.D.: Fair multi-party contract signing using private contract signatures. Inf. Comput. 206(2-4), 272–290 (2008)
Schunter, M.: Optimistic Fair Exchange. Phd thesis, Universität des Saarlandes (2000)
Seifert, R., Zequiera, R., Liao, S.: A three-echelon supply chain with price-only contracts and sub-supply chain coordination. Int. J. of Production Economics 138, 345–353 (2012)
Yaqub, E., Wieder, P., Kotsokalis, C., Mazza, V., Pasquale, L., Rueda, J., Gómez, S.G., Chimeno, A.: A generic platform for conducting SLA negotiations. In: Service Level Agreements for Cloud Computing, pp. 187–206. Springer (2011)
Zhang, Y., Zhang, C., Pang, J., Mauw, S.: Game-based verification of contract signing protocols with minimal messages. Innovations in Systems and Software Engineering 8(2), 111–124 (2012)