Show simple item record

dc.contributor.authorDong, N
dc.contributor.authorBai, G
dc.contributor.authorHuang, LC
dc.contributor.authorLim, EKH
dc.contributor.authorDong, JS
dc.date.accessioned2020-08-26T03:47:11Z
dc.date.available2020-08-26T03:47:11Z
dc.date.issued2020
dc.identifier.issn0269-8889
dc.identifier.doi10.1017/S0269888920000260
dc.identifier.urihttp://hdl.handle.net/10072/396788
dc.description.abstractBlockchain 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.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherCambridge University Press (CUP)
dc.relation.ispartofpagefrome17
dc.relation.ispartofjournalKnowledge Engineering Review
dc.relation.ispartofvolume35
dc.subject.fieldofresearchArtificial intelligence
dc.subject.fieldofresearchCognitive and computational psychology
dc.subject.fieldofresearchcode4602
dc.subject.fieldofresearchcode5204
dc.titleA blockchain-based decentralized booking system
dc.typeJournal article
dc.type.descriptionC1 - Articles
dcterms.bibliographicCitationDong, N; Bai, G; Huang, LC; Lim, EKH; Dong, JS, A blockchain-based decentralized booking system, Knowledge Engineering Review, 2020, 35, pp. e17
dc.date.updated2020-08-26T03:45:51Z
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record