Ke Yang1, Meihua Xiao2,*, Zehuan Li1
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 >
Login
Register
