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
相关论文
共 50 条
  • [21] A Smart Contract-Based Access Control Framework For Smart Healthcare Systems
    Abid, Amal
    Cheikhrouhou, Saoussen
    Kallel, Slim
    Tari, Zahir
    Jmaiel, Mohamed
    COMPUTER JOURNAL, 2024, 67 (02) : 407 - 422
  • [22] ET-DeaL: A P2P Smart Contract-based Secure Energy Trading Scheme for Smart Grid Systems
    Kumari, Aparna
    Shukla, Arpit
    Gupta, Rajesh
    Tanwar, Sudeep
    Tyagi, Sudhanshu
    Kumar, Neeraj
    IEEE INFOCOM 2020 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2020, : 1051 - 1056
  • [23] R2SC: RBAC system smart contract-based
    Dias, Lucas Vargas
    Rizzetti, Tiago Antonio
    Brignol, Wagner
    Canha, Luciane Neves
    REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2024, 16 (03): : 116 - 123
  • [24] Smart Contract-based Car Insurance Policies
    Bader, Lennart
    Buerger, Jens Christoph
    Matzutt, Roman
    Wehrle, Klaus
    2018 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), 2018,
  • [25] Smart Contract-Based Role Management on the Blockchain
    Ihle, Cornelius
    Sanchez, Omar
    BUSINESS INFORMATION SYSTEMS WORKSHOPS (BIS 2018), 2019, 339 : 335 - 343
  • [26] Smart Contract-Based Agricultural Food Supply Chain Traceability
    Wang, Lu
    Xu, Longqin
    Zheng, Zhiying
    Liu, Shuangyin
    Li, Xiangtong
    Cao, Liang
    Li, Jingbin
    Sun, Chuanheng
    IEEE ACCESS, 2021, 9 : 9296 - 9307
  • [27] ChainOps for Smart Contract-Based Distributed Applications
    Van den Heuvel, Willem-Jan
    Tamburri, Damian A.
    D'Amici, Damiano
    Izzo, Fabiano
    Potten, S.
    BUSINESS MODELING AND SOFTWARE DESIGN (BMSD 2021), 2021, 422 : 374 - 383
  • [28] Smart contract-based secure cooperative spectrum sensing algorithm
    Ji, Chu
    Zhu, Qi
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2021, 17 (12)
  • [29] A Smart Contract-Based Dynamic Consent Management System for Personal Data Usage under GDPR
    Merlec, Mpyana Mwamba
    Lee, Youn Kyu
    Hong, Seng-Phil
    In, Hoh Peter
    SENSORS, 2021, 21 (23)
  • [30] SmartDED: A Blockchain- and Smart Contract-Based Digital Electronic Detonator Safety Supervision System
    Liu, Na
    Tsai, Wei-Tek
    FUTURE INTERNET, 2024, 16 (05)
12345