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 条
  • [1] Formal Modeling of Smart Contract-based Trading System
    Park, Woong Sub
    Lee, Hyuk
    Choi, Jin-Young
    2021 23RD INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT 2021): ON-LINE SECURITY IN PANDEMIC ERA, 2021, : 48 - 52
  • [2] Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA
    Yoon, Seongho
    Choi, Jin-Young
    IEEE ACCESS, 2025, 13 : 62060 - 62070
  • [3] Smart Contract-based Computing Resources Trading in Edge Computing
    Song, Jinyue
    Gu, Tianbo
    Ge, Yunjie
    Mohapatra, Prasant
    2020 IEEE 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS (IEEE PIMRC), 2020,
  • [4] Smart Contract-Based Secure Decentralized Smart Healthcare System
    Raj, Anu
    Prakash, Shiva
    INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2023, 11 (01) : 27 - 27
  • [5] Ethereum smart contract-based automated power trading algorithm in a microgrid environment
    Myung, Sein
    Lee, Jong-Hyouk
    JOURNAL OF SUPERCOMPUTING, 2020, 76 (07) : 4904 - 4914
  • [6] Ethereum smart contract-based automated power trading algorithm in a microgrid environment
    Sein Myung
    Jong-Hyouk Lee
    The Journal of Supercomputing, 2020, 76 : 4904 - 4914
  • [7] AaYusH: A Smart Contract-based Telesurgery System for Healthcare 4.0
    Gupta, Rajesh
    Shukla, Arpit
    Tanwar, Sudeep
    2020 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS WORKSHOPS (ICC WORKSHOPS), 2020,
  • [8] Proposal of a smart contract-based security token management system
    Fujimoto, Shingo
    Omote, Kazumasa
    2022 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2022), 2022, : 419 - 426
  • [9] A Smart Contract-Based P2P Energy Trading System with Dynamic Pricing on Ethereum Blockchain
    Song, Jae Geun
    Kang, Eung Seon
    Shin, Hyeon Woo
    Jang, Ju Wook
    SENSORS, 2021, 21 (06) : 1 - 27
  • [10] A Smart Contract-based Decentralized Marketplace System to Promote Reviewer Anonymity
    Aljohani, Meshari
    Mukkamala, Ravi
    Olariu, Stephan
    2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC, 2023,
12345