{"id":"W4299679592","doi":"10.1109/icc45855.2022.9838865","title":"A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets","year":2022,"lang":"en","type":"article","venue":"ICC 2022 - IEEE International Conference on Communications","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Botnet; Reboot; Computer science; Countermeasure; Computer security; Process (computing); Internet of Things; The Internet; Engineering; World Wide Web; Operating system","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002956633,0.00078097,0.0007583014,0.001050495,0.0007758692,0.001565635,0.001287116,0.00109389,0.003819814],"category_scores_gemma":[0.01397361,0.0004972459,0.001070775,0.0003210794,0.002737993,0.001791549,0.001147728,0.001404349,0.0002824975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00182749,"about_ca_system_score_gemma":0.002082211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003735638,"about_ca_topic_score_gemma":0.002660796,"domain_scores_codex":[0.9987009,0.0003566505,0.00006430447,0.0002274714,0.0003551879,0.0002955606],"domain_scores_gemma":[0.9835351,0.0122576,0.001558592,0.0008860572,0.001408367,0.0003542958],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009144967,0.00009854215,0.001229418,0.0001529311,0.00004574108,0.0001952013,0.0002001334,0.8001587,0.008979783,0.18161,0.0004994419,0.006738708],"study_design_scores_gemma":[0.00001208101,0.00004984899,0.0001640928,0.00001702066,0.00002117445,0.00002747887,0.00002379189,0.9799759,0.001134526,0.01816753,0.0004000389,0.000006568309],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1580244,0.0003242597,0.8197874,0.0008400075,0.00009211605,0.0001913822,0.0001443072,0.0007350698,0.01986104],"genre_scores_gemma":[0.9647366,0.0001432282,0.03263688,0.00008465047,0.00003102402,0.0001031018,0.00003420443,0.00005826909,0.002171879],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003819814,"threshold_uncertainty_score":0.01563632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06690127680588895,"score_gpt":0.3229072308593091,"score_spread":0.2560059540534201,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}