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 条
  • [41] Smart contract-based secure cooperative spectrum sensing algorithm
    Ji, Chu
    Zhu, Qi
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2021, 17 (12)
  • [42] DCSS: A Smart Contract-based Data Continuous Storage Scheme
    Wang, Kun
    Wu, Qianhong
    Han, Tianxu
    Wang, Yujue
    Zhang, Yingmiao
    Qin, Bo
    PROCEEDINGS OF THE 5TH ACM INTERNATIONAL SYMPOSIUM ON BLOCKCHAIN AND SECURE CRITICAL INFRASTRUCTURE, ACM BSCI 2023, 2023, : 53 - 63
  • [43] SmartSharing: A CDN with Smart Contract-based Local OTT Sharing
    Fan, Jiamin
    Wu, Kui
    Liu, Daming
    Tang, Guoming
    2020 IFIP NETWORKING CONFERENCE AND WORKSHOPS (NETWORKING), 2020, : 631 - 633
  • [44] Trust and Reputation in Vehicular Networks: A Smart contract-based approach
    Malik, Nisha
    Nanda, Priyadarsi
    He, Xiangjian
    Liu, Ren Ping
    2019 18TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS/13TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (TRUSTCOM/BIGDATASE 2019), 2019, : 34 - 41
  • [45] Smart contract-based security architecture for collaborative services in municipal smart cities
    Siddiqui, Shahbaz
    Hameed, Sufian
    Shah, Syed Attique
    Khan, Abdul Kareem
    Aneiba, Adel
    JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 135
  • [46] Smart Contract-Based Blockchain-Envisioned Authentication Scheme for Smart Farming
    Vangala, Anusha
    Sutrala, Anil Kumar
    Das, Ashok Kumar
    Jo, Minho
    IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (13) : 10792 - 10806
  • [47] Secure smart contract-based digital twins for the Internet of Things
    Pittaras, Iakovos
    Fotiou, Nikos
    Karapapas, Christos
    Siris, Vasilios A.
    Polyzos, George C.
    BLOCKCHAIN-RESEARCH AND APPLICATIONS, 2024, 5 (01):
  • [48] 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
  • [49] Smart Contract-Based Trusted Content Retrieval Mechanism for NDN
    Song, Tingting
    Cui, Bo
    Li, Ru
    Liu, Jing
    Shi, Jinshan
    IEEE ACCESS, 2020, 8 (08): : 85813 - 85825
  • [50] Modeling analysis of contract-based family planning strategy
    Wang, Jian-Xin
    Han, Feng
    Lu, Shu-Wang
    Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2013, 33 (09): : 2299 - 2305
12345