{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T11:59:16Z","timestamp":1704715156050},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,15]]},"abstract":"<jats:p>Many industrials consider blockchain as a technology breakthrough for cybersecurity, with use cases ranging from cryptocurrency system to smart contracts, and so forth. While IoT systems employ a lightweight communication protocol between physical objects, blockchain may ensure safe information gathering. Unfortunately, the mixture of both technologies has yet to be formally investigated regarding the consensus algorithm. In this paper, statistical model checking is applied to provide quantitative answers on whether the modeled system satisfies safety and liveness properties expressed in LTL temporal logic.<\/jats:p>","DOI":"10.3233\/faia200578","type":"book-chapter","created":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T13:40:37Z","timestamp":1600350037000},"source":"Crossref","is-referenced-by-count":2,"title":["Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems"],"prefix":"10.3233","author":[{"given":"Abdelhakim","family":"Baouya","sequence":"first","affiliation":[{"name":"Verimag Lab, CNRS, University Grenoble Alpes, France, e-mail: abdelhakim.baouya@univ-grenoble-alpes.fr, salim.chehida@univ-grenoble-alpes.fr, saddek.bensalem@univ-grenoble-alpes.fr, marius.bozga@univ-grenoble-alpes.fr"}]},{"given":"Salim","family":"Chehida","sequence":"additional","affiliation":[{"name":"Verimag Lab, CNRS, University Grenoble Alpes, France, e-mail: abdelhakim.baouya@univ-grenoble-alpes.fr, salim.chehida@univ-grenoble-alpes.fr, saddek.bensalem@univ-grenoble-alpes.fr, marius.bozga@univ-grenoble-alpes.fr"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[{"name":"Verimag Lab, CNRS, University Grenoble Alpes, France, e-mail: abdelhakim.baouya@univ-grenoble-alpes.fr, salim.chehida@univ-grenoble-alpes.fr, saddek.bensalem@univ-grenoble-alpes.fr, marius.bozga@univ-grenoble-alpes.fr"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[{"name":"Verimag Lab, CNRS, University Grenoble Alpes, France, e-mail: abdelhakim.baouya@univ-grenoble-alpes.fr, salim.chehida@univ-grenoble-alpes.fr, saddek.bensalem@univ-grenoble-alpes.fr, marius.bozga@univ-grenoble-alpes.fr"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"link":[{"URL":"http:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA200578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T13:40:38Z","timestamp":1600350038000},"score":1,"resource":{"primary":{"URL":"http:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA200578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,15]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia200578","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,15]]}}}