Authors:
Cătălin Bîrjoveanu
1
and
Mirela Bîrjoveanu
2
Affiliations:
1
Department of Computer Science, “Al.I.Cuza” University of Iaşi, Iaşi, Romania
;
2
Vitesco Technologies, Iaşi, Romania
Keyword(s):
Security Protocols, Formal Verification, Multi-Party E-Commerce, Complex Transactions, Strong Fairness.
Abstract:
Up to now, there are many multi-party fair exchange protocols with applications in buying physical/digital goods, digital signature of contracts and certified e-mail, but there is no e-commerce protocol that allows multiple intermediaries to perform aggregate, chained or optional transactions. In this paper, we propose the first multi-party e-commerce complex transaction protocol that allows the customer to acquire some physical products through many intermediaries and providers. Considering complex transactions rise new challenges for assuring strong fairness, that are not appearing in two-party transactions. The objective of our proposal is to ensure strong fairness, effectiveness, timeliness, non-repudiation and confidentiality in a multi-party scenario. The formal verification of our proposal using Cl-AtSe model checker proves that all security requirements mentioned above are satisfied.