{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:06:15Z","timestamp":1740099975272,"version":"3.37.3"},"reference-count":17,"publisher":"IEEE","funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea(NRF)","doi-asserted-by":"publisher","award":["NRF-2018R1A2B6009122"],"award-info":[{"award-number":["NRF-2018R1A2B6009122"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,7]]},"DOI":"10.23919\/icact51234.2021.9370462","type":"proceedings-article","created":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T21:59:49Z","timestamp":1615413589000},"page":"48-52","source":"Crossref","is-referenced-by-count":5,"title":["Formal Modeling of Smart Contract-based Trading System"],"prefix":"10.23919","author":[{"given":"Woong Sub","family":"Park","sequence":"first","affiliation":[]},{"given":"Hyuk","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Nusmv 2: An opensource tool for symbolic model checking","author":"alessandro","year":"2002","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref11","first-page":"279","article-title":"The model checker SPIN","volume":"23 5","author":"gerard","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"101129","DOI":"10.1016\/j.pmcj.2020.101129","article-title":"Model checking smart contracts for Ethereum","volume":"63","author":"thomas","year":"2020","journal-title":"Pervasive and Mobile Computing"},{"key":"ref13","article-title":"Modeling bitcoin contracts by timed automata","author":"marcin","year":"2014","journal-title":"Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems"},{"journal-title":"Ethereum org\/Ethereum org\/ko\/what-is-ethereum\/","year":"0","key":"ref14"},{"key":"ref15","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Workshop on Logic of Programs"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.entcs.2009.02.044","article-title":"Model-checking timed temporal logics","volume":"231","author":"patricia","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref17","article-title":"Model-checking for real-time systems","author":"alur","year":"0","journal-title":"[1990] Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"12240","DOI":"10.1109\/ACCESS.2018.2812844","article-title":"RBAC-SC: Role-based access control using smart contract","volume":"6","author":"jason paul","year":"2018","journal-title":"IEEE Access"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-018-0982-x"},{"year":"2016","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2730843"},{"key":"ref8","first-page":"626","article-title":"Formal methods: State of the art and future directions","volume":"28 4","author":"edmund","year":"1996","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"24477","DOI":"10.1109\/ACCESS.2019.2895670","article-title":"Trustworthy electronic voting using adjusted blockchain technology","volume":"7","author":"basit","year":"2019","journal-title":"IEEE Access"},{"key":"ref1","article-title":"Formalizing and securing relationships on public networks","author":"nick","year":"1997","journal-title":"First Monday"},{"key":"ref9","article-title":"Model-checking of smart contracts","author":"zeinab","year":"0","journal-title":"2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)"}],"event":{"name":"2021 23rd International Conference on Advanced Communication Technology (ICACT)","start":{"date-parts":[[2021,2,7]]},"location":"PyeongChang, Korea (South)","end":{"date-parts":[[2021,2,10]]}},"container-title":["2021 23rd International Conference on Advanced Communication Technology (ICACT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9370342\/9370365\/09370462.pdf?arnumber=9370462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T21:23:53Z","timestamp":1620768233000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9370462\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.23919\/icact51234.2021.9370462","relation":{},"subject":[],"published":{"date-parts":[[2021,2,7]]}}}