{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:34Z","timestamp":1755993694426,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/fmec.2019.8795312","type":"proceedings-article","created":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T19:23:29Z","timestamp":1565897009000},"page":"181-188","source":"Crossref","is-referenced-by-count":1,"title":["Securing High-Velocity Data: Authentication and Key Management Model for Smart City Communication"],"prefix":"10.1109","author":[{"given":"M. Mazhar","family":"Rathore","sequence":"first","affiliation":[{"name":"Division of Information and Computing Technology, Hamad Bin Khalifa University, Doha, Qatar"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaser","family":"Jararweh","sequence":"additional","affiliation":[{"name":"Duquesne University, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Raheel","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Anhui University, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anand","family":"Paul","sequence":"additional","affiliation":[{"name":"The School of Computer Science and Engineering, Kyungpook National University, Daegu, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2003","journal-title":"Deliverable 2 1 The High-Level Protocol Specification Language","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref12","article-title":"OFMC: A Symbolic Model-Checker for Security Protocols","author":"basin","year":"2004","journal-title":"International Journal of Information Security"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/11805618_21"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1371\/journal.pone.0154308"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1371\/journal.pone.0126323"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/s11277-015-2708-4"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/s11071-013-1174-3"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/TIE.2016.2585081"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.comnet.2015.12.023"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s10916-016-0647-6"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2837060.2837067"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.4018\/IJSWIS.2017010103"},{"year":"0","journal-title":"The AVISPA Tool v1 1","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/JIOT.2013.2296516"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/SITIS.2015.121"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/TENCONSpring.2016.7519392"},{"key":"ref9","article-title":"A security protocol animator tool for AVISPA","author":"glouche","year":"2006","journal-title":"ARTIST2 Workshop on Security Specification and Verification of Embedded Systems"}],"event":{"name":"2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC)","start":{"date-parts":[[2019,6,10]]},"location":"Rome, Italy","end":{"date-parts":[[2019,6,13]]}},"container-title":["2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8787850\/8795303\/08795312.pdf?arnumber=8795312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:39:18Z","timestamp":1755909558000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8795312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/fmec.2019.8795312","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}