{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:23:37Z","timestamp":1761805417886,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"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,7]]},"DOI":"10.1109\/icufn.2019.8806168","type":"proceedings-article","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T20:17:36Z","timestamp":1566505056000},"page":"188-193","source":"Crossref","is-referenced-by-count":3,"title":["Formal Modeling of Greedy Behavior in Secure Internet of Things Networks"],"prefix":"10.1109","author":[{"given":"Yassine","family":"Boufenneche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nawel","family":"Gharbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafik","family":"Zitouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"George","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2016.2577035"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819313"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2014.21"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2015.7248880"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCIT.2011.6089956"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2018.02.004"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICUFN.2018.8436952"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2016.0099"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.comcom.2017.02.008","article-title":"Cooperative based tit-for-tat strategies to retaliate against greedy behavior in vanets","volume":"104","author":"otrok","year":"2017","journal-title":"Computer Communications"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2006.232110"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2011.6012487"},{"key":"ref27","first-page":"87","author":"bengtsson","year":"2004","journal-title":"Timed Automata Semantics Algorithms And Tools"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.07.017"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2009.5198908"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2006.183"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2014.11.008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S2405-9595(15)30014-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.12.018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2014.7037603"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2016.2584538"},{"key":"ref20","first-page":"135","author":"de guglielmo","year":"2014","journal-title":"From IEEE 802 15 4 to IEEE 802 15 4e A Step Towards the Internet of Things"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98352-3_2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2016.7460875"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2017.10.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2809695.2809714"},{"key":"ref26","first-page":"8","article-title":"Timed automata","author":"alur","year":"1999","journal-title":"Computer Aided Verification"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"}],"event":{"name":"2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN)","start":{"date-parts":[[2019,7,2]]},"location":"Zagreb, Croatia","end":{"date-parts":[[2019,7,5]]}},"container-title":["2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8790385\/8805912\/08806168.pdf?arnumber=8806168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T10:51:49Z","timestamp":1658141509000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8806168\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icufn.2019.8806168","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}