{"id":1420,"date":"2022-08-17T11:19:32","date_gmt":"2022-08-17T15:19:32","guid":{"rendered":"https:\/\/carleton.ca\/cybersea\/?p=1420"},"modified":"2026-01-26T10:41:50","modified_gmt":"2026-01-26T15:41:50","slug":"new-publication-a-formal-analysis-of-the-efficacy-of-rebooting-as-a-countermeasure-against-iot-botnets","status":"publish","type":"post","link":"https:\/\/carleton.ca\/cybersea\/2022\/new-publication-a-formal-analysis-of-the-efficacy-of-rebooting-as-a-countermeasure-against-iot-botnets\/","title":{"rendered":"New Publication: A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        New Publication: A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<p class=\"wp-block-paragraph\">Our publication &#8220;<a href=\"https:\/\/doi.org\/10.1109\/ICC45855.2022.9838865\">A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets<\/a>&#8221; is now available online. &nbsp;In this paper, we present a timed formal mode-based approach is presented to observe and analyze the manifold impact of various cyberattacks on the operations of industrial control systems. The analysis is automated using <a href=\"https:\/\/uppaal.org\/\">UPPAAL<\/a> on timed automata models of a target system and potential attackers. It was presented at the <a href=\"https:\/\/icc2022.ieee-icc.org\/\">2022 IEEE International Conference on Communications (ICC)<\/a> in May 2022. See <a href=\"https:\/\/carleton.ca\/cybersea\/publications\/\">Publications<\/a>&nbsp;for more details!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our publication &#8220;A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets&#8221; is now available online. &nbsp;In this paper, we present a timed formal mode-based approach is presented to observe and analyze the manifold impact of various cyberattacks on the operations of industrial control systems. The analysis is automated using UPPAAL [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":431,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[41],"tags":[],"class_list":["post-1420","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-publication"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/1420","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/comments?post=1420"}],"version-history":[{"count":1,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/1420\/revisions"}],"predecessor-version":[{"id":1422,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/1420\/revisions\/1422"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media\/431"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media?parent=1420"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/categories?post=1420"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/tags?post=1420"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}