<mxfile host="app.diagrams.net" modified="2024-02-27T19:51:58.758Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/122.0.0.0 Safari/537.36" etag="rZHhMlSZi8XVTqh9Gr62" version="21.7.4" type="device">
  <diagram name="Page-1" id="IUVMWeIDhFmNr3cxVqMv">
    <mxGraphModel dx="2252" dy="1162" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="LZPtcvw2TvERN0WiDFPM-10" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.25;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-1" target="LZPtcvw2TvERN0WiDFPM-3" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-1" value="Exploit Patterns (.xp)" style="ellipse;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="80" y="100" width="210" height="60" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-12" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.75;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-2" target="LZPtcvw2TvERN0WiDFPM-3" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-2" value="Network Models (.nm)" style="ellipse;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="80" y="180" width="210" height="60" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-13" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-3" target="LZPtcvw2TvERN0WiDFPM-4" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-12" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-3" target="GUT8gNouMzrGcxfox_9A-4">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-3" value="Parse, Acquire, and Import Environmental and Transitional Conditions" style="whiteSpace=wrap;html=1;aspect=fixed;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="330" y="90" width="160" height="160" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-4" value="Model Database" style="shape=datastore;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="570" y="125" width="150" height="90" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-2" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-5" target="LZPtcvw2TvERN0WiDFPM-6">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-5" value="Attack and Compliance Graph Generation" style="whiteSpace=wrap;html=1;aspect=fixed;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="330" y="470" width="160" height="160" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-30" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-6" target="LZPtcvw2TvERN0WiDFPM-9" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-31" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-6" target="LZPtcvw2TvERN0WiDFPM-7" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-27" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="LZPtcvw2TvERN0WiDFPM-31">
          <mxGeometry x="-0.7968" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-16" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;jumpStyle=arc;jumpSize=11;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-6" target="LZPtcvw2TvERN0WiDFPM-22">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-26" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="GUT8gNouMzrGcxfox_9A-16">
          <mxGeometry x="-0.4544" y="-1" relative="1" as="geometry">
            <mxPoint x="-37" y="-14" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-6" value="New Graph &lt;br style=&quot;font-size: 17px;&quot;&gt;States?" style="rhombus;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="350" y="740" width="120" height="110" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-32" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.25;entryY=0;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-7" target="LZPtcvw2TvERN0WiDFPM-25" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-30" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="LZPtcvw2TvERN0WiDFPM-32">
          <mxGeometry x="-0.7337" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-7" value="Frontier &lt;br&gt;Size &amp;gt;&amp;nbsp;&lt;font style=&quot;font-size: 17px;&quot;&gt;α&lt;/font&gt;&lt;br style=&quot;font-size: 17px;&quot;&gt;&amp;nbsp;" style="rhombus;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="270" y="920" width="130" height="120" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-21" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.15;exitY=0.05;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.25;entryY=1;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-8" target="GUT8gNouMzrGcxfox_9A-8">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-8" value="Graph Database" style="shape=datastore;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="665" y="520" width="150" height="90" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-33" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.75;entryY=0;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-9" target="LZPtcvw2TvERN0WiDFPM-25" edge="1">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-34" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;jumpStyle=arc;jumpSize=18;fontFamily=Times New Roman;fontSize=17;" parent="1" source="LZPtcvw2TvERN0WiDFPM-9" target="LZPtcvw2TvERN0WiDFPM-5" edge="1">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="590" y="980" />
              <mxPoint x="590" y="680" />
              <mxPoint x="460" y="680" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-28" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="LZPtcvw2TvERN0WiDFPM-34">
          <mxGeometry x="-0.9461" y="4" relative="1" as="geometry">
            <mxPoint x="7" y="-10" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-9" value="Instance&lt;br&gt;&amp;nbsp;Size &amp;gt;&amp;nbsp;&lt;font style=&quot;font-size: 17px;&quot;&gt;α&lt;/font&gt;&lt;br style=&quot;font-size: 17px;&quot;&gt;&amp;nbsp;" style="rhombus;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="420" y="920" width="130" height="120" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-17" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-22" target="LZPtcvw2TvERN0WiDFPM-8">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-22" value="Finalize, Post-Process, Cleanup, Analysis" style="whiteSpace=wrap;html=1;aspect=fixed;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="660" y="715" width="160" height="160" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-1" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-25" target="LZPtcvw2TvERN0WiDFPM-5">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="130" y="1175" />
              <mxPoint x="130" y="550" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-18" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=1;entryY=0.5;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="LZPtcvw2TvERN0WiDFPM-25" target="LZPtcvw2TvERN0WiDFPM-8">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="900" y="1175" />
              <mxPoint x="900" y="565" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-25" value="Checkpoint" style="whiteSpace=wrap;html=1;aspect=fixed;fontFamily=Times New Roman;fontSize=17;" parent="1" vertex="1">
          <mxGeometry x="340" y="1095" width="160" height="160" as="geometry" />
        </mxCell>
        <mxCell id="LZPtcvw2TvERN0WiDFPM-36" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;fontFamily=Times New Roman;fontSize=17;exitX=0;exitY=0.5;exitDx=0;exitDy=0;" parent="1" edge="1" source="LZPtcvw2TvERN0WiDFPM-7">
          <mxGeometry relative="1" as="geometry">
            <mxPoint x="270" y="988" as="sourcePoint" />
            <mxPoint x="360" y="630" as="targetPoint" />
            <Array as="points">
              <mxPoint x="230" y="980" />
              <mxPoint x="230" y="680" />
              <mxPoint x="360" y="680" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-29" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="LZPtcvw2TvERN0WiDFPM-36">
          <mxGeometry x="-0.8933" y="-3" relative="1" as="geometry">
            <mxPoint x="8" y="-13" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-11" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="GUT8gNouMzrGcxfox_9A-4" target="LZPtcvw2TvERN0WiDFPM-5">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-24" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=17;fontFamily=Times New Roman;" vertex="1" connectable="0" parent="GUT8gNouMzrGcxfox_9A-11">
          <mxGeometry x="-0.25" y="1" relative="1" as="geometry">
            <mxPoint as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-13" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="GUT8gNouMzrGcxfox_9A-4" target="GUT8gNouMzrGcxfox_9A-8">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-23" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="GUT8gNouMzrGcxfox_9A-13">
          <mxGeometry x="-0.0569" y="-5" relative="1" as="geometry">
            <mxPoint x="-13" y="10" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-4" value="Restart?" style="rhombus;whiteSpace=wrap;html=1;fontFamily=Times New Roman;fontSize=17;" vertex="1" parent="1">
          <mxGeometry x="350" y="290" width="120" height="110" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-20" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.75;exitY=1;exitDx=0;exitDy=0;entryX=0.85;entryY=0.05;entryDx=0;entryDy=0;entryPerimeter=0;fontFamily=Times New Roman;fontSize=17;" edge="1" parent="1" source="GUT8gNouMzrGcxfox_9A-8" target="LZPtcvw2TvERN0WiDFPM-8">
          <mxGeometry relative="1" as="geometry">
            <Array as="points">
              <mxPoint x="670" y="425" />
              <mxPoint x="670" y="450" />
              <mxPoint x="792" y="450" />
            </Array>
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-22" value="Connect/Request" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="GUT8gNouMzrGcxfox_9A-20">
          <mxGeometry x="-0.0386" y="4" relative="1" as="geometry">
            <mxPoint x="43" y="-9" as="offset" />
          </mxGeometry>
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-33" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0;exitY=0.75;exitDx=0;exitDy=0;entryX=0.75;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="GUT8gNouMzrGcxfox_9A-8" target="LZPtcvw2TvERN0WiDFPM-5">
          <mxGeometry relative="1" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-8" value="Restart" style="whiteSpace=wrap;html=1;aspect=fixed;fontFamily=Times New Roman;fontSize=17;" vertex="1" parent="1">
          <mxGeometry x="540" y="265" width="160" height="160" as="geometry" />
        </mxCell>
        <mxCell id="GUT8gNouMzrGcxfox_9A-32" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontFamily=Times New Roman;fontSize=17;" vertex="1" connectable="0" parent="1">
          <mxGeometry x="484.99765202335016" y="1050.001146927862" as="geometry" />
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>
