A blockchain-based decentralized booking system

被引:0
|
作者
Dong, Naipeng [1 ,2 ]
Bai, Guangdong [1 ]
Huang, Lung-Chen [2 ]
Lim, Edmund Kok Heng [2 ]
Dong, Jin Song [2 ,3 ]
机构
[1] Univ Queensland, Sch Informat Technol & Elect Engn, Gen Purpose South Bldg,Bldg 78,St Lucia Campus, Brisbane, Qld 4072, Australia
[2] Natl Univ Singapore, Sch Comp, COM1,13 Comp Dr, Singapore 117417, Singapore
[3] Griffith Univ, Sch Informat & Commun Technol, N44 2-28,170 Kessels Rd, Nathan, Qld 4111, Australia
来源
关键词
D O I
10.1017/S0269888920000260
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem.
引用
收藏
页数:21
相关论文
共 50 条
  • [1] A Blockchain-based Database System for Decentralized Information Management
    Yan, Dekai
    jia, Xiaohua
    Shu, Jiangang
    Yu, Rutao
    [J]. 2021 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2021,
  • [2] Blockchain-based decentralized architecture for cloud storage system
    Sharma P.
    Jindal R.
    Borah M.D.
    [J]. Journal of Information Security and Applications, 2021, 62
  • [3] Blockchain-Based Decentralized Application: A Survey
    Zheng, Peilin
    Jiang, Zigui
    Wu, Jiajing
    Zheng, Zibin
    [J]. IEEE OPEN JOURNAL OF THE COMPUTER SOCIETY, 2023, 4 : 121 - 133
  • [4] Blockchain-Based Decentralized Digital Content Management and Sharing System
    Thong Bui
    Tan Duy Le
    Tri-Hai Nguyen
    Trawinski, Bogdan
    Huy Tien Nguyen
    Tung Le
    [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2022, PT II, 2022, 13758 : 608 - 620
  • [5] Simorgh, a fully decentralized blockchain-based secure communication system
    Mirzaei, Ebad
    Hadian Dehkordi, Massoud
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2022, 13 (8) : 3903 - 3921
  • [6] DPKI: A Blockchain-Based Decentralized Public Key Infrastructure System
    Papageorgiou, Alexander
    Loupos, Konstantinos
    Mygiakis, Antonis
    Krousarlis, Thomas
    [J]. 2020 GLOBAL INTERNET OF THINGS SUMMIT (GIOTS), 2020,
  • [7] Blockchain-Based Decentralized Federated Learning
    Dirir, Ahmed
    Salah, Khaled
    Svetinovic, Davor
    Jayaraman, Raja
    Yaqoob, Ibrar
    Kanhere, Salil S.
    [J]. 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), 2022, : 99 - 106
  • [8] Simorgh, a fully decentralized blockchain-based secure communication system
    Ebad Mirzaei
    Massoud Hadian Dehkordi
    [J]. Journal of Ambient Intelligence and Humanized Computing, 2022, 13 : 3903 - 3921
  • [9] Blockchain-Based Decentralized Key Management System with Quantum Resistance
    An, Hyeongcheol
    Choi, Rakyong
    Kim, Kwangjo
    [J]. INFORMATION SECURITY APPLICATIONS, WISA 2018, 2019, 11402 : 229 - 240
  • [10] Decentralized Blockchain-Based Electronic Marketplaces
    Subramanian, Hemang
    [J]. COMMUNICATIONS OF THE ACM, 2018, 61 (01) : 78 - 84