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.
Chapter PDF
References
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 multi-party 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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mauw, S., Radomirović, S. (2015). Generalizing Multi-party Contract Signing. In: Focardi, R., Myers, A. (eds) Principles of Security and Trust. POST 2015. Lecture Notes in Computer Science(), vol 9036. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46666-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-46666-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46665-0
Online ISBN: 978-3-662-46666-7
eBook Packages: Computer ScienceComputer Science (R0)