Open Access

ARTICLE

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

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

1 School of Electrical Engineering and Automation, East China Jiaotong University, Nanchang, 330013, China
2 School of Software, East China Jiaotong University, Nanchang, 330013, China

* Corresponding Author: Meihua Xiao. Email: