Formal Modeling of Smart Contract-based Trading System

Woong Sub Park, Hyuk Lee, Jin Young Choi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)

    Abstract

    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).

    Original languageEnglish
    Title of host publication23rd International Conference on Advanced Communication Technology
    Subtitle of host publicationOn-Line Security in Pandemic Era!, ICACT 2021 - Proceeding
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages48-52
    Number of pages5
    ISBN (Electronic)9791188428069
    DOIs
    Publication statusPublished - 2021 Feb 7
    Event23rd International Conference on Advanced Communication Technology, ICACT 2021 - Virtual, PyeongChang, Korea, Republic of
    Duration: 2021 Feb 72021 Feb 10

    Publication series

    NameInternational Conference on Advanced Communication Technology, ICACT
    Volume2021-February
    ISSN (Print)1738-9445

    Conference

    Conference23rd International Conference on Advanced Communication Technology, ICACT 2021
    Country/TerritoryKorea, Republic of
    CityVirtual, PyeongChang
    Period21/2/721/2/10

    Bibliographical note

    Funding Information:
    This work was supported by the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT) (No. NRF-2018R1A2B6009122).

    Publisher Copyright:
    © 2021 Global IT Research Institute (GiRI).

    Keywords

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

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering

    Fingerprint

    Dive into the research topics of 'Formal Modeling of Smart Contract-based Trading System'. Together they form a unique fingerprint.

    Cite this