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] Smart Contract-Based Role Management on the Blockchain
    Ihle, Cornelius
    Sanchez, Omar
    BUSINESS INFORMATION SYSTEMS WORKSHOPS (BIS 2018), 2019, 339 : 335 - 343
  • [22] 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
  • [23] Contract-based formal specification of safety critical systems
    Dong, W
    Wang, J
    Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 7 - 8
  • [24] Formal Safety Assessment via Contract-Based Design
    Bozzano, Marco
    Cimatti, Alessandro
    Mattarei, Cristian
    Tonetta, Stefano
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 81 - 97
  • [25] DesignChain: A Smart Contract-based Customized Production Model
    Baygin, Nursena
    Baygin, Mehmet
    Karakose, Mehmet
    2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC), 2020, : 138 - 141
  • [26] Optimal Contract-Based Mechanisms for Online Data Trading Markets
    Tian, Ling
    Li, Jiaxin
    Li, Wei
    Ramesh, Balasubramaniam
    Cai, Zhipeng
    IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (05) : 7800 - 7810
  • [27] Smart contract-based land registry system to reduce frauds and time delay
    Panda, Sandeep Kumar
    Mohammad, Gouse Baig
    Mohanty, Sachi Nandan
    Sahoo, Sipra
    SECURITY AND PRIVACY, 2021, 4 (05):
  • [28] Towards Smart Contract-Based Verification of Anonymous Credentials
    Muth, Robert
    Galal, Tarek
    Heiss, Jonathan
    Tschorsch, Florian
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2022 INTERNATIONAL WORKSHOPS, 2023, 13412 : 481 - 498
  • [29] SCAC: Smart Contract-Based Access Control in IoT
    Andalib, Abdolreza
    Rezakhani, Afshin
    Aski, Akbar Morshed
    Rahmani, Parisa
    WIRELESS PERSONAL COMMUNICATIONS, 2024, 139 (03) : 1541 - 1563
  • [30] Smart contract-based integrity audit method for IoT
    Wang, Chunbo
    Liu, Xu
    Li, Hang
    Di, Xiaoqiang
    Cong, Ligang
    Zhang, Siyu
    Qi, Hui
    INFORMATION SCIENCES, 2023, 647
12345