Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. - Yingjia Du; Yuan Fei; Sini Chen; Huibiao Zhu (SEKE, 2023)