Ke Yang¹, Meihua Xiao^2,*, Zehuan Li¹

CMES-Computer Modeling in Engineering & Sciences, Vol.138, No.3, pp. 2641-2663, 2024, DOI:10.32604/cmes.2023.031458

Abstract Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner. These protocols are widely used in electronic payment systems and electronic contract signing, ensuring the reliability and security of network transactions. In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols, this paper proposes a formal model for analyzing such protocols. The proposed model begins with a thorough analysis of fair exchange protocols, followed by the formal definition of fairness. This definition accurately captures the inherent requirements of… More >

Syed Rameez Naqvi¹, Adnan Ahmad¹, S. M. Riazul Islam^2,*, Tallha Akram¹, M. Abdullah-Al-Wadud³, Atif Alamri⁴

CMC-Computers, Materials & Continua, Vol.70, No.1, pp. 1509-1526, 2022, DOI:10.32604/cmc.2022.019653

Abstract Scheduling a sports tournament is a complex optimization problem, which requires a large number of hard constraints to satisfy. Despite the availability of several such constraints in the literature, there remains a gap since most of the new sports events pose their own unique set of requirements, and demand novel constraints. Specifically talking of the strictly time bound events, ensuring fairness between the different teams in terms of their rest days, traveling, and the number of successive games they play, becomes a difficult task to resolve, and demands attention. In this work, we present a similar situation with a recently… More >