diff --git a/modeling/SysMLSec/AliceAndBobHW.xml b/modeling/SysMLSec/AliceAndBobHW.xml
index 57de4a60e17827bd3434fd4f2b8764cdc7f7967a..dc454d68adbaaa583eb4b641992c1b81d93fa090 100644
--- a/modeling/SysMLSec/AliceAndBobHW.xml
+++ b/modeling/SysMLSec/AliceAndBobHW.xml
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
-<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="true" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="11" LAST_SELECTED_SUB_TAB="2">
+<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="true" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="0" LAST_SELECTED_SUB_TAB="0">
<Modeling type="TML Component Design" nameTab="SymmetricExchange" tabs="TML Component Task Diagram$Bob$Alice" >
<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" considerExecOperators="true" considerTimingOperators="true" zoom="1.0" >
@@ -8,8 +8,8 @@
<cdparam x="392" y="173" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="Connector between ports" />
-<P1 x="399" y="174" id="13" />
-<P2 x="479" y="175" id="2" />
+<P1 x="412" y="187" id="13" />
+<P2 x="466" y="188" id="2" />
<AutomaticDrawing data="true" />
<new d="false" />
</CONNECTOR>
@@ -42,7 +42,7 @@
<new d="false" />
<TGConnectingPoint num="0" id="2" />
<extraparam>
-<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="2" checkStrongAuthStatus="0" vc="0" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
@@ -80,7 +80,7 @@
<new d="false" />
<TGConnectingPoint num="0" id="13" />
<extraparam>
-<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="2" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
@@ -479,7 +479,7 @@
<TGConnectingPoint num="6" id="113" />
<TGConnectingPoint num="7" id="114" />
<extraparam>
-<info value="SymmetricExchange::comm" communicationName="comm" referenceCommunicationName="SymmetricExchange" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="SymmetricExchange::comm" communicationName="comm" referenceCommunicationName="SymmetricExchange" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
@@ -862,8 +862,8 @@
<cdparam x="578" y="303" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="Connector between ports" />
-<P1 x="577" y="306" id="371" />
-<P2 x="671" y="306" id="358" />
+<P1 x="590" y="318" id="371" />
+<P2 x="659" y="318" id="358" />
<AutomaticDrawing data="true" />
<new d="false" />
</CONNECTOR>
@@ -871,8 +871,8 @@
<cdparam x="578" y="246" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="Connector between ports" />
-<P1 x="577" y="263" id="369" />
-<P2 x="671" y="263" id="356" />
+<P1 x="590" y="275" id="369" />
+<P2 x="659" y="275" id="356" />
<AutomaticDrawing data="true" />
<new d="false" />
</CONNECTOR>
@@ -905,7 +905,7 @@
<new d="false" />
<TGConnectingPoint num="0" id="356" />
<extraparam>
-<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="null" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="null" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="2" checkStrongAuthStatus="2" vc="0" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
@@ -961,7 +961,7 @@
<new d="false" />
<TGConnectingPoint num="0" id="369" />
<extraparam>
-<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="true" checkConfStatus="2" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
<Type type="0" typeOther="" />
@@ -1424,7 +1424,7 @@
<TGConnectingPoint num="6" id="481" />
<TGConnectingPoint num="7" id="482" />
<extraparam>
-<info value="nonce::nonce_ch" communicationName="nonce_ch" referenceCommunicationName="nonce" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="nonce::nonce_ch" communicationName="nonce_ch" referenceCommunicationName="nonce" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
<SUBCOMPONENT type="1103" id="492" index="20" uid="aa788f80-fc04-45c8-b0ec-86a79bb52b6c" >
@@ -1444,7 +1444,7 @@
<TGConnectingPoint num="6" id="490" />
<TGConnectingPoint num="7" id="491" />
<extraparam>
-<info value="nonce::comm" communicationName="comm" referenceCommunicationName="nonce" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="nonce::comm" communicationName="comm" referenceCommunicationName="nonce" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
@@ -2394,7 +2394,7 @@
<TGConnectingPoint num="6" id="859" />
<TGConnectingPoint num="7" id="860" />
<extraparam>
-<info value="KeyExchange::comm" communicationName="comm" referenceCommunicationName="KeyExchange" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="KeyExchange::comm" communicationName="comm" referenceCommunicationName="KeyExchange" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
@@ -3248,7 +3248,7 @@
<TGConnectingPoint num="6" id="1212" />
<TGConnectingPoint num="7" id="1213" />
<extraparam>
-<info value="MAC::comm" communicationName="comm" referenceCommunicationName="MAC" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="MAC::comm" communicationName="comm" referenceCommunicationName="MAC" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
@@ -4054,7 +4054,7 @@
<TGConnectingPoint num="6" id="1557" />
<TGConnectingPoint num="7" id="1558" />
<extraparam>
-<info value="sampleAutoSec::comm" communicationName="comm" referenceCommunicationName="sampleAutoSec" mappedElements="ExternalBus" priority="0" typeName="channel" />
+<info value="sampleAutoSec::comm" communicationName="comm" referenceCommunicationName="sampleAutoSec" mappedElements="ExternalBus BusAlice BusBob" priority="0" typeName="channel" />
</extraparam>
</SUBCOMPONENT>
@@ -4417,3190 +4417,4 @@
-<Modeling type="TML Architecture" nameTab="sampleAutoSecArch_enc" >
-<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" considerExecOperators="true" considerTimingOperators="true" masterClockFrequency="200" zoom="1.0" >
-<CONNECTOR type="125" id="1782" index="0" uid="7aa3fdc4-52c5-497c-8b74-8a4acff951ad" >
-<cdparam x="672" y="244" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="672" y="244" id="1826" />
-<P2 x="687" y="264" id="1947" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="1783" index="1" uid="7d73dde2-f651-4df3-902f-0f3849a5e95e" >
-<cdparam x="599" y="244" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="599" y="244" id="1825" />
-<P2 x="576" y="263" id="1998" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="1784" index="2" uid="d6d2d51a-4b07-4214-a9d3-182025a5af57" >
-<cdparam x="486" y="244" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="486" y="244" id="1801" />
-<P2 x="503" y="263" id="1997" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="1785" index="3" uid="dc992b72-801c-4f75-811a-1b57be6d870a" >
-<cdparam x="418" y="244" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="418" y="244" id="1800" />
-<P2 x="394" y="264" id="1973" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="1106" id="1810" index="4" uid="84a29e48-5c8a-4f5f-b95b-431157ab670f" >
-<cdparam x="384" y="185" />
-<sizeparam width="137" height="59" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BridgeAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1786" />
-<TGConnectingPoint num="1" id="1787" />
-<TGConnectingPoint num="2" id="1788" />
-<TGConnectingPoint num="3" id="1789" />
-<TGConnectingPoint num="4" id="1790" />
-<TGConnectingPoint num="5" id="1791" />
-<TGConnectingPoint num="6" id="1792" />
-<TGConnectingPoint num="7" id="1793" />
-<TGConnectingPoint num="8" id="1794" />
-<TGConnectingPoint num="9" id="1795" />
-<TGConnectingPoint num="10" id="1796" />
-<TGConnectingPoint num="11" id="1797" />
-<TGConnectingPoint num="12" id="1798" />
-<TGConnectingPoint num="13" id="1799" />
-<TGConnectingPoint num="14" id="1800" />
-<TGConnectingPoint num="15" id="1801" />
-<TGConnectingPoint num="16" id="1802" />
-<TGConnectingPoint num="17" id="1803" />
-<TGConnectingPoint num="18" id="1804" />
-<TGConnectingPoint num="19" id="1805" />
-<TGConnectingPoint num="20" id="1806" />
-<TGConnectingPoint num="21" id="1807" />
-<TGConnectingPoint num="22" id="1808" />
-<TGConnectingPoint num="23" id="1809" />
-<extraparam>
-<info stereotype="BRIDGE" nodeName="BridgeAlice" />
-<attributes bufferByteDataSize="4" clockRatio="1" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1106" id="1835" index="5" uid="b41918fb-85ba-4c59-93ce-1596e82b94f5" >
-<cdparam x="563" y="190" />
-<sizeparam width="146" height="54" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BridgeBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1811" />
-<TGConnectingPoint num="1" id="1812" />
-<TGConnectingPoint num="2" id="1813" />
-<TGConnectingPoint num="3" id="1814" />
-<TGConnectingPoint num="4" id="1815" />
-<TGConnectingPoint num="5" id="1816" />
-<TGConnectingPoint num="6" id="1817" />
-<TGConnectingPoint num="7" id="1818" />
-<TGConnectingPoint num="8" id="1819" />
-<TGConnectingPoint num="9" id="1820" />
-<TGConnectingPoint num="10" id="1821" />
-<TGConnectingPoint num="11" id="1822" />
-<TGConnectingPoint num="12" id="1823" />
-<TGConnectingPoint num="13" id="1824" />
-<TGConnectingPoint num="14" id="1825" />
-<TGConnectingPoint num="15" id="1826" />
-<TGConnectingPoint num="16" id="1827" />
-<TGConnectingPoint num="17" id="1828" />
-<TGConnectingPoint num="18" id="1829" />
-<TGConnectingPoint num="19" id="1830" />
-<TGConnectingPoint num="20" id="1831" />
-<TGConnectingPoint num="21" id="1832" />
-<TGConnectingPoint num="22" id="1833" />
-<TGConnectingPoint num="23" id="1834" />
-<extraparam>
-<info stereotype="BRIDGE" nodeName="BridgeBob" />
-<attributes bufferByteDataSize="4" clockRatio="1" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="125" id="1836" index="6" uid="1f084584-b20e-4029-a921-95055328a646" >
-<cdparam x="534" y="367" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="540" y="335" id="1856" />
-<P2 x="540" y="313" id="1995" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="1105" id="1879" index="7" uid="a1a0dafb-c1e0-4f62-b196-cee3f0230710" >
-<cdparam x="391" y="335" />
-<sizeparam width="298" height="129" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="ExternalMemory" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1855" />
-<TGConnectingPoint num="1" id="1856" />
-<TGConnectingPoint num="2" id="1857" />
-<TGConnectingPoint num="3" id="1858" />
-<TGConnectingPoint num="4" id="1859" />
-<TGConnectingPoint num="5" id="1860" />
-<TGConnectingPoint num="6" id="1861" />
-<TGConnectingPoint num="7" id="1862" />
-<TGConnectingPoint num="8" id="1863" />
-<TGConnectingPoint num="9" id="1864" />
-<TGConnectingPoint num="10" id="1865" />
-<TGConnectingPoint num="11" id="1866" />
-<TGConnectingPoint num="12" id="1867" />
-<TGConnectingPoint num="13" id="1868" />
-<TGConnectingPoint num="14" id="1869" />
-<TGConnectingPoint num="15" id="1870" />
-<TGConnectingPoint num="16" id="1871" />
-<TGConnectingPoint num="17" id="1872" />
-<TGConnectingPoint num="18" id="1873" />
-<TGConnectingPoint num="19" id="1874" />
-<TGConnectingPoint num="20" id="1875" />
-<TGConnectingPoint num="21" id="1876" />
-<TGConnectingPoint num="22" id="1877" />
-<TGConnectingPoint num="23" id="1878" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="ExternalMemory" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1103" id="1845" index="19" uid="a54869ef-0caa-47c0-b7ae-4f75a732d697" >
-<father id="1879" num="0" />
-<cdparam x="396" y="419" />
-<sizeparam width="283" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="15" minY="0" maxY="89" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1837" />
-<TGConnectingPoint num="1" id="1838" />
-<TGConnectingPoint num="2" id="1839" />
-<TGConnectingPoint num="3" id="1840" />
-<TGConnectingPoint num="4" id="1841" />
-<TGConnectingPoint num="5" id="1842" />
-<TGConnectingPoint num="6" id="1843" />
-<TGConnectingPoint num="7" id="1844" />
-<extraparam>
-<info value="sampleAutoSec_enc::nonceChBob_Alice" communicationName="nonceChBob_Alice" referenceCommunicationName="sampleAutoSec_enc" mappedElements="ExternalBus" priority="5" typeName="channel" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1103" id="1854" index="20" uid="72b3b914-c0a6-4b45-927a-e7a85b7e8c95" >
-<father id="1879" num="1" />
-<cdparam x="432" y="373" />
-<sizeparam width="206" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="92" minY="0" maxY="89" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1846" />
-<TGConnectingPoint num="1" id="1847" />
-<TGConnectingPoint num="2" id="1848" />
-<TGConnectingPoint num="3" id="1849" />
-<TGConnectingPoint num="4" id="1850" />
-<TGConnectingPoint num="5" id="1851" />
-<TGConnectingPoint num="6" id="1852" />
-<TGConnectingPoint num="7" id="1853" />
-<extraparam>
-<info value="sampleAutoSec_enc::comm" communicationName="comm" referenceCommunicationName="sampleAutoSec_enc" mappedElements="ExternalBus" priority="0" typeName="channel" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1105" id="1913" index="8" uid="aa8e5780-ddea-4c55-aa28-d30d468c2465" >
-<cdparam x="192" y="342" />
-<sizeparam width="154" height="103" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="MemoryAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1889" />
-<TGConnectingPoint num="1" id="1890" />
-<TGConnectingPoint num="2" id="1891" />
-<TGConnectingPoint num="3" id="1892" />
-<TGConnectingPoint num="4" id="1893" />
-<TGConnectingPoint num="5" id="1894" />
-<TGConnectingPoint num="6" id="1895" />
-<TGConnectingPoint num="7" id="1896" />
-<TGConnectingPoint num="8" id="1897" />
-<TGConnectingPoint num="9" id="1898" />
-<TGConnectingPoint num="10" id="1899" />
-<TGConnectingPoint num="11" id="1900" />
-<TGConnectingPoint num="12" id="1901" />
-<TGConnectingPoint num="13" id="1902" />
-<TGConnectingPoint num="14" id="1903" />
-<TGConnectingPoint num="15" id="1904" />
-<TGConnectingPoint num="16" id="1905" />
-<TGConnectingPoint num="17" id="1906" />
-<TGConnectingPoint num="18" id="1907" />
-<TGConnectingPoint num="19" id="1908" />
-<TGConnectingPoint num="20" id="1909" />
-<TGConnectingPoint num="21" id="1910" />
-<TGConnectingPoint num="22" id="1911" />
-<TGConnectingPoint num="23" id="1912" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="MemoryAlice" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1111" id="1888" index="21" uid="d184b012-fc91-4040-adee-9e482bcfee57" >
-<father id="1913" num="0" />
-<cdparam x="202" y="382" />
-<sizeparam width="129" height="40" minWidth="75" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="79" minY="0" maxY="63" />
-<infoparam name="TGComponent" value="autoEncrypt_comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1880" />
-<TGConnectingPoint num="1" id="1881" />
-<TGConnectingPoint num="2" id="1882" />
-<TGConnectingPoint num="3" id="1883" />
-<TGConnectingPoint num="4" id="1884" />
-<TGConnectingPoint num="5" id="1885" />
-<TGConnectingPoint num="6" id="1886" />
-<TGConnectingPoint num="7" id="1887" />
-<extraparam>
-<info value="autoEncrypt_comm" referenceKeyName="autoEncrypt_comm" priority="5" typeName="key" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1105" id="1938" index="9" uid="01f606b9-71b4-4dae-848e-352b1a8ab1cd" >
-<cdparam x="709" y="330" />
-<sizeparam width="155" height="99" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="MemoryBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1914" />
-<TGConnectingPoint num="1" id="1915" />
-<TGConnectingPoint num="2" id="1916" />
-<TGConnectingPoint num="3" id="1917" />
-<TGConnectingPoint num="4" id="1918" />
-<TGConnectingPoint num="5" id="1919" />
-<TGConnectingPoint num="6" id="1920" />
-<TGConnectingPoint num="7" id="1921" />
-<TGConnectingPoint num="8" id="1922" />
-<TGConnectingPoint num="9" id="1923" />
-<TGConnectingPoint num="10" id="1924" />
-<TGConnectingPoint num="11" id="1925" />
-<TGConnectingPoint num="12" id="1926" />
-<TGConnectingPoint num="13" id="1927" />
-<TGConnectingPoint num="14" id="1928" />
-<TGConnectingPoint num="15" id="1929" />
-<TGConnectingPoint num="16" id="1930" />
-<TGConnectingPoint num="17" id="1931" />
-<TGConnectingPoint num="18" id="1932" />
-<TGConnectingPoint num="19" id="1933" />
-<TGConnectingPoint num="20" id="1934" />
-<TGConnectingPoint num="21" id="1935" />
-<TGConnectingPoint num="22" id="1936" />
-<TGConnectingPoint num="23" id="1937" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="MemoryBob" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="1963" index="10" uid="594b2b33-bb0b-4f89-8c9b-50f0732500b0" >
-<cdparam x="647" y="264" />
-<sizeparam width="163" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BusBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1939" />
-<TGConnectingPoint num="1" id="1940" />
-<TGConnectingPoint num="2" id="1941" />
-<TGConnectingPoint num="3" id="1942" />
-<TGConnectingPoint num="4" id="1943" />
-<TGConnectingPoint num="5" id="1944" />
-<TGConnectingPoint num="6" id="1945" />
-<TGConnectingPoint num="7" id="1946" />
-<TGConnectingPoint num="8" id="1947" />
-<TGConnectingPoint num="9" id="1948" />
-<TGConnectingPoint num="10" id="1949" />
-<TGConnectingPoint num="11" id="1950" />
-<TGConnectingPoint num="12" id="1951" />
-<TGConnectingPoint num="13" id="1952" />
-<TGConnectingPoint num="14" id="1953" />
-<TGConnectingPoint num="15" id="1954" />
-<TGConnectingPoint num="16" id="1955" />
-<TGConnectingPoint num="17" id="1956" />
-<TGConnectingPoint num="18" id="1957" />
-<TGConnectingPoint num="19" id="1958" />
-<TGConnectingPoint num="20" id="1959" />
-<TGConnectingPoint num="21" id="1960" />
-<TGConnectingPoint num="22" id="1961" />
-<TGConnectingPoint num="23" id="1962" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="BusBob" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="1988" index="11" uid="a580dc02-67c1-44bf-980a-406053786294" >
-<cdparam x="282" y="264" />
-<sizeparam width="150" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BusAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1964" />
-<TGConnectingPoint num="1" id="1965" />
-<TGConnectingPoint num="2" id="1966" />
-<TGConnectingPoint num="3" id="1967" />
-<TGConnectingPoint num="4" id="1968" />
-<TGConnectingPoint num="5" id="1969" />
-<TGConnectingPoint num="6" id="1970" />
-<TGConnectingPoint num="7" id="1971" />
-<TGConnectingPoint num="8" id="1972" />
-<TGConnectingPoint num="9" id="1973" />
-<TGConnectingPoint num="10" id="1974" />
-<TGConnectingPoint num="11" id="1975" />
-<TGConnectingPoint num="12" id="1976" />
-<TGConnectingPoint num="13" id="1977" />
-<TGConnectingPoint num="14" id="1978" />
-<TGConnectingPoint num="15" id="1979" />
-<TGConnectingPoint num="16" id="1980" />
-<TGConnectingPoint num="17" id="1981" />
-<TGConnectingPoint num="18" id="1982" />
-<TGConnectingPoint num="19" id="1983" />
-<TGConnectingPoint num="20" id="1984" />
-<TGConnectingPoint num="21" id="1985" />
-<TGConnectingPoint num="22" id="1986" />
-<TGConnectingPoint num="23" id="1987" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="BusAlice" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="2013" index="12" uid="f9aaddda-ea23-4340-8012-3358a572bd7a" >
-<cdparam x="467" y="263" />
-<sizeparam width="146" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="ExternalBus" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="1989" />
-<TGConnectingPoint num="1" id="1990" />
-<TGConnectingPoint num="2" id="1991" />
-<TGConnectingPoint num="3" id="1992" />
-<TGConnectingPoint num="4" id="1993" />
-<TGConnectingPoint num="5" id="1994" />
-<TGConnectingPoint num="6" id="1995" />
-<TGConnectingPoint num="7" id="1996" />
-<TGConnectingPoint num="8" id="1997" />
-<TGConnectingPoint num="9" id="1998" />
-<TGConnectingPoint num="10" id="1999" />
-<TGConnectingPoint num="11" id="2000" />
-<TGConnectingPoint num="12" id="2001" />
-<TGConnectingPoint num="13" id="2002" />
-<TGConnectingPoint num="14" id="2003" />
-<TGConnectingPoint num="15" id="2004" />
-<TGConnectingPoint num="16" id="2005" />
-<TGConnectingPoint num="17" id="2006" />
-<TGConnectingPoint num="18" id="2007" />
-<TGConnectingPoint num="19" id="2008" />
-<TGConnectingPoint num="20" id="2009" />
-<TGConnectingPoint num="21" id="2010" />
-<TGConnectingPoint num="22" id="2011" />
-<TGConnectingPoint num="23" id="2012" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="ExternalBus" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="0" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1100" id="2047" index="13" uid="45225ee4-c9f2-4003-ba41-9723bf86a51d" >
-<cdparam x="161" y="145" />
-<sizeparam width="202" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="CPUAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2023" />
-<TGConnectingPoint num="1" id="2024" />
-<TGConnectingPoint num="2" id="2025" />
-<TGConnectingPoint num="3" id="2026" />
-<TGConnectingPoint num="4" id="2027" />
-<TGConnectingPoint num="5" id="2028" />
-<TGConnectingPoint num="6" id="2029" />
-<TGConnectingPoint num="7" id="2030" />
-<TGConnectingPoint num="8" id="2031" />
-<TGConnectingPoint num="9" id="2032" />
-<TGConnectingPoint num="10" id="2033" />
-<TGConnectingPoint num="11" id="2034" />
-<TGConnectingPoint num="12" id="2035" />
-<TGConnectingPoint num="13" id="2036" />
-<TGConnectingPoint num="14" id="2037" />
-<TGConnectingPoint num="15" id="2038" />
-<TGConnectingPoint num="16" id="2039" />
-<TGConnectingPoint num="17" id="2040" />
-<TGConnectingPoint num="18" id="2041" />
-<TGConnectingPoint num="19" id="2042" />
-<TGConnectingPoint num="20" id="2043" />
-<TGConnectingPoint num="21" id="2044" />
-<TGConnectingPoint num="22" id="2045" />
-<TGConnectingPoint num="23" id="2046" />
-<extraparam>
-<info stereotype="CPURR" nodeName="CPUAlice" />
-<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" operation="" MECType="0" encryption="0"/>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2022" index="22" uid="2db430f8-24af-4fcb-b9b3-5f9fe08f0c2e" >
-<father id="2047" num="0" />
-<cdparam x="164" y="186" />
-<sizeparam width="198" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="4" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2014" />
-<TGConnectingPoint num="1" id="2015" />
-<TGConnectingPoint num="2" id="2016" />
-<TGConnectingPoint num="3" id="2017" />
-<TGConnectingPoint num="4" id="2018" />
-<TGConnectingPoint num="5" id="2019" />
-<TGConnectingPoint num="6" id="2020" />
-<TGConnectingPoint num="7" id="2021" />
-<extraparam>
-<info value="sampleAutoSec_enc::Alice" taskName="Alice" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="Alice" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1100" id="2081" index="14" uid="9ebdbf7d-5535-495a-a321-828cdde1d4bd" >
-<cdparam x="727" y="146" />
-<sizeparam width="199" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="CPUBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2057" />
-<TGConnectingPoint num="1" id="2058" />
-<TGConnectingPoint num="2" id="2059" />
-<TGConnectingPoint num="3" id="2060" />
-<TGConnectingPoint num="4" id="2061" />
-<TGConnectingPoint num="5" id="2062" />
-<TGConnectingPoint num="6" id="2063" />
-<TGConnectingPoint num="7" id="2064" />
-<TGConnectingPoint num="8" id="2065" />
-<TGConnectingPoint num="9" id="2066" />
-<TGConnectingPoint num="10" id="2067" />
-<TGConnectingPoint num="11" id="2068" />
-<TGConnectingPoint num="12" id="2069" />
-<TGConnectingPoint num="13" id="2070" />
-<TGConnectingPoint num="14" id="2071" />
-<TGConnectingPoint num="15" id="2072" />
-<TGConnectingPoint num="16" id="2073" />
-<TGConnectingPoint num="17" id="2074" />
-<TGConnectingPoint num="18" id="2075" />
-<TGConnectingPoint num="19" id="2076" />
-<TGConnectingPoint num="20" id="2077" />
-<TGConnectingPoint num="21" id="2078" />
-<TGConnectingPoint num="22" id="2079" />
-<TGConnectingPoint num="23" id="2080" />
-<extraparam>
-<info stereotype="CPURR" nodeName="CPUBob" />
-<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" operation="" MECType="0" encryption="0"/>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2056" index="23" uid="25792959-567b-4208-88ee-01f63a0dae98" >
-<father id="2081" num="0" />
-<cdparam x="731" y="187" />
-<sizeparam width="193" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="6" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2048" />
-<TGConnectingPoint num="1" id="2049" />
-<TGConnectingPoint num="2" id="2050" />
-<TGConnectingPoint num="3" id="2051" />
-<TGConnectingPoint num="4" id="2052" />
-<TGConnectingPoint num="5" id="2053" />
-<TGConnectingPoint num="6" id="2054" />
-<TGConnectingPoint num="7" id="2055" />
-<extraparam>
-<info value="sampleAutoSec_enc::Bob" taskName="Bob" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="Bob" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="125" id="2082" index="15" uid="1a024230-6fa7-4ce1-9b51-227722ac51bb" >
-<cdparam x="417" y="315" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="312" y="245" id="2038" />
-<P2 x="319" y="264" id="1972" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2083" index="16" uid="a5919681-5d08-4d90-a205-6212e3676333" >
-<cdparam x="570" y="361" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="269" y="342" id="1890" />
-<P2 x="357" y="314" id="1970" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2084" index="17" uid="928ad084-03d2-422d-9de3-f2adeed96739" >
-<cdparam x="718" y="378" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="786" y="330" id="1915" />
-<P2 x="728" y="314" id="1945" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2085" index="18" uid="9f1c75c5-115c-417b-a85c-63df997d24e8" >
-<cdparam x="755" y="206" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="776" y="246" id="2071" />
-<P2 x="769" y="264" id="1948" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-
-</TMLArchiDiagramPanel>
-
-</Modeling>
-
-
-
-
-<Modeling type="TML Component Design" nameTab="sampleAutoSec_enc" tabs="TML Component Task Diagram$Bob$Alice" >
-<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" considerExecOperators="true" considerTimingOperators="true" zoom="1.0" >
-<CONNECTOR type="126" id="2086" index="0" uid="a970196d-3d5b-4262-a236-5c87637f02b5" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="367" y="165" id="2090" />
-<P2 x="211" y="165" id="2103" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2087" index="1" uid="2c5e5858-4ffb-44b1-84a2-9befa37c9c0a" >
-<cdparam x="255" y="121" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="211" y="125" id="2101" />
-<P2 x="367" y="125" id="2088" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1202" id="2100" index="2" uid="b3ea88de-91e8-4e5d-81de-38fc2447c9fe" >
-<cdparam x="367" y="70" />
-<sizeparam width="133" height="127" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2092" />
-<TGConnectingPoint num="1" id="2093" />
-<TGConnectingPoint num="2" id="2094" />
-<TGConnectingPoint num="3" id="2095" />
-<TGConnectingPoint num="4" id="2096" />
-<TGConnectingPoint num="5" id="2097" />
-<TGConnectingPoint num="6" id="2098" />
-<TGConnectingPoint num="7" id="2099" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2089" index="4" uid="e2358354-4278-4e92-946a-ed2017ea4f0c" >
-<father id="2100" num="0" />
-<cdparam x="354" y="125" />
-<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="114" />
-<infoparam name="Primitive port" value="Channel comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2088" />
-<extraparam>
-<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2091" index="5" uid="46a8ca42-2d53-4682-ac9d-47b726c698f3" >
-<father id="2100" num="1" />
-<cdparam x="354" y="165" />
-<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="114" />
-<infoparam name="Primitive port" value="Channel nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2090" />
-<extraparam>
-<Prop commName="nonceChBob_Alice" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1202" id="2113" index="3" uid="8552e197-2ca3-48ff-b18d-ccc741e174d6" >
-<cdparam x="79" y="70" />
-<sizeparam width="132" height="128" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2105" />
-<TGConnectingPoint num="1" id="2106" />
-<TGConnectingPoint num="2" id="2107" />
-<TGConnectingPoint num="3" id="2108" />
-<TGConnectingPoint num="4" id="2109" />
-<TGConnectingPoint num="5" id="2110" />
-<TGConnectingPoint num="6" id="2111" />
-<TGConnectingPoint num="7" id="2112" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2102" index="6" uid="83dc3221-8f8c-4634-8083-7efec58cd1f2" >
-<father id="2113" num="0" />
-<cdparam x="198" y="125" />
-<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-13" maxX="119" minY="-13" maxY="115" />
-<infoparam name="Primitive port" value="Channel comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2101" />
-<extraparam>
-<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2104" index="7" uid="b23f7885-e5d3-4b52-ac5f-adedb5b3e793" >
-<father id="2113" num="1" />
-<cdparam x="198" y="165" />
-<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-13" maxX="119" minY="-13" maxY="115" />
-<infoparam name="Primitive port" value="Channel nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2103" />
-<extraparam>
-<Prop commName="nonceChBob_Alice" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-
-</TMLComponentTaskDiagramPanel>
-
-<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1720" zoom="1.0" >
-<CONNECTOR type="115" id="2114" index="0" uid="6b38e738-b533-4f5f-80c7-fabd3a897707" >
-<cdparam x="370" y="174" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="242" id="2124" />
-<P2 x="380" y="262" id="2120" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2115" index="1" uid="7de0d7f3-39ea-4668-8333-787b4ba9f6b0" >
-<cdparam x="363" y="659" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="424" id="2117" />
-<P2 x="380" y="446" id="2126" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1036" id="2118" index="2" uid="cf57a7dd-a14b-470a-9f51-761dabe51add" >
-<cdparam x="373" y="379" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="decrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2116" />
-<TGConnectingPoint num="1" id="2117" />
-<extraparam>
-<Data secPattern="autoEncrypt_comm" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2119" index="3" uid="0004fa32-4f0e-43e8-9e31-5d79fc05bb1b" >
-<cdparam x="363" y="519" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="292" id="2121" />
-<P2 x="380" y="318" id="2128" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2122" index="4" uid="47b50451-3d0b-4642-86b3-623070c05be9" >
-<cdparam x="299" y="267" />
-<sizeparam width="162" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="write channel" value="nonceChBob_Alice(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2120" />
-<TGConnectingPoint num="1" id="2121" />
-<extraparam>
-<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1035" id="2125" index="5" uid="c5b3955b-28c5-413e-be1e-e0ee202cc75c" >
-<cdparam x="373" y="197" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="encrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2123" />
-<TGConnectingPoint num="1" id="2124" />
-<extraparam>
-<Data secContext="nonce_Bob_Alice" type="Nonce" overhead="0" size="" encTime="100" decTime="100" nonce="" key="" algorithm="" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1001" id="2127" index="6" uid="42f5a29d-eca2-4c4f-8266-b502060838ca" >
-<cdparam x="370" y="451" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2126" />
-</COMPONENT>
-
-<COMPONENT type="1009" id="2130" index="7" uid="0cb3828d-3abb-47ff-8f6b-82763baf1fc9" >
-<cdparam x="336" y="323" />
-<sizeparam width="89" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="read channel" value="comm(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2128" />
-<TGConnectingPoint num="1" id="2129" />
-<extraparam>
-<Data channelName="comm" nbOfSamples="1" secPattern="autoEncrypt_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1000" id="2132" index="8" uid="32e99fd2-9789-4979-83cf-2fd75a7da5a3" >
-<cdparam x="372" y="151" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1720" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2131" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2133" index="9" uid="687194da-6975-446d-81b8-84e383bff12b" >
-<cdparam x="407" y="464" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="348" id="2129" />
-<P2 x="380" y="374" id="2116" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2134" index="10" uid="041cce45-81db-4c23-805b-9428be7f6aa8" >
-<cdparam x="407" y="70" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="171" id="2131" />
-<P2 x="380" y="192" id="2123" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-
-</TMLActivityDiagramPanel>
-
-<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1670" zoom="1.0" >
-<CONNECTOR type="115" id="2135" index="0" uid="5096a333-0f6c-42ff-bfff-f74007ec742d" >
-<cdparam x="365" y="379" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="407" y="256" id="2137" />
-<P2 x="407" y="264" id="2143" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1035" id="2138" index="1" uid="c5447e91-8367-4bfd-90d6-82b7d203b207" >
-<cdparam x="400" y="211" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1670" />
-<infoparam name="encrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2136" />
-<TGConnectingPoint num="1" id="2137" />
-<extraparam>
-<Data secContext="autoEncrypt_comm" type="Symmetric Encryption" overhead="0" size="" encTime="100" decTime="100" nonce="nonce_Bob_Alice" key="" algorithm="" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2139" index="2" uid="21bac1b8-f786-4772-9bd4-d7030b812408" >
-<cdparam x="365" y="319" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="407" y="182" id="2141" />
-<P2 x="407" y="206" id="2136" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2142" index="3" uid="d280029b-1b9b-4d94-9d37-1e0ca4ae8ec5" >
-<cdparam x="324" y="157" />
-<sizeparam width="166" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1670" />
-<infoparam name="read channel" value="nonceChBob_Alice(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2140" />
-<TGConnectingPoint num="1" id="2141" />
-<extraparam>
-<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1006" id="2145" index="4" uid="716fc85b-27ae-4c98-a41a-6d04af515010" >
-<cdparam x="364" y="269" />
-<sizeparam width="86" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1670" />
-<infoparam name="write channel" value="comm(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2143" />
-<TGConnectingPoint num="1" id="2144" />
-<extraparam>
-<Data channelName="comm" nbOfSamples="1" secPattern="autoEncrypt_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1001" id="2147" index="5" uid="a3026adc-787b-4d7c-8ff5-e4c242f8b1f5" >
-<cdparam x="397" y="318" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1670" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2146" />
-</COMPONENT>
-
-<COMPONENT type="1000" id="2149" index="6" uid="d70fe60e-f46d-43ca-b0d3-7230fbc5830c" >
-<cdparam x="399" y="115" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1670" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2148" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2150" index="7" uid="de81583b-f899-476a-8e27-cec150ba5dd8" >
-<cdparam x="407" y="70" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="406" y="135" id="2148" />
-<P2 x="407" y="152" id="2140" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2151" index="8" uid="cb021388-3206-4513-87e8-48df393e2844" >
-<cdparam x="401" y="296" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="407" y="294" id="2144" />
-<P2 x="407" y="313" id="2146" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-
-</TMLActivityDiagramPanel>
-
-</Modeling>
-
-
-
-
-<Modeling type="TML Architecture" nameTab="sampleAutoSecArch_enc" >
-<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" considerExecOperators="true" considerTimingOperators="true" masterClockFrequency="200" zoom="1.0" >
-<CONNECTOR type="125" id="2152" index="0" uid="5712d92d-f2a4-4190-8761-1328fa7bc0fb" >
-<cdparam x="1015" y="214" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="1015" y="214" id="2611" />
-<P2 x="1028" y="193" id="2164" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2153" index="1" uid="c8908f73-1dba-4e8c-8acf-5947779befff" >
-<cdparam x="439" y="205" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="455" y="204" id="2577" />
-<P2 x="467" y="181" id="2257" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2154" index="2" uid="c2332218-b096-4ea6-9117-1b55c6e987df" >
-<cdparam x="300" y="165" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="321" y="205" id="2321" />
-<P2 x="342" y="143" id="2261" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2155" index="3" uid="083d92a9-ef36-4415-a104-da84c118663d" >
-<cdparam x="476" y="110" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="467" y="110" id="2291" />
-<P2 x="467" y="131" id="2252" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2156" index="4" uid="b5768fb9-2e44-4a44-a461-90d248c74695" >
-<cdparam x="1033" y="120" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="1028" y="117" id="2198" />
-<P2 x="1028" y="143" id="2159" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2157" index="5" uid="eb15de1e-6b28-44b6-84a9-8ed832c7926d" >
-<cdparam x="1007" y="306" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="1166" y="194" id="2242" />
-<P2 x="1153" y="143" id="2176" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="1102" id="2182" index="6" uid="f616881b-965d-4867-8dfb-33031333e02d" >
-<cdparam x="903" y="143" />
-<sizeparam width="250" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSMBus_CPUBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2158" />
-<TGConnectingPoint num="1" id="2159" />
-<TGConnectingPoint num="2" id="2160" />
-<TGConnectingPoint num="3" id="2161" />
-<TGConnectingPoint num="4" id="2162" />
-<TGConnectingPoint num="5" id="2163" />
-<TGConnectingPoint num="6" id="2164" />
-<TGConnectingPoint num="7" id="2165" />
-<TGConnectingPoint num="8" id="2166" />
-<TGConnectingPoint num="9" id="2167" />
-<TGConnectingPoint num="10" id="2168" />
-<TGConnectingPoint num="11" id="2169" />
-<TGConnectingPoint num="12" id="2170" />
-<TGConnectingPoint num="13" id="2171" />
-<TGConnectingPoint num="14" id="2172" />
-<TGConnectingPoint num="15" id="2173" />
-<TGConnectingPoint num="16" id="2174" />
-<TGConnectingPoint num="17" id="2175" />
-<TGConnectingPoint num="18" id="2176" />
-<TGConnectingPoint num="19" id="2177" />
-<TGConnectingPoint num="20" id="2178" />
-<TGConnectingPoint num="21" id="2179" />
-<TGConnectingPoint num="22" id="2180" />
-<TGConnectingPoint num="23" id="2181" />
-<extraparam>
-<info stereotype="Bus" nodeName="HSMBus_CPUBob" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1104" id="2216" index="7" uid="14f781a3-64f4-4dff-9613-c5c808358a5d" >
-<cdparam x="898" y="17" />
-<sizeparam width="260" height="100" minWidth="100" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSM_Bob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2192" />
-<TGConnectingPoint num="1" id="2193" />
-<TGConnectingPoint num="2" id="2194" />
-<TGConnectingPoint num="3" id="2195" />
-<TGConnectingPoint num="4" id="2196" />
-<TGConnectingPoint num="5" id="2197" />
-<TGConnectingPoint num="6" id="2198" />
-<TGConnectingPoint num="7" id="2199" />
-<TGConnectingPoint num="8" id="2200" />
-<TGConnectingPoint num="9" id="2201" />
-<TGConnectingPoint num="10" id="2202" />
-<TGConnectingPoint num="11" id="2203" />
-<TGConnectingPoint num="12" id="2204" />
-<TGConnectingPoint num="13" id="2205" />
-<TGConnectingPoint num="14" id="2206" />
-<TGConnectingPoint num="15" id="2207" />
-<TGConnectingPoint num="16" id="2208" />
-<TGConnectingPoint num="17" id="2209" />
-<TGConnectingPoint num="18" id="2210" />
-<TGConnectingPoint num="19" id="2211" />
-<TGConnectingPoint num="20" id="2212" />
-<TGConnectingPoint num="21" id="2213" />
-<TGConnectingPoint num="22" id="2214" />
-<TGConnectingPoint num="23" id="2215" />
-<extraparam>
-<info stereotype="HWA" nodeName="HSM_Bob" />
-<attributes byteDataSize="4" execiTime="1" execcTime="1" clockRatio="1" operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2191" index="31" uid="08f5210e-5caa-42ae-a675-59c5eabf6cd1" >
-<father id="2216" num="0" />
-<cdparam x="907" y="62" />
-<sizeparam width="251" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="9" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::HSM_CPUBob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2183" />
-<TGConnectingPoint num="1" id="2184" />
-<TGConnectingPoint num="2" id="2185" />
-<TGConnectingPoint num="3" id="2186" />
-<TGConnectingPoint num="4" id="2187" />
-<TGConnectingPoint num="5" id="2188" />
-<TGConnectingPoint num="6" id="2189" />
-<TGConnectingPoint num="7" id="2190" />
-<extraparam>
-<info value="sampleAutoSec_enc::HSM_CPUBob" taskName="HSM_CPUBob" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="Bob" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1105" id="2250" index="8" uid="932b5401-4f9b-41c9-807e-d73cd2e37083" >
-<cdparam x="1166" y="194" />
-<sizeparam width="181" height="95" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSMMemory_CPUBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2226" />
-<TGConnectingPoint num="1" id="2227" />
-<TGConnectingPoint num="2" id="2228" />
-<TGConnectingPoint num="3" id="2229" />
-<TGConnectingPoint num="4" id="2230" />
-<TGConnectingPoint num="5" id="2231" />
-<TGConnectingPoint num="6" id="2232" />
-<TGConnectingPoint num="7" id="2233" />
-<TGConnectingPoint num="8" id="2234" />
-<TGConnectingPoint num="9" id="2235" />
-<TGConnectingPoint num="10" id="2236" />
-<TGConnectingPoint num="11" id="2237" />
-<TGConnectingPoint num="12" id="2238" />
-<TGConnectingPoint num="13" id="2239" />
-<TGConnectingPoint num="14" id="2240" />
-<TGConnectingPoint num="15" id="2241" />
-<TGConnectingPoint num="16" id="2242" />
-<TGConnectingPoint num="17" id="2243" />
-<TGConnectingPoint num="18" id="2244" />
-<TGConnectingPoint num="19" id="2245" />
-<TGConnectingPoint num="20" id="2246" />
-<TGConnectingPoint num="21" id="2247" />
-<TGConnectingPoint num="22" id="2248" />
-<TGConnectingPoint num="23" id="2249" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="HSMMemory_CPUBob" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1111" id="2225" index="32" uid="606e3834-ef0e-40d1-a199-f8396505ceb6" >
-<father id="2250" num="0" />
-<cdparam x="1190" y="235" />
-<sizeparam width="129" height="40" minWidth="75" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="52" minY="0" maxY="55" />
-<infoparam name="TGComponent" value="autoEncrypt_comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2217" />
-<TGConnectingPoint num="1" id="2218" />
-<TGConnectingPoint num="2" id="2219" />
-<TGConnectingPoint num="3" id="2220" />
-<TGConnectingPoint num="4" id="2221" />
-<TGConnectingPoint num="5" id="2222" />
-<TGConnectingPoint num="6" id="2223" />
-<TGConnectingPoint num="7" id="2224" />
-<extraparam>
-<info value="autoEncrypt_comm" referenceKeyName="autoEncrypt_comm" priority="5" typeName="key" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1102" id="2275" index="9" uid="3cc13b0c-f981-4059-9cf2-d3b26f2aee5a" >
-<cdparam x="342" y="131" />
-<sizeparam width="250" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSMBus_CPUAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2251" />
-<TGConnectingPoint num="1" id="2252" />
-<TGConnectingPoint num="2" id="2253" />
-<TGConnectingPoint num="3" id="2254" />
-<TGConnectingPoint num="4" id="2255" />
-<TGConnectingPoint num="5" id="2256" />
-<TGConnectingPoint num="6" id="2257" />
-<TGConnectingPoint num="7" id="2258" />
-<TGConnectingPoint num="8" id="2259" />
-<TGConnectingPoint num="9" id="2260" />
-<TGConnectingPoint num="10" id="2261" />
-<TGConnectingPoint num="11" id="2262" />
-<TGConnectingPoint num="12" id="2263" />
-<TGConnectingPoint num="13" id="2264" />
-<TGConnectingPoint num="14" id="2265" />
-<TGConnectingPoint num="15" id="2266" />
-<TGConnectingPoint num="16" id="2267" />
-<TGConnectingPoint num="17" id="2268" />
-<TGConnectingPoint num="18" id="2269" />
-<TGConnectingPoint num="19" id="2270" />
-<TGConnectingPoint num="20" id="2271" />
-<TGConnectingPoint num="21" id="2272" />
-<TGConnectingPoint num="22" id="2273" />
-<TGConnectingPoint num="23" id="2274" />
-<extraparam>
-<info stereotype="Bus" nodeName="HSMBus_CPUAlice" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1104" id="2309" index="10" uid="1b37eccc-f4ae-4741-ad4f-0ddc3e55b564" >
-<cdparam x="330" y="10" />
-<sizeparam width="274" height="100" minWidth="100" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSM_Alice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2285" />
-<TGConnectingPoint num="1" id="2286" />
-<TGConnectingPoint num="2" id="2287" />
-<TGConnectingPoint num="3" id="2288" />
-<TGConnectingPoint num="4" id="2289" />
-<TGConnectingPoint num="5" id="2290" />
-<TGConnectingPoint num="6" id="2291" />
-<TGConnectingPoint num="7" id="2292" />
-<TGConnectingPoint num="8" id="2293" />
-<TGConnectingPoint num="9" id="2294" />
-<TGConnectingPoint num="10" id="2295" />
-<TGConnectingPoint num="11" id="2296" />
-<TGConnectingPoint num="12" id="2297" />
-<TGConnectingPoint num="13" id="2298" />
-<TGConnectingPoint num="14" id="2299" />
-<TGConnectingPoint num="15" id="2300" />
-<TGConnectingPoint num="16" id="2301" />
-<TGConnectingPoint num="17" id="2302" />
-<TGConnectingPoint num="18" id="2303" />
-<TGConnectingPoint num="19" id="2304" />
-<TGConnectingPoint num="20" id="2305" />
-<TGConnectingPoint num="21" id="2306" />
-<TGConnectingPoint num="22" id="2307" />
-<TGConnectingPoint num="23" id="2308" />
-<extraparam>
-<info stereotype="HWA" nodeName="HSM_Alice" />
-<attributes byteDataSize="4" execiTime="1" execcTime="1" clockRatio="1" operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2284" index="33" uid="018ca611-02f7-4e29-b426-56cd15a35cd3" >
-<father id="2309" num="0" />
-<cdparam x="341" y="52" />
-<sizeparam width="256" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="18" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::HSM_CPUAlice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2276" />
-<TGConnectingPoint num="1" id="2277" />
-<TGConnectingPoint num="2" id="2278" />
-<TGConnectingPoint num="3" id="2279" />
-<TGConnectingPoint num="4" id="2280" />
-<TGConnectingPoint num="5" id="2281" />
-<TGConnectingPoint num="6" id="2282" />
-<TGConnectingPoint num="7" id="2283" />
-<extraparam>
-<info value="sampleAutoSec_enc::HSM_CPUAlice" taskName="HSM_CPUAlice" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="HSM_CPUAlice" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1105" id="2343" index="11" uid="e7c73e6e-3503-485d-aba2-fe20e1913715" >
-<cdparam x="127" y="205" />
-<sizeparam width="194" height="102" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="HSMMemory_CPUAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2319" />
-<TGConnectingPoint num="1" id="2320" />
-<TGConnectingPoint num="2" id="2321" />
-<TGConnectingPoint num="3" id="2322" />
-<TGConnectingPoint num="4" id="2323" />
-<TGConnectingPoint num="5" id="2324" />
-<TGConnectingPoint num="6" id="2325" />
-<TGConnectingPoint num="7" id="2326" />
-<TGConnectingPoint num="8" id="2327" />
-<TGConnectingPoint num="9" id="2328" />
-<TGConnectingPoint num="10" id="2329" />
-<TGConnectingPoint num="11" id="2330" />
-<TGConnectingPoint num="12" id="2331" />
-<TGConnectingPoint num="13" id="2332" />
-<TGConnectingPoint num="14" id="2333" />
-<TGConnectingPoint num="15" id="2334" />
-<TGConnectingPoint num="16" id="2335" />
-<TGConnectingPoint num="17" id="2336" />
-<TGConnectingPoint num="18" id="2337" />
-<TGConnectingPoint num="19" id="2338" />
-<TGConnectingPoint num="20" id="2339" />
-<TGConnectingPoint num="21" id="2340" />
-<TGConnectingPoint num="22" id="2341" />
-<TGConnectingPoint num="23" id="2342" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="HSMMemory_CPUAlice" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1111" id="2318" index="34" uid="e7544e79-4c67-4a36-a013-2ecdd26569fc" >
-<father id="2343" num="0" />
-<cdparam x="160" y="247" />
-<sizeparam width="129" height="40" minWidth="75" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="65" minY="0" maxY="62" />
-<infoparam name="TGComponent" value="autoEncrypt_comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2310" />
-<TGConnectingPoint num="1" id="2311" />
-<TGConnectingPoint num="2" id="2312" />
-<TGConnectingPoint num="3" id="2313" />
-<TGConnectingPoint num="4" id="2314" />
-<TGConnectingPoint num="5" id="2315" />
-<TGConnectingPoint num="6" id="2316" />
-<TGConnectingPoint num="7" id="2317" />
-<extraparam>
-<info value="autoEncrypt_comm" referenceKeyName="autoEncrypt_comm" priority="5" typeName="key" />
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="125" id="2344" index="12" uid="3f0de10d-98de-45dc-8d4e-2a34b89cc8b2" >
-<cdparam x="852" y="304" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="852" y="304" id="2388" />
-<P2 x="867" y="324" id="2500" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2345" index="13" uid="06bfea7a-ca76-40ca-bbf1-4d6e08d4741a" >
-<cdparam x="779" y="304" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="779" y="304" id="2387" />
-<P2 x="756" y="323" id="2551" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2346" index="14" uid="51f4bbe2-bf94-43fe-9f8e-3fd99fa0142a" >
-<cdparam x="666" y="304" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="670" y="305" id="2363" />
-<P2 x="683" y="323" id="2550" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2347" index="15" uid="2737a85d-74c1-43d7-a54e-d7f2bd1d92a2" >
-<cdparam x="598" y="304" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="602" y="305" id="2362" />
-<P2 x="574" y="324" id="2526" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="1106" id="2372" index="16" uid="c2fed495-2c3f-40b7-b00c-3eafa93efc09" >
-<cdparam x="568" y="246" />
-<sizeparam width="137" height="59" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BridgeAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2348" />
-<TGConnectingPoint num="1" id="2349" />
-<TGConnectingPoint num="2" id="2350" />
-<TGConnectingPoint num="3" id="2351" />
-<TGConnectingPoint num="4" id="2352" />
-<TGConnectingPoint num="5" id="2353" />
-<TGConnectingPoint num="6" id="2354" />
-<TGConnectingPoint num="7" id="2355" />
-<TGConnectingPoint num="8" id="2356" />
-<TGConnectingPoint num="9" id="2357" />
-<TGConnectingPoint num="10" id="2358" />
-<TGConnectingPoint num="11" id="2359" />
-<TGConnectingPoint num="12" id="2360" />
-<TGConnectingPoint num="13" id="2361" />
-<TGConnectingPoint num="14" id="2362" />
-<TGConnectingPoint num="15" id="2363" />
-<TGConnectingPoint num="16" id="2364" />
-<TGConnectingPoint num="17" id="2365" />
-<TGConnectingPoint num="18" id="2366" />
-<TGConnectingPoint num="19" id="2367" />
-<TGConnectingPoint num="20" id="2368" />
-<TGConnectingPoint num="21" id="2369" />
-<TGConnectingPoint num="22" id="2370" />
-<TGConnectingPoint num="23" id="2371" />
-<extraparam>
-<info stereotype="BRIDGE" nodeName="BridgeAlice" />
-<attributes bufferByteDataSize="4" clockRatio="1" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1106" id="2397" index="17" uid="e2fb772e-8cdd-4994-aaaa-b523ce1c5d1f" >
-<cdparam x="743" y="250" />
-<sizeparam width="146" height="54" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BridgeBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2373" />
-<TGConnectingPoint num="1" id="2374" />
-<TGConnectingPoint num="2" id="2375" />
-<TGConnectingPoint num="3" id="2376" />
-<TGConnectingPoint num="4" id="2377" />
-<TGConnectingPoint num="5" id="2378" />
-<TGConnectingPoint num="6" id="2379" />
-<TGConnectingPoint num="7" id="2380" />
-<TGConnectingPoint num="8" id="2381" />
-<TGConnectingPoint num="9" id="2382" />
-<TGConnectingPoint num="10" id="2383" />
-<TGConnectingPoint num="11" id="2384" />
-<TGConnectingPoint num="12" id="2385" />
-<TGConnectingPoint num="13" id="2386" />
-<TGConnectingPoint num="14" id="2387" />
-<TGConnectingPoint num="15" id="2388" />
-<TGConnectingPoint num="16" id="2389" />
-<TGConnectingPoint num="17" id="2390" />
-<TGConnectingPoint num="18" id="2391" />
-<TGConnectingPoint num="19" id="2392" />
-<TGConnectingPoint num="20" id="2393" />
-<TGConnectingPoint num="21" id="2394" />
-<TGConnectingPoint num="22" id="2395" />
-<TGConnectingPoint num="23" id="2396" />
-<extraparam>
-<info stereotype="BRIDGE" nodeName="BridgeBob" />
-<attributes bufferByteDataSize="4" clockRatio="1" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="125" id="2398" index="18" uid="85cd9890-a818-4073-af34-e0669cb9e1b6" >
-<cdparam x="714" y="427" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="720" y="399" id="2418" />
-<P2 x="720" y="373" id="2548" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<COMPONENT type="1105" id="2441" index="19" uid="56908ee7-7ef9-4ce0-8523-77778ecc0769" >
-<cdparam x="566" y="399" />
-<sizeparam width="308" height="128" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="ExternalMemory" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2417" />
-<TGConnectingPoint num="1" id="2418" />
-<TGConnectingPoint num="2" id="2419" />
-<TGConnectingPoint num="3" id="2420" />
-<TGConnectingPoint num="4" id="2421" />
-<TGConnectingPoint num="5" id="2422" />
-<TGConnectingPoint num="6" id="2423" />
-<TGConnectingPoint num="7" id="2424" />
-<TGConnectingPoint num="8" id="2425" />
-<TGConnectingPoint num="9" id="2426" />
-<TGConnectingPoint num="10" id="2427" />
-<TGConnectingPoint num="11" id="2428" />
-<TGConnectingPoint num="12" id="2429" />
-<TGConnectingPoint num="13" id="2430" />
-<TGConnectingPoint num="14" id="2431" />
-<TGConnectingPoint num="15" id="2432" />
-<TGConnectingPoint num="16" id="2433" />
-<TGConnectingPoint num="17" id="2434" />
-<TGConnectingPoint num="18" id="2435" />
-<TGConnectingPoint num="19" id="2436" />
-<TGConnectingPoint num="20" id="2437" />
-<TGConnectingPoint num="21" id="2438" />
-<TGConnectingPoint num="22" id="2439" />
-<TGConnectingPoint num="23" id="2440" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="ExternalMemory" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1103" id="2407" index="35" uid="ccf41993-815b-4fc2-936c-742333d4ec65" >
-<father id="2441" num="0" />
-<cdparam x="580" y="479" />
-<sizeparam width="283" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="25" minY="0" maxY="88" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2399" />
-<TGConnectingPoint num="1" id="2400" />
-<TGConnectingPoint num="2" id="2401" />
-<TGConnectingPoint num="3" id="2402" />
-<TGConnectingPoint num="4" id="2403" />
-<TGConnectingPoint num="5" id="2404" />
-<TGConnectingPoint num="6" id="2405" />
-<TGConnectingPoint num="7" id="2406" />
-<extraparam>
-<info value="sampleAutoSec_enc::nonceChBob_Alice" communicationName="nonceChBob_Alice" referenceCommunicationName="sampleAutoSec_enc" mappedElements="ExternalBus" priority="5" typeName="channel" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1103" id="2416" index="36" uid="20c42471-79c2-4210-b7d2-30a385c8dcde" >
-<father id="2441" num="1" />
-<cdparam x="613" y="432" />
-<sizeparam width="206" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="102" minY="0" maxY="88" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2408" />
-<TGConnectingPoint num="1" id="2409" />
-<TGConnectingPoint num="2" id="2410" />
-<TGConnectingPoint num="3" id="2411" />
-<TGConnectingPoint num="4" id="2412" />
-<TGConnectingPoint num="5" id="2413" />
-<TGConnectingPoint num="6" id="2414" />
-<TGConnectingPoint num="7" id="2415" />
-<extraparam>
-<info value="sampleAutoSec_enc::comm" communicationName="comm" referenceCommunicationName="sampleAutoSec_enc" mappedElements="ExternalBus" priority="0" typeName="channel" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1105" id="2466" index="20" uid="a6056fdd-31d4-4090-a9ca-b0a1bd9a698c" >
-<cdparam x="382" y="398" />
-<sizeparam width="154" height="103" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="MemoryAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2442" />
-<TGConnectingPoint num="1" id="2443" />
-<TGConnectingPoint num="2" id="2444" />
-<TGConnectingPoint num="3" id="2445" />
-<TGConnectingPoint num="4" id="2446" />
-<TGConnectingPoint num="5" id="2447" />
-<TGConnectingPoint num="6" id="2448" />
-<TGConnectingPoint num="7" id="2449" />
-<TGConnectingPoint num="8" id="2450" />
-<TGConnectingPoint num="9" id="2451" />
-<TGConnectingPoint num="10" id="2452" />
-<TGConnectingPoint num="11" id="2453" />
-<TGConnectingPoint num="12" id="2454" />
-<TGConnectingPoint num="13" id="2455" />
-<TGConnectingPoint num="14" id="2456" />
-<TGConnectingPoint num="15" id="2457" />
-<TGConnectingPoint num="16" id="2458" />
-<TGConnectingPoint num="17" id="2459" />
-<TGConnectingPoint num="18" id="2460" />
-<TGConnectingPoint num="19" id="2461" />
-<TGConnectingPoint num="20" id="2462" />
-<TGConnectingPoint num="21" id="2463" />
-<TGConnectingPoint num="22" id="2464" />
-<TGConnectingPoint num="23" id="2465" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="MemoryAlice" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1105" id="2491" index="21" uid="02dbd841-1a33-472c-b0f5-487d4f4fb69f" >
-<cdparam x="886" y="414" />
-<sizeparam width="155" height="99" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="MemoryBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2467" />
-<TGConnectingPoint num="1" id="2468" />
-<TGConnectingPoint num="2" id="2469" />
-<TGConnectingPoint num="3" id="2470" />
-<TGConnectingPoint num="4" id="2471" />
-<TGConnectingPoint num="5" id="2472" />
-<TGConnectingPoint num="6" id="2473" />
-<TGConnectingPoint num="7" id="2474" />
-<TGConnectingPoint num="8" id="2475" />
-<TGConnectingPoint num="9" id="2476" />
-<TGConnectingPoint num="10" id="2477" />
-<TGConnectingPoint num="11" id="2478" />
-<TGConnectingPoint num="12" id="2479" />
-<TGConnectingPoint num="13" id="2480" />
-<TGConnectingPoint num="14" id="2481" />
-<TGConnectingPoint num="15" id="2482" />
-<TGConnectingPoint num="16" id="2483" />
-<TGConnectingPoint num="17" id="2484" />
-<TGConnectingPoint num="18" id="2485" />
-<TGConnectingPoint num="19" id="2486" />
-<TGConnectingPoint num="20" id="2487" />
-<TGConnectingPoint num="21" id="2488" />
-<TGConnectingPoint num="22" id="2489" />
-<TGConnectingPoint num="23" id="2490" />
-<extraparam>
-<info stereotype="MEMORY" nodeName="MemoryBob" />
-<attributes byteDataSize="4" memorySize="1024" clockRatio="1" bufferType="0" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="2516" index="22" uid="8a913f0f-b035-41e8-b00f-781844931e01" >
-<cdparam x="827" y="324" />
-<sizeparam width="163" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BusBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2492" />
-<TGConnectingPoint num="1" id="2493" />
-<TGConnectingPoint num="2" id="2494" />
-<TGConnectingPoint num="3" id="2495" />
-<TGConnectingPoint num="4" id="2496" />
-<TGConnectingPoint num="5" id="2497" />
-<TGConnectingPoint num="6" id="2498" />
-<TGConnectingPoint num="7" id="2499" />
-<TGConnectingPoint num="8" id="2500" />
-<TGConnectingPoint num="9" id="2501" />
-<TGConnectingPoint num="10" id="2502" />
-<TGConnectingPoint num="11" id="2503" />
-<TGConnectingPoint num="12" id="2504" />
-<TGConnectingPoint num="13" id="2505" />
-<TGConnectingPoint num="14" id="2506" />
-<TGConnectingPoint num="15" id="2507" />
-<TGConnectingPoint num="16" id="2508" />
-<TGConnectingPoint num="17" id="2509" />
-<TGConnectingPoint num="18" id="2510" />
-<TGConnectingPoint num="19" id="2511" />
-<TGConnectingPoint num="20" id="2512" />
-<TGConnectingPoint num="21" id="2513" />
-<TGConnectingPoint num="22" id="2514" />
-<TGConnectingPoint num="23" id="2515" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="BusBob" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="2541" index="23" uid="3da00281-8f58-4a58-ac08-c4f8a24f291d" >
-<cdparam x="462" y="324" />
-<sizeparam width="150" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="BusAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2517" />
-<TGConnectingPoint num="1" id="2518" />
-<TGConnectingPoint num="2" id="2519" />
-<TGConnectingPoint num="3" id="2520" />
-<TGConnectingPoint num="4" id="2521" />
-<TGConnectingPoint num="5" id="2522" />
-<TGConnectingPoint num="6" id="2523" />
-<TGConnectingPoint num="7" id="2524" />
-<TGConnectingPoint num="8" id="2525" />
-<TGConnectingPoint num="9" id="2526" />
-<TGConnectingPoint num="10" id="2527" />
-<TGConnectingPoint num="11" id="2528" />
-<TGConnectingPoint num="12" id="2529" />
-<TGConnectingPoint num="13" id="2530" />
-<TGConnectingPoint num="14" id="2531" />
-<TGConnectingPoint num="15" id="2532" />
-<TGConnectingPoint num="16" id="2533" />
-<TGConnectingPoint num="17" id="2534" />
-<TGConnectingPoint num="18" id="2535" />
-<TGConnectingPoint num="19" id="2536" />
-<TGConnectingPoint num="20" id="2537" />
-<TGConnectingPoint num="21" id="2538" />
-<TGConnectingPoint num="22" id="2539" />
-<TGConnectingPoint num="23" id="2540" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="BusAlice" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="1" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1102" id="2566" index="24" uid="82a9b43a-7caf-492f-8f4d-c9b6a64aeb6f" >
-<cdparam x="647" y="323" />
-<sizeparam width="146" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="ExternalBus" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2542" />
-<TGConnectingPoint num="1" id="2543" />
-<TGConnectingPoint num="2" id="2544" />
-<TGConnectingPoint num="3" id="2545" />
-<TGConnectingPoint num="4" id="2546" />
-<TGConnectingPoint num="5" id="2547" />
-<TGConnectingPoint num="6" id="2548" />
-<TGConnectingPoint num="7" id="2549" />
-<TGConnectingPoint num="8" id="2550" />
-<TGConnectingPoint num="9" id="2551" />
-<TGConnectingPoint num="10" id="2552" />
-<TGConnectingPoint num="11" id="2553" />
-<TGConnectingPoint num="12" id="2554" />
-<TGConnectingPoint num="13" id="2555" />
-<TGConnectingPoint num="14" id="2556" />
-<TGConnectingPoint num="15" id="2557" />
-<TGConnectingPoint num="16" id="2558" />
-<TGConnectingPoint num="17" id="2559" />
-<TGConnectingPoint num="18" id="2560" />
-<TGConnectingPoint num="19" id="2561" />
-<TGConnectingPoint num="20" id="2562" />
-<TGConnectingPoint num="21" id="2563" />
-<TGConnectingPoint num="22" id="2564" />
-<TGConnectingPoint num="23" id="2565" />
-<extraparam>
-<info stereotype="BUS-RR" nodeName="ExternalBus" />
-<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" burstSize="100" clockRatio="1" privacy="0" referenceAttack="null" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1100" id="2600" index="25" uid="6c493096-f4d9-4ed0-a308-a600deffe0d4" >
-<cdparam x="351" y="204" />
-<sizeparam width="208" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="CPUAlice" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2576" />
-<TGConnectingPoint num="1" id="2577" />
-<TGConnectingPoint num="2" id="2578" />
-<TGConnectingPoint num="3" id="2579" />
-<TGConnectingPoint num="4" id="2580" />
-<TGConnectingPoint num="5" id="2581" />
-<TGConnectingPoint num="6" id="2582" />
-<TGConnectingPoint num="7" id="2583" />
-<TGConnectingPoint num="8" id="2584" />
-<TGConnectingPoint num="9" id="2585" />
-<TGConnectingPoint num="10" id="2586" />
-<TGConnectingPoint num="11" id="2587" />
-<TGConnectingPoint num="12" id="2588" />
-<TGConnectingPoint num="13" id="2589" />
-<TGConnectingPoint num="14" id="2590" />
-<TGConnectingPoint num="15" id="2591" />
-<TGConnectingPoint num="16" id="2592" />
-<TGConnectingPoint num="17" id="2593" />
-<TGConnectingPoint num="18" id="2594" />
-<TGConnectingPoint num="19" id="2595" />
-<TGConnectingPoint num="20" id="2596" />
-<TGConnectingPoint num="21" id="2597" />
-<TGConnectingPoint num="22" id="2598" />
-<TGConnectingPoint num="23" id="2599" />
-<extraparam>
-<info stereotype="CPURR" nodeName="CPUAlice" />
-<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" operation="" MECType="0" encryption="0"/>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2575" index="37" uid="4c196cfd-d129-40ea-83db-de314403d2fb" >
-<father id="2600" num="0" />
-<cdparam x="357" y="246" />
-<sizeparam width="198" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="10" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2567" />
-<TGConnectingPoint num="1" id="2568" />
-<TGConnectingPoint num="2" id="2569" />
-<TGConnectingPoint num="3" id="2570" />
-<TGConnectingPoint num="4" id="2571" />
-<TGConnectingPoint num="5" id="2572" />
-<TGConnectingPoint num="6" id="2573" />
-<TGConnectingPoint num="7" id="2574" />
-<extraparam>
-<info value="sampleAutoSec_enc::Alice" taskName="Alice" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="Alice" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1100" id="2634" index="26" uid="8a51d5d3-84bc-4885-bfa5-0e4d3ff4251e" >
-<cdparam x="911" y="214" />
-<sizeparam width="208" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="CPUBob" value="name" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2610" />
-<TGConnectingPoint num="1" id="2611" />
-<TGConnectingPoint num="2" id="2612" />
-<TGConnectingPoint num="3" id="2613" />
-<TGConnectingPoint num="4" id="2614" />
-<TGConnectingPoint num="5" id="2615" />
-<TGConnectingPoint num="6" id="2616" />
-<TGConnectingPoint num="7" id="2617" />
-<TGConnectingPoint num="8" id="2618" />
-<TGConnectingPoint num="9" id="2619" />
-<TGConnectingPoint num="10" id="2620" />
-<TGConnectingPoint num="11" id="2621" />
-<TGConnectingPoint num="12" id="2622" />
-<TGConnectingPoint num="13" id="2623" />
-<TGConnectingPoint num="14" id="2624" />
-<TGConnectingPoint num="15" id="2625" />
-<TGConnectingPoint num="16" id="2626" />
-<TGConnectingPoint num="17" id="2627" />
-<TGConnectingPoint num="18" id="2628" />
-<TGConnectingPoint num="19" id="2629" />
-<TGConnectingPoint num="20" id="2630" />
-<TGConnectingPoint num="21" id="2631" />
-<TGConnectingPoint num="22" id="2632" />
-<TGConnectingPoint num="23" id="2633" />
-<extraparam>
-<info stereotype="CPURR" nodeName="CPUBob" />
-<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" operation="" MECType="0" encryption="0"/>
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1101" id="2609" index="38" uid="36298837-2979-4679-ab7d-0f5e153cb628" >
-<father id="2634" num="0" />
-<cdparam x="916" y="256" />
-<sizeparam width="193" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="0" maxX="15" minY="0" maxY="60" />
-<infoparam name="TGComponent" value="sampleAutoSec_enc::Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2601" />
-<TGConnectingPoint num="1" id="2602" />
-<TGConnectingPoint num="2" id="2603" />
-<TGConnectingPoint num="3" id="2604" />
-<TGConnectingPoint num="4" id="2605" />
-<TGConnectingPoint num="5" id="2606" />
-<TGConnectingPoint num="6" id="2607" />
-<TGConnectingPoint num="7" id="2608" />
-<extraparam>
-<info value="sampleAutoSec_enc::Bob" taskName="Bob" referenceTaskName="sampleAutoSec_enc" priority="0" operationMEC="Bob" fatherComponentMECType="0" />
-</extraparam>
-</SUBCOMPONENT>
-
-<CONNECTOR type="125" id="2635" index="27" uid="c0ab4436-8d74-49af-97df-c56ab265185e" >
-<cdparam x="597" y="375" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="507" y="304" id="2591" />
-<P2 x="499" y="324" id="2525" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2636" index="28" uid="d580d818-077f-422f-aa0c-5c3c1e979c8c" >
-<cdparam x="750" y="421" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="459" y="398" id="2443" />
-<P2 x="537" y="374" id="2523" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2637" index="29" uid="6b532f85-c7f1-4718-af0e-652727469dfc" >
-<cdparam x="898" y="438" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="963" y="414" id="2468" />
-<P2 x="908" y="374" id="2498" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-<CONNECTOR type="125" id="2638" index="30" uid="00fd2a4d-350f-4abf-985b-5078ac283d8a" >
-<cdparam x="935" y="266" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="{info}" />
-<P1 x="963" y="314" id="2624" />
-<P2 x="949" y="324" id="2501" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-<extraparam>
-<info priority="0" />
-<spy value="false" />
-</extraparam>
-</CONNECTOR>
-
-</TMLArchiDiagramPanel>
-
-</Modeling>
-
-
-
-
-<Modeling type="TML Component Design" nameTab="sampleAutoSec_enc" tabs="TML Component Task Diagram$Bob$Alice$HSM_CPUAlice$HSM_CPUBob" >
-<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="13" maxX="3125" minY="13" maxY="1875" channels="true" events="true" requests="true" considerExecOperators="true" considerTimingOperators="true" zoom="1.25" >
-<CONNECTOR type="126" id="2639" index="0" uid="757a3ea1-4c67-44ad-883b-fafbf6b497c3" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="1053" y="380" id="2685" />
-<P2 x="877" y="378" id="2704" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2640" index="1" uid="60a37018-4fe2-4baf-a142-249d93c5a619" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="1466" y="407" id="2651" />
-<P2 x="1226" y="406" id="2683" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2641" index="2" uid="32451dab-4ee3-494b-bc36-0a8d6693517b" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="1508" y="247" id="2649" />
-<P2 x="1173" y="246" id="2681" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2642" index="3" uid="912b556d-0952-4d74-ac07-d9aacc9f95a8" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="1437" y="315" id="2647" />
-<P2 x="1245" y="317" id="2679" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2643" index="4" uid="3371b0cf-d8bd-4a00-a06c-64b2f853611b" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="419" y="401" id="2666" />
-<P2 x="714" y="402" id="2702" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2644" index="5" uid="ff47afd1-757d-4b50-8dc2-17603dfe38c9" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="257" y="241" id="2664" />
-<P2 x="732" y="241" id="2700" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2645" index="6" uid="c70bc3f2-2ea3-40d3-8213-69e1aa2cf3a7" >
-<cdparam x="477" y="185" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="498" y="321" id="2662" />
-<P2 x="682" y="316" id="2698" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="126" id="2646" index="7" uid="717b8fb9-8959-492b-9c06-8861e5ea751e" >
-<cdparam x="796" y="336" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2500" maxHeight="2500" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="Connector between ports" />
-<P1 x="877" y="324" id="2696" />
-<P2 x="1053" y="325" id="2677" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1202" id="2661" index="8" uid="07a5987e-3818-4db5-be1f-158cd303a102" >
-<cdparam x="1437" y="263" />
-<sizeparam width="317" height="160" minWidth="187" minHeight="125" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="HSM_CPUBob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2653" />
-<TGConnectingPoint num="1" id="2654" />
-<TGConnectingPoint num="2" id="2655" />
-<TGConnectingPoint num="3" id="2656" />
-<TGConnectingPoint num="4" id="2657" />
-<TGConnectingPoint num="5" id="2658" />
-<TGConnectingPoint num="6" id="2659" />
-<TGConnectingPoint num="7" id="2660" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="ms" Operation="" />
-<Attribute access="2" id="channelIndex" value="0" type="0" typeOther="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2648" index="12" uid="983a08bf-fb0b-44da-ac32-8786af527910" >
-<father id="2661" num="0" />
-<cdparam x="1421" y="315" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Request startHSM_CPUBob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2647" />
-<extraparam>
-<Prop commName="startHSM_CPUBob" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="1" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2650" index="13" uid="90a3a841-2c0f-451b-a2c6-2060f2734324" >
-<father id="2661" num="1" />
-<cdparam x="1492" y="247" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel data_comm_Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2649" />
-<extraparam>
-<Prop commName="data_comm_Bob" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2652" index="14" uid="7ec60e79-fb4c-48f8-be43-e96620e6a0d7" >
-<father id="2661" num="2" />
-<cdparam x="1450" y="407" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel retData_comm_Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2651" />
-<extraparam>
-<Prop commName="retData_comm_Bob" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1202" id="2676" index="9" uid="7c8e04cb-0465-47ee-8dab-43040e72d70a" >
-<cdparam x="181" y="257" />
-<sizeparam width="317" height="160" minWidth="187" minHeight="125" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="HSM_CPUAlice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2668" />
-<TGConnectingPoint num="1" id="2669" />
-<TGConnectingPoint num="2" id="2670" />
-<TGConnectingPoint num="3" id="2671" />
-<TGConnectingPoint num="4" id="2672" />
-<TGConnectingPoint num="5" id="2673" />
-<TGConnectingPoint num="6" id="2674" />
-<TGConnectingPoint num="7" id="2675" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="ms" Operation="" />
-<Attribute access="2" id="channelIndex" value="0" type="0" typeOther="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2663" index="15" uid="8bb9dcea-71b6-419a-8a95-eb5e6b5d6873" >
-<father id="2676" num="0" />
-<cdparam x="482" y="321" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Request startHSM_CPUAlice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2662" />
-<extraparam>
-<Prop commName="startHSM_CPUAlice" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="1" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2665" index="16" uid="ab8adb89-5c06-4e7f-932b-ff1ad6dc708d" >
-<father id="2676" num="1" />
-<cdparam x="241" y="241" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel data_comm_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2664" />
-<extraparam>
-<Prop commName="data_comm_Alice" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2667" index="17" uid="164f6032-fe4e-4b44-9c36-9b259b04c1eb" >
-<father id="2676" num="2" />
-<cdparam x="403" y="401" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="301" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel retData_comm_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2666" />
-<extraparam>
-<Prop commName="retData_comm_Alice" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1202" id="2695" index="10" uid="ad829335-5c07-4179-b8a9-cde8195292af" >
-<cdparam x="1053" y="262" />
-<sizeparam width="192" height="160" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2687" />
-<TGConnectingPoint num="1" id="2688" />
-<TGConnectingPoint num="2" id="2689" />
-<TGConnectingPoint num="3" id="2690" />
-<TGConnectingPoint num="4" id="2691" />
-<TGConnectingPoint num="5" id="2692" />
-<TGConnectingPoint num="6" id="2693" />
-<TGConnectingPoint num="7" id="2694" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2678" index="18" uid="f59ebdb1-1cb8-4cfe-b18c-f48f8df34759" >
-<father id="2695" num="0" />
-<cdparam x="1037" y="325" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="176" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2677" />
-<extraparam>
-<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2680" index="19" uid="90a19fc3-6051-4340-8cda-9e60bfcbe28c" >
-<father id="2695" num="1" />
-<cdparam x="1229" y="317" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="176" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Request startHSM_CPUBob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2679" />
-<extraparam>
-<Prop commName="startHSM_CPUBob" commType="2" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="1" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2682" index="20" uid="09a8db8b-9755-489f-a3a7-92e35ab56d76" >
-<father id="2695" num="2" />
-<cdparam x="1157" y="246" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="176" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel data_comm_Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2681" />
-<extraparam>
-<Prop commName="data_comm_Bob" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2684" index="21" uid="c4827bf3-fd56-4f8e-8563-ab66aeaf0c5b" >
-<father id="2695" num="3" />
-<cdparam x="1210" y="406" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="176" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel retData_comm_Bob" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2683" />
-<extraparam>
-<Prop commName="retData_comm_Bob" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2686" index="22" uid="9760f79c-4edb-4123-bac2-45870f194cd8" >
-<father id="2695" num="4" />
-<cdparam x="1037" y="380" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="176" minY="-16" maxY="144" />
-<infoparam name="Primitive port" value="Channel nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2685" />
-<extraparam>
-<Prop commName="nonceChBob_Alice" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-<COMPONENT type="1202" id="2714" index="11" uid="0ae66ef6-e29f-4e7d-88d4-6583794d9ca8" >
-<cdparam x="682" y="257" />
-<sizeparam width="195" height="161" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="Primitive component" value="Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2706" />
-<TGConnectingPoint num="1" id="2707" />
-<TGConnectingPoint num="2" id="2708" />
-<TGConnectingPoint num="3" id="2709" />
-<TGConnectingPoint num="4" id="2710" />
-<TGConnectingPoint num="5" id="2711" />
-<TGConnectingPoint num="6" id="2712" />
-<TGConnectingPoint num="7" id="2713" />
-<extraparam>
-<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" />
-</extraparam>
-</COMPONENT>
-<SUBCOMPONENT type="1203" id="2697" index="23" uid="34404196-bf06-4b12-85f5-8b2996588dd2" >
-<father id="2714" num="0" />
-<cdparam x="861" y="324" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="179" minY="-16" maxY="145" />
-<infoparam name="Primitive port" value="Channel comm" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2696" />
-<extraparam>
-<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2699" index="24" uid="c059ba1f-37cc-439e-a029-07e6c900a4a0" >
-<father id="2714" num="1" />
-<cdparam x="666" y="316" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="179" minY="-16" maxY="145" />
-<infoparam name="Primitive port" value="Request startHSM_CPUAlice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2698" />
-<extraparam>
-<Prop commName="startHSM_CPUAlice" commType="2" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="1" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2701" index="25" uid="09c69fa5-57dc-491b-a509-d4041b65a52f" >
-<father id="2714" num="2" />
-<cdparam x="716" y="241" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="179" minY="-16" maxY="145" />
-<infoparam name="Primitive port" value="Channel data_comm_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2700" />
-<extraparam>
-<Prop commName="data_comm_Alice" commType="0" origin="true" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2703" index="26" uid="325458d0-6a29-4105-b506-746a9b1ac219" >
-<father id="2714" num="3" />
-<cdparam x="698" y="402" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="179" minY="-16" maxY="145" />
-<infoparam name="Primitive port" value="Channel retData_comm_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2702" />
-<extraparam>
-<Prop commName="retData_comm_Alice" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-<SUBCOMPONENT type="1203" id="2705" index="27" uid="ba5901ca-329d-4324-9317-23b06b3ae312" >
-<father id="2714" num="4" />
-<cdparam x="861" y="378" />
-<sizeparam width="32" height="32" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-16" maxX="179" minY="-16" maxY="145" />
-<infoparam name="Primitive port" value="Channel nonceChBob_Alice" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2704" />
-<extraparam>
-<Prop commName="nonceChBob_Alice" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="0" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-<Type type="0" typeOther="" />
-</extraparam>
-</SUBCOMPONENT>
-
-
-</TMLComponentTaskDiagramPanel>
-
-<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1920" zoom="1.0" >
-<CONNECTOR type="115" id="2715" index="0" uid="299a8b47-1555-46ea-b173-67308f84634f" >
-<cdparam x="364" y="520" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="445" id="2717" />
-<P2 x="379" y="494" id="2740" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2718" index="1" uid="3ada8ea7-20a2-4cf0-bd94-4c61d239ed86" >
-<cdparam x="293" y="420" />
-<sizeparam width="173" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="read channel" value="retData_comm_Bob(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2716" />
-<TGConnectingPoint num="1" id="2717" />
-<extraparam>
-<Data channelName="retData_comm_Bob" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="No" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2719" index="2" uid="1eeacd56-840e-4121-8cc4-2970f12f9a9c" >
-<cdparam x="364" y="620" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="385" id="2722" />
-<P2 x="379" y="415" id="2716" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2720" index="3" uid="74ef9d88-ae15-4a69-b715-ba1962929ad7" >
-<cdparam x="364" y="1040" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="335" id="2726" />
-<P2 x="379" y="355" id="2721" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2723" index="4" uid="c83050ba-785b-4e91-bbc7-7871ab6b497f" >
-<cdparam x="304" y="360" />
-<sizeparam width="150" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="data_comm_Bob(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2721" />
-<TGConnectingPoint num="1" id="2722" />
-<extraparam>
-<Data channelName="data_comm_Bob" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2724" index="5" uid="5e6511d2-d1f6-4c27-a3df-e096b2814ea2" >
-<cdparam x="364" y="940" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="301" id="2729" />
-<P2 x="379" y="305" id="2725" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2727" index="6" uid="e5a6d34d-7fff-46f5-b3a3-63c376e996c2" >
-<cdparam x="298" y="310" />
-<sizeparam width="162" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="nonceChBob_Alice(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2725" />
-<TGConnectingPoint num="1" id="2726" />
-<extraparam>
-<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1035" id="2730" index="7" uid="333790e0-c50a-4b6b-ac7d-e7962a16fdaa" >
-<cdparam x="372" y="256" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="encrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2728" />
-<TGConnectingPoint num="1" id="2729" />
-<extraparam>
-<Data secContext="nonce_Bob_Alice" type="Nonce" overhead="0" size="" encTime="100" decTime="100" nonce="" key="" algorithm="" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2731" index="8" uid="2f4dd861-cfea-4281-8c7d-d4247680547d" >
-<cdparam x="364" y="520" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="225" id="2734" />
-<P2 x="379" y="251" id="2728" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2732" index="9" uid="9dedf74d-dc71-496d-84fc-7cf3b3248466" >
-<cdparam x="364" y="520" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="175" id="2738" />
-<P2 x="379" y="195" id="2733" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2735" index="10" uid="4dc74877-cd9b-4870-964e-d8e9d57fe392" >
-<cdparam x="304" y="200" />
-<sizeparam width="150" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="data_comm_Bob(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2733" />
-<TGConnectingPoint num="1" id="2734" />
-<extraparam>
-<Data channelName="data_comm_Bob" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2736" index="11" uid="47e4c95a-ecfc-405a-aea1-f2de9839d831" >
-<cdparam x="407" y="964" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="124" id="2743" />
-<P2 x="379" y="145" id="2737" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1007" id="2739" index="12" uid="11a964f5-0fe3-49e2-beb8-7eb1ab99b889" >
-<cdparam x="299" y="150" />
-<sizeparam width="160" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="send request" value="startHSM_CPUBob(0)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2737" />
-<TGConnectingPoint num="1" id="2738" />
-<extraparam>
-<Data requestName="startHSM_CPUBob" nbOfParams="5" />
-<Param index="0" value="0" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1001" id="2741" index="13" uid="4f0602ac-2a40-490c-92a0-aca571c80d8d" >
-<cdparam x="369" y="499" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2740" />
-</COMPONENT>
-
-<COMPONENT type="1009" id="2744" index="14" uid="f659b8a9-4574-44c8-bb18-bbd5efafaf40" >
-<cdparam x="335" y="99" />
-<sizeparam width="89" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="read channel" value="comm(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2742" />
-<TGConnectingPoint num="1" id="2743" />
-<extraparam>
-<Data channelName="comm" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1000" id="2746" index="15" uid="3c47b408-c6d2-41d8-9cf1-dc70f0dcd429" >
-<cdparam x="372" y="53" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2745" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2747" index="16" uid="47e4c95a-ecfc-405a-aea1-f2de9839d831" >
-<cdparam x="407" y="964" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="124" id="2743" />
-<P2 x="379" y="145" id="2737" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2748" index="17" uid="c7d2d15d-d8a3-414c-8fac-d05f68197dac" >
-<cdparam x="407" y="70" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="379" y="73" id="2745" />
-<P2 x="379" y="94" id="2742" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-
-</TMLActivityDiagramPanel>
-
-<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1920" zoom="1.0" >
-<CONNECTOR type="115" id="2749" index="0" uid="f6379044-49b1-4f1d-845d-d95a0698834b" >
-<cdparam x="365" y="519" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="388" id="2751" />
-<P2 x="380" y="421" id="2770" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2752" index="1" uid="3920c6a8-9828-4f17-8470-95ac8472755b" >
-<cdparam x="291" y="363" />
-<sizeparam width="178" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="read channel" value="retData_comm_Alice(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2750" />
-<TGConnectingPoint num="1" id="2751" />
-<extraparam>
-<Data channelName="retData_comm_Alice" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2753" index="2" uid="c344ac0a-b699-4e91-8ade-1004a05ab22c" >
-<cdparam x="365" y="669" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="324" id="2756" />
-<P2 x="380" y="358" id="2750" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2754" index="3" uid="cccc4ad1-dd69-41e9-a85f-754fe45604e5" >
-<cdparam x="365" y="919" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="274" id="2760" />
-<P2 x="380" y="294" id="2755" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2757" index="4" uid="258ea48c-01bc-476c-a2bc-d10064e43f4b" >
-<cdparam x="303" y="299" />
-<sizeparam width="155" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="data_comm_Alice(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2755" />
-<TGConnectingPoint num="1" id="2756" />
-<extraparam>
-<Data channelName="data_comm_Alice" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2758" index="5" uid="df986f74-3bda-4e21-a4cd-6a9e685e65b9" >
-<cdparam x="365" y="669" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="274" id="2760" />
-<P2 x="380" y="294" id="2755" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2761" index="6" uid="14f6735d-b334-4cad-8f0c-b068e998dc93" >
-<cdparam x="297" y="249" />
-<sizeparam width="166" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="read channel" value="nonceChBob_Alice(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2759" />
-<TGConnectingPoint num="1" id="2760" />
-<extraparam>
-<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2762" index="7" uid="e1ba01cc-c1f6-47a7-b8f9-fd0c52581fcb" >
-<cdparam x="365" y="519" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="224" id="2765" />
-<P2 x="380" y="244" id="2759" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2763" index="8" uid="29af5430-a1de-4593-b1f7-a5bc475ad3f3" >
-<cdparam x="365" y="519" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="174" id="2768" />
-<P2 x="380" y="194" id="2764" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1006" id="2766" index="9" uid="d995a10e-191d-4d88-9f1f-e84df946217c" >
-<cdparam x="303" y="199" />
-<sizeparam width="155" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="data_comm_Alice(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2764" />
-<TGConnectingPoint num="1" id="2765" />
-<extraparam>
-<Data channelName="data_comm_Alice" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="No" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1007" id="2769" index="10" uid="4d5c24e0-8b77-4e60-be82-10c43c20ff62" >
-<cdparam x="298" y="149" />
-<sizeparam width="165" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="send request" value="startHSM_CPUAlice(0)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2767" />
-<TGConnectingPoint num="1" id="2768" />
-<extraparam>
-<Data requestName="startHSM_CPUAlice" nbOfParams="5" />
-<Param index="0" value="0" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1006" id="2772" index="11" uid="11470fe9-5093-4468-b4a7-284ddf6b3b70" >
-<cdparam x="338" y="426" />
-<sizeparam width="85" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="write channel" value="comm(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2770" />
-<TGConnectingPoint num="1" id="2771" />
-<extraparam>
-<Data channelName="comm" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1001" id="2774" index="12" uid="b9853511-879d-495d-8189-95a4924416d9" >
-<cdparam x="370" y="495" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2773" />
-</COMPONENT>
-
-<COMPONENT type="1000" id="2776" index="13" uid="8e3fa9ac-5640-4efc-9f48-f140836084ee" >
-<cdparam x="373" y="98" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1920" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2775" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2777" index="14" uid="80f71df9-3c42-47a5-a9ef-0dc25d2d52b5" >
-<cdparam x="407" y="70" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="118" id="2775" />
-<P2 x="380" y="144" id="2767" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2778" index="15" uid="7790e46d-8de4-4efb-9cec-fa0b169e564e" >
-<cdparam x="401" y="546" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="380" y="451" id="2771" />
-<P2 x="380" y="490" id="2773" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-
-</TMLActivityDiagramPanel>
-
-<TMLActivityDiagramPanel name="HSM_CPUAlice" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="115" id="2779" index="0" uid="3e08f292-bcda-47ac-9501-6db6ef7dd1fc" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="250" y="530" id="2788" />
-<P2 x="250" y="561" id="2780" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1001" id="2781" index="1" uid="ac4727f5-218d-4938-96a7-87e7574a2a56" >
-<cdparam x="240" y="566" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2780" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2782" index="2" uid="8e3e71f5-6c60-4965-a03b-2c865f3c6bcd" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="250" y="467" id="2785" />
-<P2 x="250" y="500" id="2787" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2783" index="3" uid="a71e944b-0992-4602-9044-193c6c5f8956" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="250" y="379" id="2791" />
-<P2 x="250" y="417" id="2784" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1035" id="2786" index="4" uid="432bddbd-d26d-48d3-84ed-40076cf9c2ec" >
-<cdparam x="243" y="422" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="encrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2784" />
-<TGConnectingPoint num="1" id="2785" />
-<extraparam>
-<Data secContext="hsmSec_comm" type="Symmetric Encryption" overhead="0" size="" encTime="100" decTime="100" nonce="" key="" algorithm="" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1006" id="2789" index="5" uid="9f38ba68-6285-4327-8f7c-e619b4bd4c18" >
-<cdparam x="163" y="505" />
-<sizeparam width="174" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="write channel" value="retData_comm_Alice(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2787" />
-<TGConnectingPoint num="1" id="2788" />
-<extraparam>
-<Data channelName="retData_comm_Alice" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1009" id="2792" index="6" uid="b4d77dae-a791-468e-a680-dc8edb32e7b8" >
-<cdparam x="171" y="354" />
-<sizeparam width="159" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read channel" value="data_comm_Alice(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2790" />
-<TGConnectingPoint num="1" id="2791" />
-<extraparam>
-<Data channelName="data_comm_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2793" index="7" uid="831a4664-cb5c-429e-bd3d-c0c250f1fa8d" >
-<cdparam x="150" y="350" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="250" y="312" id="2796" />
-<P2 x="250" y="349" id="2790" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2794" index="8" uid="de61e802-0101-41d0-9b8c-09914131d140" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="210" id="2803" />
-<P2 x="250" y="282" id="2795" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2797" index="9" uid="5a093d74-a6b2-4496-b63d-171905e4e2c7" >
-<cdparam x="171" y="287" />
-<sizeparam width="159" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read channel" value="data_comm_Alice(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2795" />
-<TGConnectingPoint num="1" id="2796" />
-<extraparam>
-<Data channelName="data_comm_Alice" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="No" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2798" index="10" uid="f2a7e343-c926-40c4-ae81-95f0676548db" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="315" y="125" id="2809" />
-<P2 x="315" y="195" id="2802" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1012" id="2806" index="11" uid="d17e3e6c-d7ec-4980-ab64-4d0d7468310e" >
-<cdparam x="305" y="200" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="choice" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2802" />
-<TGConnectingPoint num="1" id="2803" />
-<TGConnectingPoint num="2" id="2804" />
-<TGConnectingPoint num="3" id="2805" />
-</COMPONENT>
-<SUBCOMPONENT type="-1" id="2799" index="15" uid="ecd2e020-65c9-4507-bdfd-f70ddf99e514" >
-<father id="2806" num="0" />
-<cdparam x="280" y="205" />
-<sizeparam width="121" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="-125" maxX="-10" minY="5" maxY="30" />
-<infoparam name="guard 1" value="[channelIndex==0]" />
-<new d="false" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="-1" id="2800" index="16" uid="991dc25d-6cad-45c7-b8b9-9c127c2c7dd3" >
-<father id="2806" num="1" />
-<cdparam x="330" y="205" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="25" maxX="105" minY="5" maxY="30" />
-<infoparam name="guard 2" value="[ ]" />
-<new d="false" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="-1" id="2801" index="17" uid="8818c63e-5452-4760-8549-e8a05b07a618" >
-<father id="2806" num="2" />
-<cdparam x="320" y="235" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-5" maxX="95" minY="35" maxY="60" />
-<infoparam name="guard 3" value="[ ]" />
-<new d="false" />
-</SUBCOMPONENT>
-
-<CONNECTOR type="115" id="2807" index="12" uid="1834e64a-a6f5-47fa-8c22-032aef62fb0c" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="315" y="69" id="2811" />
-<P2 x="315" y="95" id="2808" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1034" id="2810" index="13" uid="202864e5-3056-460f-b7c6-b95481c43ae6" >
-<cdparam x="221" y="100" />
-<sizeparam width="189" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read args" value="getReqArg(channelIndex)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2808" />
-<TGConnectingPoint num="1" id="2809" />
-<extraparam>
-<Data nbOfParams="5" />
-<Param index="0" value="channelIndex" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1000" id="2812" index="14" uid="f37ea744-1631-4c5a-a0ef-f626b08bc953" >
-<cdparam x="308" y="49" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2811" />
-</COMPONENT>
-
-
-</TMLActivityDiagramPanel>
-
-<TMLActivityDiagramPanel name="HSM_CPUBob" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" >
-<CONNECTOR type="115" id="2813" index="0" uid="af0f5c5d-4bfd-4f71-974b-f2782561104b" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="488" id="2822" />
-<P2 x="280" y="514" id="2814" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1001" id="2815" index="1" uid="3ea8ac2b-a5d5-4de2-8b61-be46ea5d13a4" >
-<cdparam x="270" y="519" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="stop state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2814" />
-</COMPONENT>
-
-<CONNECTOR type="115" id="2816" index="2" uid="2d155019-7f04-4279-83e9-1d7c055231c9" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="431" id="2819" />
-<P2 x="280" y="458" id="2821" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2817" index="3" uid="b12b47ef-be2b-4e33-abfe-9c6d8bfea7b1" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="347" id="2825" />
-<P2 x="280" y="381" id="2818" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1036" id="2820" index="4" uid="1354297e-9623-4abd-9236-b39bc35542ba" >
-<cdparam x="273" y="386" />
-<sizeparam width="15" height="35" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="decrypt" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2818" />
-<TGConnectingPoint num="1" id="2819" />
-<extraparam>
-<Data secPattern="hsmSec_comm" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1006" id="2823" index="5" uid="46667da7-c10d-47ae-b7a0-12aeb9ad21b4" >
-<cdparam x="196" y="463" />
-<sizeparam width="169" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="write channel" value="retData_comm_Bob(1)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2821" />
-<TGConnectingPoint num="1" id="2822" />
-<extraparam>
-<Data channelName="retData_comm_Bob" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="No" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1009" id="2826" index="6" uid="d712f944-6e7e-4ac9-a472-4725ebf6b929" >
-<cdparam x="203" y="322" />
-<sizeparam width="154" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read channel" value="data_comm_Bob(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2824" />
-<TGConnectingPoint num="1" id="2825" />
-<extraparam>
-<Data channelName="data_comm_Bob" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2827" index="7" uid="5f0b8248-cd23-4a1b-b632-aad5990528fa" >
-<cdparam x="150" y="350" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="286" id="2830" />
-<P2 x="280" y="317" id="2824" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<CONNECTOR type="115" id="2828" index="8" uid="6461bbc5-fe89-4814-bc68-63df0bad79a1" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="280" y="174" id="2837" />
-<P2 x="280" y="256" id="2829" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1009" id="2831" index="9" uid="101ad12d-3be8-4122-8b9f-22d0e8cefe59" >
-<cdparam x="203" y="261" />
-<sizeparam width="154" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read channel" value="data_comm_Bob(1) " />
-<new d="false" />
-<TGConnectingPoint num="0" id="2829" />
-<TGConnectingPoint num="1" id="2830" />
-<extraparam>
-<Data channelName="data_comm_Bob" nbOfSamples="1" secPattern="hsmSec_comm" isAttacker="No" isEncForm="Yes" />
-</extraparam>
-</COMPONENT>
-
-<CONNECTOR type="115" id="2832" index="10" uid="b401dbf6-d09d-47bc-b224-16c6096caf15" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="315" y="125" id="2843" />
-<P2 x="315" y="159" id="2836" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1012" id="2840" index="11" uid="1877b719-3a09-4dbb-b708-ffb80361fc74" >
-<cdparam x="305" y="164" />
-<sizeparam width="20" height="20" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="choice" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2836" />
-<TGConnectingPoint num="1" id="2837" />
-<TGConnectingPoint num="2" id="2838" />
-<TGConnectingPoint num="3" id="2839" />
-</COMPONENT>
-<SUBCOMPONENT type="-1" id="2833" index="15" uid="5a0b748d-154a-4a84-88f6-d52aad46e482" >
-<father id="2840" num="0" />
-<cdparam x="284" y="169" />
-<sizeparam width="121" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="-125" maxX="-10" minY="5" maxY="30" />
-<infoparam name="guard 1" value="[channelIndex==0]" />
-<new d="false" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="-1" id="2834" index="16" uid="86c918f3-50d8-4ca3-b3ff-e72acfb7951c" >
-<father id="2840" num="1" />
-<cdparam x="330" y="169" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="25" maxX="105" minY="5" maxY="30" />
-<infoparam name="guard 2" value="[ ]" />
-<new d="false" />
-</SUBCOMPONENT>
-<SUBCOMPONENT type="-1" id="2835" index="17" uid="69ee4b23-0e53-4086-9b03-d4e72bcf2d5a" >
-<father id="2840" num="2" />
-<cdparam x="320" y="199" />
-<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="-5" maxX="95" minY="35" maxY="60" />
-<infoparam name="guard 3" value="[ ]" />
-<new d="false" />
-</SUBCOMPONENT>
-
-<CONNECTOR type="115" id="2841" index="12" uid="fba1d56c-ef62-4b84-a76f-cd202b1a7da3" >
-<cdparam x="0" y="0" />
-<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<infoparam name="connector" value="null" />
-<P1 x="315" y="67" id="2845" />
-<P2 x="315" y="95" id="2842" />
-<AutomaticDrawing data="true" />
-<new d="false" />
-</CONNECTOR>
-<COMPONENT type="1034" id="2844" index="13" uid="a5e2293d-8a9c-46e3-bc08-2779401a97cf" >
-<cdparam x="221" y="100" />
-<sizeparam width="189" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<enabled value="true" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="read args" value="getReqArg(channelIndex)" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2842" />
-<TGConnectingPoint num="1" id="2843" />
-<extraparam>
-<Data nbOfParams="5" />
-<Param index="0" value="channelIndex" />
-</extraparam>
-</COMPONENT>
-
-<COMPONENT type="1000" id="2846" index="14" uid="84b41962-803f-42e2-875e-2727b246c054" >
-<cdparam x="308" y="47" />
-<sizeparam width="15" height="15" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
-<hidden value="false" />
-<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
-<infoparam name="start state" value="null" />
-<new d="false" />
-<TGConnectingPoint num="0" id="2845" />
-</COMPONENT>
-
-
-</TMLActivityDiagramPanel>
-
-</Modeling>
-
-
-
-
</TURTLEGMODELING>
\ No newline at end of file
diff --git a/src/main/java/tmltranslator/toavatarsec/TML2Avatar.java b/src/main/java/tmltranslator/toavatarsec/TML2Avatar.java
index 54fd4ca8c97db2326fe93af452ca44a239bff070..215a6bbeff30eee9646a0504611ca90aed70639c 100644
--- a/src/main/java/tmltranslator/toavatarsec/TML2Avatar.java
+++ b/src/main/java/tmltranslator/toavatarsec/TML2Avatar.java
@@ -1837,7 +1837,6 @@ public class TML2Avatar {
boolean checkAuthSecPattern = false;
for (TMLChannel ch : tmlmodel.getChannels(task)) {
if (ch.hasOriginTask(task) && ch.isCheckConfChannel()) {
- TraceManager.addDev("1842 ch.name= " + ch.getName());
for (TMLActivityElement actElem : task.getActivityDiagram().getElements()){
if (actElem instanceof TMLWriteChannel) {
TMLWriteChannel wc = (TMLWriteChannel) actElem;