{"id":1938,"date":"2024-12-24T05:00:48","date_gmt":"2024-12-24T10:00:48","guid":{"rendered":"https:\/\/carleton.ca\/cybersea\/?p=1938"},"modified":"2026-01-26T10:41:49","modified_gmt":"2026-01-26T15:41:49","slug":"new-publication-data-driven-approximation-of-formal-implicit-interaction-analysis-for-cyber-physical-system-designs","status":"publish","type":"post","link":"https:\/\/carleton.ca\/cybersea\/2024\/new-publication-data-driven-approximation-of-formal-implicit-interaction-analysis-for-cyber-physical-system-designs\/","title":{"rendered":"New Publication: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs"},"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: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<p>Our latest paper &#8220;<a href=\"https:\/\/doi.org\/10.1109\/RWS62797.2024.10799344\">Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs<\/a>&#8221; is now available online. In this paper, we identify measurements based on graph abstractions of system design models that can be used to produce similar results as the aforementioned formal analyses. We demonstrate this on a model of a real-world wastewater dechlorination system. By combining data collected from formal and graph measurements, we provide alternate methods to evaluate the prevalence of implicit interactions within a system design that can make security-by-design more accessible and widely adopted for more secure and resilient cyber-physical systems. This paper was presented at the <a href=\"https:\/\/events.techconnect.org\/DTCFall\/Resilience-Week\/posters.html\">2024 Resilience Week Symposium<\/a> in December 2024. See <a href=\"https:\/\/carleton.ca\/cybersea\/publications\/\">Publications<\/a> for more details!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our latest paper &#8220;Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs&#8221; is now available online. In this paper, we identify measurements based on graph abstractions of system design models that can be used to produce similar results as the aforementioned formal analyses. We demonstrate this on a model of a real-world wastewater [&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-1938","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\/1938","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=1938"}],"version-history":[{"count":1,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/1938\/revisions"}],"predecessor-version":[{"id":1939,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/1938\/revisions\/1939"}],"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=1938"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/categories?post=1938"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/tags?post=1938"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}