{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T15:52:04Z","timestamp":1783612324382,"version":"3.55.0"},"reference-count":75,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T00:00:00Z","timestamp":1702684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T00:00:00Z","timestamp":1702684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,16]]},"DOI":"10.1109\/cist56084.2023.10409999","type":"proceedings-article","created":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T13:32:09Z","timestamp":1707139929000},"page":"334-341","source":"Crossref","is-referenced-by-count":4,"title":["A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols"],"prefix":"10.1109","author":[{"given":"Imane","family":"Bouziane","sequence":"first","affiliation":[{"name":"National School of Applied Sciences of Tangier, Abdelmalek Essaadi University,Information and Communication Technologies Laboratory (LabTIC),Tetouan,Morocco"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Houda","family":"Belmokadem","sequence":"additional","affiliation":[{"name":"National School of Applied Sciences of Tangier, Abdelmalek Essaadi University,Information and Communication Technologies Laboratory (LabTIC),Tetouan,Morocco"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Moussaoui","sequence":"additional","affiliation":[{"name":"National School of Applied Sciences of Tangier, Abdelmalek Essaadi University,Information and Communication Technologies Laboratory (LabTIC),Tetouan,Morocco"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"What is internet of things (IoT)?","author":"Gillis","year":"2021","journal-title":"IOT Agenda"},{"key":"ref2","article-title":"21 Open Source Projects for IoT","author":"Brown","year":"2016","journal-title":"Linux.com"},{"key":"ref3","article-title":"Internet of Things Global Standards Initiative","year":"2015","journal-title":"ITU"},{"key":"ref4","article-title":"The Trouble with the Internet of Things","author":"Hendricks","year":"2015","journal-title":"London Datastore. Greater London Authority"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/8669348"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107233"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s12927-019-0003-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/app13148122"},{"key":"ref9","article-title":"D\u00e9couvrir et comprendre l\u2019ing\u00e9nierie syst\u00e8me","author":"FIOR\u00c8SE","year":"2012","journal-title":"CEPADUES Editions"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref12","article-title":"Communication with automata","author":"PETRI","year":"1966"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref14","article-title":"The Z notation","author":"SPIVEY","year":"1992","journal-title":"Hemel Hempstead: Prentice Hall"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0025774"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.51257\/f-0381"},{"key":"ref20","article-title":"V\u00e9rification de logiciels","author":"BERARD","year":"1999"},{"key":"ref21","volume-title":"Principles of model checking","author":"BAIER","year":"2008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IITA.2009.50"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31759-0_12"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-277-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1996.507872"},{"key":"ref29","article-title":"A Proof Assistant for Higher-Order Logic. 2006-06-06]","author":"Paulson","year":"2013"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2016.06.010"},{"key":"ref31","first-page":"1","volume-title":"Short-range Low Power Wireless Devices and Internet of Things (IoT)","author":"Andersson","year":"2014"},{"key":"ref32","volume-title":"11 Internet of Things (IoT) Protocols You Need to Know About","year":"2015"},{"key":"ref33","volume-title":"IoT Technology 2017 Overview Guide on Protocols, Software, Hardware and Network Trends","year":"2017"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3390\/s17010159"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.17487\/rfc7668"},{"key":"ref37","article-title":"Bluetooth 5 Is Here","author":"Warne","year":"2016"},{"key":"ref38","first-page":"1","article-title":"IEEE Standard for Telecommunications and Information Exchange Between Systems - LAN\/MAN Specific Requirements - Part 15: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low Rate Wireless Personal Area Networks (WPAN)","year":"2003","journal-title":"IEEE Std 802.15.4-2003"},{"key":"ref39","first-page":"1","article-title":"IEEE Standard for Information technology\u2013 Local and metropolitan area networks\u2013 Specific requirements\u2013 Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low Rate Wireless Personal Area Networks (WPANs)","year":"2006","journal-title":"IEEE Std 802.15.4-2006 (Revision of IEEE Std 802.15.4-2003)"},{"key":"ref40","article-title":"Z-Wave the Public Standard"},{"key":"ref41","volume-title":"Internet of Things Protocols and Standards","author":"Salman","year":"2015"},{"key":"ref42","volume-title":"Internet of Things in the Netherlands Applications trends and potential impact on radio spectrum","year":"2015"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2018.00013"},{"key":"ref44","article-title":"LoRa Alliance","year":"2018","journal-title":"LoRaWAN Specification (v1.0.3)"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2016.7497761"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2016.7577098"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2016.04.002"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2015.7389049"},{"key":"ref49","article-title":"Optimizing zigbee security using stochastic model checking","author":"Y\u00fcksel","year":"2012","journal-title":"arXiv preprint arXiv:1205.6675"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxq036"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.146"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/HONET.2015.7395420"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2011.07.097"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.17485\/ijst\/2017\/v10i20\/113927"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3384217"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.3390\/s18061888"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC49053.2021.9417304"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.11.017"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2017.73"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-019-06832-x"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3075440"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP48549.2020.00034"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16210-7_43"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2015.10"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-019-00785-5"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.02.012"},{"key":"ref67","article-title":"Formal Verification of Key Establishment for Dual Connectivity in Small Cell LTE Networks","author":"Vassilakis"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.08.003"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3207360"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.5220\/0010553300002998"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.103037"},{"key":"ref72","article-title":"{BLESA}: Spoofing attacks against reconnections in bluetooth low energy","volume-title":"In 14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Wu"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833777"},{"key":"ref74","volume-title":"Formal Analysis and Patching of BLE-SC Pairing","author":"Shi"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2846803"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134624"}],"event":{"name":"2023 7th IEEE Congress on Information Science and Technology (CiSt)","location":"Agadir - Essaouira, Morocco","start":{"date-parts":[[2023,12,16]]},"end":{"date-parts":[[2023,12,22]]}},"container-title":["2023 7th IEEE Congress on Information Science and Technology (CiSt)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10409867\/10409868\/10409999.pdf?arnumber=10409999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T17:23:34Z","timestamp":1707240214000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10409999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,16]]},"references-count":75,"URL":"https:\/\/doi.org\/10.1109\/cist56084.2023.10409999","relation":{},"subject":[],"published":{"date-parts":[[2023,12,16]]}}}