TY - GEN
T1 - Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP
AU - Zhu, Bangjie
AU - Yin, Jiaqi
AU - Chen, Sini
AU - Zhu, Huibiao
N1 - Publisher Copyright:
© 2024 Copyright held by the owner/author(s).
PY - 2024/4/8
Y1 - 2024/4/8
N2 - Smart contracts are widely applied in financial delegation contracts to address contract fraud. The smart contract delegation contract signing mechanism (DCSM-SC) effectively tackles fraud risks arising from information and interest asymmetry. However, in dealing with financial contracts, a formalized analysis method is necessary.This paper models the delegation contract signing mechanism involving six key entities using CSP (Communicating Sequential Processes), and employs the PAT (Process Analysis Toolkit) model checker to verify six key properties: deadlock freedom, divergence freedom, data reachability, data correctness, anti-attack capability, and data leakage under the threat of intermediary attacks.
AB - Smart contracts are widely applied in financial delegation contracts to address contract fraud. The smart contract delegation contract signing mechanism (DCSM-SC) effectively tackles fraud risks arising from information and interest asymmetry. However, in dealing with financial contracts, a formalized analysis method is necessary.This paper models the delegation contract signing mechanism involving six key entities using CSP (Communicating Sequential Processes), and employs the PAT (Process Analysis Toolkit) model checker to verify six key properties: deadlock freedom, divergence freedom, data reachability, data correctness, anti-attack capability, and data leakage under the threat of intermediary attacks.
KW - communicating sequential processes (CSP)
KW - delegate contract signing mechanism (DCSM)
KW - modeling
KW - smart contract
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=85197674237&partnerID=8YFLogxK
U2 - 10.1145/3605098.3636187
DO - 10.1145/3605098.3636187
M3 - 会议稿件
AN - SCOPUS:85197674237
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 300
EP - 302
BT - 39th Annual ACM Symposium on Applied Computing, SAC 2024
PB - Association for Computing Machinery
T2 - 39th Annual ACM Symposium on Applied Computing, SAC 2024
Y2 - 8 April 2024 through 12 April 2024
ER -