{"id":1036,"date":"2021-07-21T13:58:25","date_gmt":"2021-07-21T17:58:25","guid":{"rendered":"https:\/\/carleton.ca\/cybersea\/?page_id=1036"},"modified":"2026-01-27T09:26:35","modified_gmt":"2026-01-27T14:26:35","slug":"implicit-interactions-analysis-tool","status":"publish","type":"page","link":"https:\/\/carleton.ca\/cybersea\/implicit-interactions-analysis-tool\/","title":{"rendered":"Implicit Interactions Analysis Tool"},"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                        Implicit Interactions Analysis Tool\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n\n\n<h2 id=\"implicit-interactions-analysis-tool\" class=\"wp-block-heading\">Implicit Interactions Analysis Tool<\/h2>\n\n\n\n<p>The Implicit Interactions Analysis Tool has been designed and developed to support the &#8220;<a href=\"https:\/\/carleton.ca\/cybersea\/projects\/\">Cybersecurity Assurance for Critical Infrastructure<\/a>&#8221; project in collaboration with the <a href=\"https:\/\/ciri.illinois.edu\/\" target=\"_blank\" rel=\"nofollow noreferrer noopener\">Critical Infrastructure Resilience Institute (CIRI)<\/a> at the University of Illinois at Urbana-Champaign.<\/p>\n\n\n\n<p>Critical infrastructure systems including water and wastewater distribution systems, transportation systems, communications networks, manufacturing facilities, and energy systems consist of components linked in complex ways. This can lead to unforeseen interactions among components that may not be expected or intended by the designers and operators of the system. The presence of these implicit interactions in a system can indicate unforeseen flaws that, if not mitigated, could result in the loss of system stability.<\/p>\n\n\n\n<p>The Implicit Interactions Analysis Tool automates the methods and approaches for identifying and analyzing the existence of implicit interactions in system designs and specifications. The tool supports system designers and integrators in identifying and analyzing implicit interactions in critical systems that have been specified using the Communicating Concurrent Kleene Algebra (C<sup>2<\/sup>KA) modelling framework. It identifies the set of implicit interactions given the C<sup>2<\/sup>KA specification of a system and the specification of the set of intended interactions. It also computes the severity, exploitability, and the set of attack scenarios for the identified set of implicit interactions.<\/p>\n\n\n\n<h3 id=\"related-publications\" class=\"wp-block-heading\">Related Publications<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jason Jaskolka. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-64330-0_3\"> Identifying and analyzing implicit interactions in a wastewater dechlorination system<\/a>. In Sokratis Katsikas et al., editors, <em>Computer Security. CyberICPS 2020, SECPRE 2020, ADIoT 2020<\/em>, volume 12501 of Lecture Notes in Computer Science, pages 34\u201351, Guildford, UK, 2020. Springer, Cham.<\/li>\n\n\n\n<li>Jason Jaskolka and John Villasenor.&nbsp;<a href=\"http:\/\/ieeexplore.ieee.org\/document\/7875503\/\" target=\"_blank\" rel=\"noopener noreferrer\">An approach for identifying and analyzing implicit interactions in distributed systems.<\/a>&nbsp;<i>IEEE Transactions on Reliability<\/i>, 66(2):529-546, June 2017.<\/li>\n\n\n\n<li>Jason Jaskolka&nbsp;and John Villasenor.&nbsp;<a href=\"http:\/\/hdl.handle.net\/10125\/41886\" target=\"_blank\" rel=\"noopener noreferrer\">Identifying implicit component interactions in distributed cyber-physical systems<\/a>. In&nbsp;<i>Proceedings of the 50th Hawaii International Conference on System Sciences<\/i>,&nbsp;<i>HICSS-50<\/i>, pages 5988\u20135997, Hilton Waikoloa Village, HI, U.S.A., January 2017.<\/li>\n\n\n\n<li>Jason Jaskolka. <a href=\"https:\/\/arxiv.org\/abs\/2006.06045\" target=\"_blank\" rel=\"nofollow noreferrer noopener\">Evaluating the exploitability of implicit interactions in distributed systems<\/a>. arXiv:2006.06045 [cs.CR], June 2020.<\/li>\n\n\n\n<li>Jason Jaskolka and Ridha Khedri. <a href=\"http:\/\/arxiv.org\/abs\/1408.5964\" target=\"_blank\" rel=\"nofollow noreferrer noopener\">A formulation of the potential for communication condition using C<sup>2<\/sup>KA<\/a>. In Adriano Peron and Carla Piazza, editors,&nbsp;<i>Proceedings of the 5th International Symposium on Games, Automata, Logics and Formal Verification<\/i>, volume 161 of&nbsp;<i>Electronic Proceedings in Theoretical Computer Science<\/i>, pages 161-174. Open Publishing Association, Verona, Italy, September 2014.<\/li>\n\n\n\n<li>Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. <a href=\"http:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-06251-8_2\" target=\"_blank\" rel=\"nofollow noreferrer noopener\">Endowing concurrent Kleene algebra with communication actions<\/a>. In Peter H\u00f6fner, Peter Jipsen, Wolfram Kahl, and Martin E. M\u00fcller, editors, <i>Proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science<\/i>, volume 8428 of Lecture Notes in Computer Science, pages 19-36. Springer International Publishing Switzerland, Marienstatt, Germany, April 2014.<\/li>\n<\/ul>\n\n\n\n<h3 id=\"download\" class=\"wp-block-heading\">Download<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/gitlab.com\/CyberSEA-Public\/ImplicitInteractionsAnalysisTool\/-\/releases\/v1.0\">v1.0 &#8212; Proof of Concept<\/a><\/li>\n<\/ul>\n\n\n\n<h3 id=\"screenshots\" class=\"wp-block-heading\">Screenshots<\/h3>\n\n\n\n<figure class=\"wp-block-gallery has-nested-images columns-3 is-cropped columns-default wp-block-gallery-1 is-layout-flex wp-block-gallery-is-layout-flex\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"734\" height=\"480\" data-id=\"1050\" src=\"https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool.png\" alt=\"\" class=\"wp-image-1050\" srcset=\"https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool.png 734w, https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool-160x105.png 160w, https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool-240x157.png 240w, https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool-400x262.png 400w, https:\/\/carleton.ca\/cybersea\/wp-content\/uploads\/sites\/191\/ImplicitInteractionsAnalysisTool-360x235.png 360w\" sizes=\"auto, (max-width: 734px) 100vw, 734px\" \/><\/figure>\n<\/figure>\n\n\n\n<h3 id=\"other-mentions\" class=\"wp-block-heading\">Other Mentions<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/ciri.illinois.edu\/news\/new-ciri-tool-helps-critical-infrastructure-operators-identify-risks-from-implicit-interactions\">New CIRI Tool Helps Critical Infrastructure Operators Identify Risks From Implicit Interactions<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Implicit Interactions Analysis Tool The Implicit Interactions Analysis Tool has been designed and developed to support the &#8220;Cybersecurity Assurance for Critical Infrastructure&#8221; project in collaboration with the Critical Infrastructure Resilience Institute (CIRI) at the University of Illinois at Urbana-Champaign. Critical infrastructure systems including water and wastewater distribution systems, transportation systems, communications networks, manufacturing facilities, and [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[52],"class_list":["post-1036","page","type-page","status-publish","hentry","cu_page_type-tools"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/pages\/1036","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/types\/page"}],"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=1036"}],"version-history":[{"count":4,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/pages\/1036\/revisions"}],"predecessor-version":[{"id":2131,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/pages\/1036\/revisions\/2131"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media?parent=1036"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/cu_page_type?post=1036"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}