{"id":"https://openalex.org/W2969769992","doi":"https://doi.org/10.1109/icufn.2019.8806168","title":"Formal Modeling of Greedy Behavior in Secure Internet of Things Networks","display_name":"Formal Modeling of Greedy Behavior in Secure Internet of Things Networks","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2969769992","doi":"https://doi.org/10.1109/icufn.2019.8806168","mag":"2969769992"},"language":"en","primary_location":{"id":"doi:10.1109/icufn.2019.8806168","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icufn.2019.8806168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079134974","display_name":"Yassine Boufenneche","orcid":"https://orcid.org/0000-0002-4046-6118"},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]},{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Yassine Boufenneche","raw_affiliation_strings":["Department of Computer Science, USTHB, Algiers, Algeria","USTHB - Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger] (BP 32 EL Alia 16111 Bab Ezzouar,  Alger - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I157169809","https://openalex.org/I192268740"]},{"raw_affiliation_string":"USTHB - Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger] (BP 32 EL Alia 16111 Bab Ezzouar,  Alger - Algeria)","institution_ids":["https://openalex.org/I157169809"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079030153","display_name":"Nawel Gharbi","orcid":null},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]},{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Nawel Gharbi","raw_affiliation_strings":["Department of Computer Science, USTHB, Algiers, Algeria","USTHB - Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger] (BP 32 EL Alia 16111 Bab Ezzouar,  Alger - Algeria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I157169809","https://openalex.org/I192268740"]},{"raw_affiliation_string":"USTHB - Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger] (BP 32 EL Alia 16111 Bab Ezzouar,  Alger - Algeria)","institution_ids":["https://openalex.org/I157169809"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030788664","display_name":"Rafik Zitouni","orcid":"https://orcid.org/0000-0002-1675-9180"},"institutions":[{"id":"https://openalex.org/I4210116658","display_name":"\u00c9cole Centrale d'\u00c9lectronique","ror":"https://ror.org/02k6n4s14","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210116658"]},{"id":"https://openalex.org/I4400600903","display_name":"Laboratoire des Sciences de l\u2019Information et de la Communication","ror":"https://ror.org/034gh1d56","country_code":null,"type":"facility","lineage":["https://openalex.org/I201841394","https://openalex.org/I4400600903"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Rafik Zitouni","raw_affiliation_strings":["ECE Paris, SIC Lab, Paris, France","ECE Paris (ECE Campus de Paris\r\nImmeuble POLLUX\r\n37, Quai de Grenelle\r\n75015 Paris - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ECE Paris, SIC Lab, Paris, France","institution_ids":["https://openalex.org/I4210116658","https://openalex.org/I4400600903"]},{"raw_affiliation_string":"ECE Paris (ECE Campus de Paris\r\nImmeuble POLLUX\r\n37, Quai de Grenelle\r\n75015 Paris - France)","institution_ids":["https://openalex.org/I4210116658"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081469761","display_name":"Laurent George","orcid":"https://orcid.org/0000-0002-3247-787X"},"institutions":[{"id":"https://openalex.org/I12187552","display_name":"UniLaSalle Amiens (ESIEE-Amiens)","ror":"https://ror.org/03r13py57","country_code":"FR","type":"education","lineage":["https://openalex.org/I12187552"]},{"id":"https://openalex.org/I4210152518","display_name":"Laboratoire d'Informatique Gaspard-Monge","ror":"https://ror.org/04t50yk91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I142631665","https://openalex.org/I4210145102","https://openalex.org/I4210152518","https://openalex.org/I4210154111","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I4210154111","display_name":"Universit\u00e9 Gustave Eiffel","ror":"https://ror.org/03x42jk29","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154111"]},{"id":"https://openalex.org/I4387154752","display_name":"ESIEE Paris","ror":"https://ror.org/04x383a88","country_code":"FR","type":"education","lineage":["https://openalex.org/I2801673036","https://openalex.org/I4210154111","https://openalex.org/I4387154752"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent George","raw_affiliation_strings":["LIGM, UPE/ESIEE Paris, Paris, France","LIGM - Laboratoire d'Informatique Gaspard-Monge (Universit\u00e9 de Paris-Est Marne-la-Vall\u00e9e, Cit\u00e9 Descartes, B\u00e2timent Copernic, 5 bd Descartes, 77454 Marne-la-Vall\u00e9e Cedex 2 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIGM, UPE/ESIEE Paris, Paris, France","institution_ids":["https://openalex.org/I12187552","https://openalex.org/I4210152518","https://openalex.org/I4210154111","https://openalex.org/I4387154752"]},{"raw_affiliation_string":"LIGM - Laboratoire d'Informatique Gaspard-Monge (Universit\u00e9 de Paris-Est Marne-la-Vall\u00e9e, Cit\u00e9 Descartes, B\u00e2timent Copernic, 5 bd Descartes, 77454 Marne-la-Vall\u00e9e Cedex 2 - France)","institution_ids":["https://openalex.org/I4210152518","https://openalex.org/I4210154111"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9614,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70916419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"188","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8044215440750122},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6748371720314026},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.6260156631469727},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5922445058822632},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.5476972460746765},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.49633294343948364},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.48661598563194275},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.48288965225219727},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4686557352542877},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.42451009154319763},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3558511734008789},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.13210085034370422},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1161063015460968}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8044215440750122},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6748371720314026},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.6260156631469727},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5922445058822632},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.5476972460746765},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.49633294343948364},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.48661598563194275},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.48288965225219727},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4686557352542877},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.42451009154319763},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3558511734008789},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.13210085034370422},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1161063015460968},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icufn.2019.8806168","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icufn.2019.8806168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03570198v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03570198","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 Eleventh International Conference on Ubiquitous and Future Networks (ICUFN), Jul 2019, Zagreb, Croatia. pp.188-193, ⟨10.1109/ICUFN.2019.8806168⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1177141398","https://openalex.org/W1548399244","https://openalex.org/W1729761695","https://openalex.org/W1977291940","https://openalex.org/W2003544295","https://openalex.org/W2024754193","https://openalex.org/W2085647314","https://openalex.org/W2101508170","https://openalex.org/W2104927807","https://openalex.org/W2117303846","https://openalex.org/W2128548312","https://openalex.org/W2150220388","https://openalex.org/W2418543572","https://openalex.org/W2472333518","https://openalex.org/W2535032230","https://openalex.org/W2578192434","https://openalex.org/W2587738856","https://openalex.org/W2587898568","https://openalex.org/W2763354382","https://openalex.org/W2793076726","https://openalex.org/W2883753518","https://openalex.org/W2885366825","https://openalex.org/W2886087493","https://openalex.org/W2911583164","https://openalex.org/W4230482369","https://openalex.org/W4244286740","https://openalex.org/W4244434362","https://openalex.org/W6758238014"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W1531601525","https://openalex.org/W4245926026"],"abstract_inverted_index":{"In":[0,79],"the":[1,21,30,72,76,100,105,109,130],"Internet":[2],"of":[3,56,64,93,104,108],"Things":[4],"(IoT)":[5],"paradigm,":[6],"objects":[7],"should":[8],"communicate":[9],"through":[10],"secure":[11],"wireless":[12],"channels":[13],"and":[14,25,42,53,90,120,124],"would":[15],"be":[16],"able":[17],"to":[18,20,87],"connect":[19],"Internet.":[22],"IEEE":[23,40],"802.15.4e":[24,41],"its":[26,43],"old":[27,44],"versions":[28,45],"are":[29,97],"de-facto":[31],"standards":[32],"for":[33],"Wireless":[34],"Sensor":[35],"Networks":[36],"(WSNs)":[37],"based":[38],"IoT.":[39],"define":[46],"a":[47,62,84],"slotted":[48,110],"CSMA-CA":[49],"medium":[50],"access":[51,102],"control":[52],"physical":[54],"layer":[55],"WSNs.":[57],"The":[58,112],"IoT":[59,94],"may":[60],"experience":[61],"multitude":[63],"malicious":[65],"attacks.":[66],"One":[67],"critical":[68],"attack":[69],"that":[70,116],"threatens":[71],"network":[73],"availability":[74],"is":[75,129],"greedy":[77,89,125],"behavior.":[78],"this":[80,135],"paper,":[81],"we":[82,117],"propose":[83],"UPPAAL":[85],"model":[86,114],"describe":[88],"sane":[91],"behaviors":[92],"devices.":[95,126],"We":[96],"interested":[98],"in":[99],"contention":[101],"period":[103],"beacon-enabled":[106],"mode":[107],"CSMA-CA.":[111],"developed":[113],"shows":[115],"can":[118],"assess":[119],"identify":[121],"both":[122],"honest":[123],"However,":[127],"it":[128],"first":[131],"step":[132],"towards":[133],"thwarting":[134],"attack.":[136]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}