Formal Modeling of Smart Contract-based Trading System

被引：0

作者：

Park, Woong Sub ^{[1
]}

Lee, Hyuk ^{[1
]}

Choi, Jin-Young ^{[1
]}

机构：

[1] Korea Univ, Sch Cybersecur, Seoul 02841, South Korea

来源：

2022 24TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT): ARITIFLCIAL INTELLIGENCE TECHNOLOGIES TOWARD CYBERSECURITY | 2022年

基金：

新加坡国家研究基金会;

关键词：

Blockchain; Smart Contract; Formal Specification; Formal Verification; Model Checking;

D O I：

暂无

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

With the development of blockchain technology, the fields of use of smart contracts are diversifying. Blockchain-based smart contracts are suitable in areas where integrity and transparency must be guaranteed with distributed ledger technology as the core. However, once the system is deployed, it cannot be modified, so it is important to ensure that the system works with the requirements and principles of the smart contract at the design stage. Therefore, in this paper, we aim to show that the system is accurate without contradictions/errors through formal verification using UPPAAL, a formal verification tool for the public descending auction system (Dutch Auction).

引用

页码：48 / +

页数：5

共 17 条

[1]

Alur R., 1990, Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (90CH2897-7), P414, DOI 10.1109/LICS.1990.113766

[2]

Andrychowicz Marcin, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P7, DOI 10.1007/978-3-319-10512-3_2

[3] Model-checking Timed Temporal Logics [J].

Bouyer, Patricia .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 :323-341

[4]

Cimatti A., 2002, P 14 INT C COMP AID, P359, DOI 10.1007/3-540-45657-029

[5]

Clarke EM, 2008, LECT NOTES COMPUT SC, V5000, P196

[6] Formal methods: State of the art and future directions [J].

Clarke, EM ;

Wing, JM .

ACM COMPUTING SURVEYS, 1996, 28 (04) :626-643

[7] RBAC-SC: Role-Based Access Control Using Smart Contract [J].

Cruz, Jason Paul ;

Kaji, Yuichi ;

Yanai, Naoto .

IEEE ACCESS, 2018, 6 :12240-12251

[8]

Ethereum, About us

[9] Healthcare Blockchain System Using Smart Contracts for Secure Automated Remote Patient Monitoring [J].

Griggs, Kristen N. ;

Ossipova, Olya ;

Kohlios, Christopher P. ;

Baccarini, Alessandro N. ;

Howson, Emily A. ;

Hayajneh, Thaier .

JOURNAL OF MEDICAL SYSTEMS, 2018, 42 (07)

[10] The model checker SPIN [J].

Holzmann, GJ .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295

← 1 2 →