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

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 publication24th International Conference on Advanced Communication Technology
Subtitle of host publicationArtificial Intelligence Technologies toward Cybersecurity!!, ICACT 2022 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages48-52
Number of pages5
ISBN (Electronic)9791188428090
DOIs
Publication statusPublished - 2022
Event24th International Conference on Advanced Communication Technology, ICACT 2022 - Virtual, Online, Korea, Republic of
Duration: 2022 Feb 132022 Feb 16

Publication series

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

Conference

Conference24th International Conference on Advanced Communication Technology, ICACT 2022
Country/TerritoryKorea, Republic of
CityVirtual, Online
Period22/2/1322/2/16

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