An Asynchronous Optimistic Protocol for Atomic Multi-Two-Party Contract Signing

Draper-Gil, Gerard; Ferrer-Gomila, Josep Lluís; Hinarejos, M. Francisca; Zhou, Jianying

doi:10.1093/comjnl/bxs175

Cited by 9 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some authors [19,[21][22][23][24][25][26][27][28][29][30][31] used definitions that fit the definition we have called hard-timeliness. While other authors [8,9,13,15,[32][33][34][35][36][37][38][39][40][41][42][43][44][45] used definitions that fit the definition we have called soft-timeliness. Some introduced nuance: predetermined time [34,37], agreed time [35,36], bounded time [39], or that the protocol defines a deadline [45].…”

Section: Timelinessmentioning

confidence: 99%

A Hard-Timeliness Blockchain-Based Contract Signing Protocol

Ferrer-Gomila,

Hinarejos

2023

Computers

View full text Add to dashboard Cite

In this article, we present the first proposal for contract signing based on blockchain that meets the requirements of fairness, hard-timeliness, and bc-optimism. The proposal, thanks to the use of blockchain, does not require the use of trusted third parties (TTPs), thus avoiding a point of failure and the problem of signatories having to agree on a TTP that is trusted by both. The presented protocol is fair because it is designed such that no honest signatory can be placed at a disadvantage. It meets the hard-timeliness requirement because both signatories can end the execution of the protocol at any time they wish. Finally, the proposal is bc-optimistic because blockchain functions are only executed in case of exception (and not in each execution of the protocol), with consequent savings when working with public blockchains. No previous proposal simultaneously met these three requirements. In addition to the above, this article clarifies the concept of timeliness, which previously has been defined in a confusing way (starting with the authors who used the term for the first time). We conducted a security review that allowed us to verify that our proposal meets the desired requirements. Furthermore, we provide the specifications of a smart contract designed for the Ethereum blockchain family and verified the economic feasibility of the proposal, ensuring it can be aligned with the financial requirements of different scenarios.

show abstract

Section: Timelinessmentioning

confidence: 99%

A Hard-Timeliness Blockchain-Based Contract Signing Protocol

Ferrer-Gomila,

Hinarejos

2023

Computers

View full text Add to dashboard Cite

show abstract

“…Effectiveness means that if participants behave according to the protocol and none of them wants to terminate a protocol execution, at the end of the protocol execution, the participants will obtain the items they expect, without the intervention of a trusted third party (TTP) [24][25][26]. TTP is introduced in protocols to support their execution and to help protocol participants with the process of exchanging goods.…”

Section: Fair Exchange Requirementsmentioning

confidence: 99%

“…According to the definition of the effectiveness, all participants are assumed to be honest and none of them want to abort the protocol [24][25][26]. This condition is necessary because, in asynchronous systems, message delays are unknown (unbounded), but finite.…”

Section: Effectivenessmentioning

confidence: 99%

FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions

Djuric

Gašević

2014

The Computer Journal

View full text Add to dashboard Cite

In order to be considered secure, a payment system needs to address a number of security issues. Besides fundamental security requirements, like confidentiality, data integrity, authentication and non-repudiation, another important requirement for a secure payment system is fair exchange. Many existing payment protocols require that customers must pay for products before their delivery (in the case of delivery of digital goods) or the delivery of the receipt (in the case of delivery of physical goods). This unfair situation should be eliminated afterwards, that is, it is necessary to rebalance fairness for customers. In order to address these issues, we propose the Fair Exchange Internet Payment Protocol (FEIPS). The FEIPS protocol is designed for the payment of physical goods and falls into the category that uses a trusted third party for assuring fair-exchange. Although FEIPS has a strong emphasis on fair exchange, it still guarantees strong security properties, including confidentiality, data integrity, authentication and non-repudiation. The FEIPS protocol is designed to be simple and practical, unlike other similar protocols designed for the payment of physical goods. To demonstrate that FEIPS satisfies the desired properties, we perform a formal verification using the HLPSL language and the AVISPA tool.

show abstract

Anonymity in Complex Transactions for e-Business

Bîrjoveanu

Bîrjoveanu²

2019

E-Business and Telecommunications

View full text Add to dashboard Cite

An Asynchronous Optimistic Protocol for Atomic Multi-Two-Party Contract Signing

Cited by 9 publications

References 0 publications

A Hard-Timeliness Blockchain-Based Contract Signing Protocol

A Hard-Timeliness Blockchain-Based Contract Signing Protocol

FEIPS: A Secure Fair-Exchange Payment System for Internet Transactions

Anonymity in Complex Transactions for e-Business

Contact Info

Product

Resources

About