{"id":"https://openalex.org/W4299679592","doi":"https://doi.org/10.1109/icc45855.2022.9838865","title":"A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets","display_name":"A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets","publication_year":2022,"publication_date":"2022-05-16","ids":{"openalex":"https://openalex.org/W4299679592","doi":"https://doi.org/10.1109/icc45855.2022.9838865"},"language":"en","primary_location":{"id":"doi:10.1109/icc45855.2022.9838865","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc45855.2022.9838865","pdf_url":null,"source":{"id":"https://openalex.org/S4363607711","display_name":"ICC 2022 - IEEE International Conference on Communications","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICC 2022 - IEEE International Conference on Communications","raw_type":"proceedings-article"},"type":"article","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/A5068471509","display_name":"Alvi Jawad","orcid":"https://orcid.org/0000-0002-7878-4365"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Alvi Jawad","raw_affiliation_strings":["Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6"],"affiliations":[{"raw_affiliation_string":"Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014327897","display_name":"Luke Newton","orcid":null},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Luke Newton","raw_affiliation_strings":["Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6"],"affiliations":[{"raw_affiliation_string":"Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103160400","display_name":"Ashraf Matrawy","orcid":"https://orcid.org/0000-0001-9220-4630"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ashraf Matrawy","raw_affiliation_strings":["Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6"],"affiliations":[{"raw_affiliation_string":"Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039439171","display_name":"Jason Jaskolka","orcid":"https://orcid.org/0000-0001-6316-3040"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jason Jaskolka","raw_affiliation_strings":["Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6"],"affiliations":[{"raw_affiliation_string":"Carleton University,Systems and Computer Engineering,Ottawa,Canada,K1S 5B6","institution_ids":["https://openalex.org/I67031392"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5068471509"],"corresponding_institution_ids":["https://openalex.org/I67031392"],"apc_list":null,"apc_paid":null,"fwci":1.7304,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84976063,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2206","last_page":"2211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9998999834060669,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9966999888420105,"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/botnet","display_name":"Botnet","score":0.9762206077575684},{"id":"https://openalex.org/keywords/reboot","display_name":"Reboot","score":0.9456288814544678},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7304452061653137},{"id":"https://openalex.org/keywords/countermeasure","display_name":"Countermeasure","score":0.6634783744812012},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5206184387207031},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49611958861351013},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.464724600315094},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.12441593408584595},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08858361840248108},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.08226391673088074},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07947584986686707}],"concepts":[{"id":"https://openalex.org/C22735295","wikidata":"https://www.wikidata.org/wiki/Q317671","display_name":"Botnet","level":3,"score":0.9762206077575684},{"id":"https://openalex.org/C120524526","wikidata":"https://www.wikidata.org/wiki/Q1709148","display_name":"Reboot","level":2,"score":0.9456288814544678},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7304452061653137},{"id":"https://openalex.org/C21593369","wikidata":"https://www.wikidata.org/wiki/Q1032176","display_name":"Countermeasure","level":2,"score":0.6634783744812012},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5206184387207031},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49611958861351013},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.464724600315094},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.12441593408584595},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08858361840248108},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.08226391673088074},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07947584986686707},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icc45855.2022.9838865","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc45855.2022.9838865","pdf_url":null,"source":{"id":"https://openalex.org/S4363607711","display_name":"ICC 2022 - IEEE International Conference on Communications","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICC 2022 - IEEE International Conference on Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1538836445","https://openalex.org/W1603502149","https://openalex.org/W1962072139","https://openalex.org/W1992713826","https://openalex.org/W2099184861","https://openalex.org/W2101508170","https://openalex.org/W2108050790","https://openalex.org/W2133740077","https://openalex.org/W2142993476","https://openalex.org/W2154874878","https://openalex.org/W2289689155","https://openalex.org/W2294483539","https://openalex.org/W2534494200","https://openalex.org/W2733765803","https://openalex.org/W2748868501","https://openalex.org/W2774161712","https://openalex.org/W2789059805","https://openalex.org/W2801286423","https://openalex.org/W2938399969","https://openalex.org/W2947969447","https://openalex.org/W3009621415","https://openalex.org/W4225775465","https://openalex.org/W6635964868","https://openalex.org/W6697341179","https://openalex.org/W6743493502"],"related_works":["https://openalex.org/W4299679592","https://openalex.org/W3159690896","https://openalex.org/W1989286518","https://openalex.org/W2921012173","https://openalex.org/W2124456408","https://openalex.org/W2945572725","https://openalex.org/W2758517546","https://openalex.org/W4230824443","https://openalex.org/W1975315982","https://openalex.org/W3134680667"],"abstract_inverted_index":{"The":[0,128],"Mirai":[1,23],"botnet":[2,35,45,91,146],"revolutionized":[3],"the":[4,19,29,34,48,66,85,108,119,136],"idea":[5],"of":[6,21,50,88,101,110,121,135,140],"IoT":[7,13,31,44,56,70,95,125],"botnets":[8,57],"by":[9],"infecting":[10],"numerous":[11,67],"vulnerable":[12],"devices":[14,71],"in":[15,42,104],"2016,":[16],"leading":[17],"to":[18,61],"rise":[20],"many":[22],"variants":[24],"and":[25,47,65,83,93,138,144],"imitators":[26],"that":[27,72],"plague":[28],"current":[30],"ecosystem.":[32],"Studying":[33],"infection":[36],"process":[37],"can":[38,73],"greatly":[39],"aid":[40],"us":[41],"understanding":[43,134],"capabilities":[46],"efficacy":[49,137],"currently":[51],"available":[52],"countermeasures.":[53],"However,":[54],"analyzing":[55],"is":[58],"difficult":[59],"due":[60],"their":[62],"massive":[63],"scale":[64],"existing":[68],"heterogeneous":[69],"be":[74],"targeted":[75],"for":[76],"infection.":[77],"In":[78],"this":[79],"paper,":[80],"we":[81,117],"model":[82],"simulate":[84],"dynamic":[86],"behavior":[87],"a":[89,99,113,132],"Mirai-like":[90],"infrastructure":[92],"various":[94,124],"device":[96,126],"categories":[97],"as":[98,112],"network":[100],"timed":[102],"automata":[103],"UPPAAL-SMC.":[105],"To":[106],"determine":[107],"feasibility":[109,139],"rebooting":[111,122,141],"countermeasure":[114],"against":[115],"botnets,":[116],"examine":[118],"effectiveness":[120],"on":[123,142],"networks.":[127],"resulting":[129],"analysis":[130],"provides":[131],"solid":[133],"active":[143],"dormant":[145],"propagation":[147],"processes.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
