Commit d71014c5 authored by apvrille's avatar apvrille

Update on doc for sysml-sec as well as update on the model

parent 23c528ee
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="219"
height="435"
viewbox="331 45 223 436"
id="svg7731"
inkscape:version="0.48.5 r10040"
sodipodi:docname="design_t1.svg">
<metadata
id="metadata7831">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
</cc:Work>
</rdf:RDF>
</metadata>
<defs
id="defs7829" />
<sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="640"
inkscape:window-height="480"
id="namedview7827"
showgrid="false"
inkscape:zoom="0.49064449"
inkscape:cx="277"
inkscape:cy="240.5"
inkscape:window-x="418"
inkscape:window-y="463"
inkscape:window-maximized="0"
inkscape:current-layer="svg7731" />
<ellipse
cx="407"
cy="57"
rx="7"
ry="7"
id="ellipse7733"
sodipodi:cx="407"
sodipodi:cy="57"
sodipodi:rx="7"
sodipodi:ry="7"
transform="translate(-330,-46)"
style="fill:#000000" />
<line
x1="77"
y1="19"
x2="77"
y2="24"
id="line7735"
style="fill:none;stroke:#000000;stroke-width:1" />
<rect
x="10"
y="46"
width="134"
height="40"
rx="5"
ry="5"
id="rect7737"
style="fill:#c1daf1" />
<rect
x="10"
y="46"
width="134"
height="40"
rx="5"
ry="5"
id="rect7739"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="19"
y="61"
style="font-size:12px;font-family:SansSerif"
id="text7741">makingMessage</text>
<line
x1="10"
y1="63"
x2="144"
y2="63"
id="line7743"
style="fill:none;stroke:#000000;stroke-width:1" />
<rect
x="6"
y="165"
width="143"
height="40"
rx="5"
ry="5"
id="rect7745"
style="fill:#c1daf1" />
<rect
x="6"
y="165"
width="143"
height="40"
rx="5"
ry="5"
id="rect7747"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="17"
y="180"
style="font-size:12px;font-family:SansSerif"
id="text7749">sendingMessage</text>
<line
x1="6"
y1="182"
x2="149"
y2="182"
id="line7751"
style="fill:none;stroke:#000000;stroke-width:1" />
<ellipse
cx="407"
cy="466"
rx="8"
ry="8"
id="ellipse7753"
sodipodi:cx="407"
sodipodi:cy="466"
sodipodi:rx="8"
sodipodi:ry="8"
transform="translate(-330,-46)"
style="fill:#000000" />
<ellipse
cx="407"
cy="466"
rx="10"
ry="10"
id="ellipse7755"
sodipodi:cx="407"
sodipodi:cy="466"
sodipodi:rx="10"
sodipodi:ry="10"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="410"
x2="77"
y2="405"
id="line7757"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="239"
x2="77"
y2="234"
id="line7759"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="259"
x2="77"
y2="264"
id="line7761"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="41"
y1="240"
x2="106"
y2="240"
id="line7763"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="41"
y1="260"
x2="106"
y2="260"
id="line7765"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="41"
y1="240"
x2="41"
y2="260"
id="line7767"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="106"
y1="240"
x2="116"
y2="250"
id="line7769"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="106"
y1="260"
x2="116"
y2="250"
id="line7771"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="40"
y1="239"
x2="105"
y2="239"
id="line7773"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="40"
y1="259"
x2="105"
y2="259"
id="line7775"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="40"
y1="239"
x2="40"
y2="259"
id="line7777"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="105"
y1="239"
x2="115"
y2="249"
id="line7779"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="105"
y1="259"
x2="115"
y2="249"
id="line7781"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="45"
y="254"
style="font-size:12px;font-family:SansSerif"
id="text7783">chout(m1)</text>
<rect
x="27"
y="310"
width="100"
height="50"
rx="5"
ry="5"
id="rect7785"
style="fill:#c1daf1" />
<rect
x="27"
y="310"
width="100"
height="50"
rx="5"
ry="5"
id="rect7787"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="32"
y="325"
style="font-size:12px;font-family:SansSerif"
id="text7789">beforeFinish</text>
<line
x1="27"
y1="327"
x2="127"
y2="327"
id="line7791"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="24"
x2="77"
y2="46"
id="line7793"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="411,83 407,92 402,83 "
id="polygon7795"
transform="translate(-330,-46)"
style="fill:#000000" />
<polygon
points="411,83 407,92 402,83 "
id="polygon7797"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="86"
x2="77"
y2="165"
id="line7799"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="411,202 407,211 402,202 "
id="polygon7801"
transform="translate(-330,-46)"
style="fill:#000000" />
<polygon
points="411,202 407,211 402,202 "
id="polygon7803"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="85"
y="116"
style="font-size:12px;font-family:SansSerif"
id="text7805">m.data = secretData</text>
<text
x="85"
y="131"
style="font-size:12px;font-family:SansSerif"
id="text7807">m1 = sencrypt(m, sk)</text>
<line
x1="77"
y1="205"
x2="77"
y2="234"
id="line7809"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="411,271 407,280 402,271 "
id="polygon7811"
transform="translate(-330,-46)"
style="fill:#000000" />
<polygon
points="411,271 407,280 402,271 "
id="polygon7813"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="360"
x2="77"
y2="405"
id="line7815"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="411,442 407,451 402,442 "
id="polygon7817"
transform="translate(-330,-46)"
style="fill:#000000" />
<polygon
points="411,442 407,451 402,442 "
id="polygon7819"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="77"
y1="264"
x2="77"
y2="310"
id="line7821"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="411,347 407,356 402,347 "
id="polygon7823"
transform="translate(-330,-46)"
style="fill:#000000" />
<polygon
points="411,347 407,356 402,347 "
id="polygon7825"
transform="translate(-330,-46)"
style="fill:none;stroke:#000000;stroke-width:1" />
</svg>
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
version="1.1"
width="265"
height="425"
viewbox="313 45 268 424"
id="svg7972"
inkscape:version="0.48.5 r10040"
sodipodi:docname="design_t2.svg">
<metadata
id="metadata8074">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
</cc:Work>
</rdf:RDF>
</metadata>
<defs
id="defs8072" />
<sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="1144"
inkscape:window-height="794"
id="namedview8070"
showgrid="false"
inkscape:zoom="1.4232597"
inkscape:cx="219.993"
inkscape:cy="243.15704"
inkscape:window-x="862"
inkscape:window-y="543"
inkscape:window-maximized="0"
inkscape:current-layer="svg7972" />
<ellipse
cx="407"
cy="57"
rx="7"
ry="7"
id="ellipse7974"
sodipodi:cx="407"
sodipodi:cy="57"
sodipodi:rx="7"
sodipodi:ry="7"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<line
x1="96.983047"
y1="19.012711"
x2="96.983047"
y2="24.012711"
id="line7976"
style="fill:none;stroke:#000000;stroke-width:1" />
<rect
x="22.983051"
y="56.012711"
width="149"
height="39"
rx="5"
ry="5"
id="rect7978"
style="fill:#c1daf1" />
<rect
x="22.983051"
y="56.012711"
width="149"
height="39"
rx="5"
ry="5"
id="rect7980"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="38.983051"
y="71.012711"
style="font-size:12px;font-family:SansSerif"
id="text7982">waitingForMessage</text>
<line
x1="22.983051"
y1="73.012711"
x2="171.98305"
y2="73.012711"
id="line7984"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="130.01271"
x2="96.983047"
y2="125.01271"
id="line7986"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="150.01271"
x2="96.983047"
y2="155.01271"
id="line7988"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="61.983051"
y1="131.01271"
x2="134.98305"
y2="131.01271"
id="line7990"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="134.98305"
y1="131.01271"
x2="134.98305"
y2="151.01271"
id="line7992"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="61.983051"
y1="151.01271"
x2="134.98305"
y2="151.01271"
id="line7994"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="61.983051"
y1="131.01271"
x2="71.983047"
y2="141.01271"
id="line7996"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="61.983051"
y1="151.01271"
x2="71.983047"
y2="141.01271"
id="line7998"
style="fill:none;stroke:#80b4cd;stroke-width:1" />
<line
x1="60.983051"
y1="130.01271"
x2="133.98305"
y2="130.01271"
id="line8000"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="133.98305"
y1="130.01271"
x2="133.98305"
y2="150.01271"
id="line8002"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="60.983051"
y1="150.01271"
x2="133.98305"
y2="150.01271"
id="line8004"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="60.983051"
y1="130.01271"
x2="70.983047"
y2="140.01271"
id="line8006"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="60.983051"
y1="150.01271"
x2="70.983047"
y2="140.01271"
id="line8008"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="72.983047"
y="145.01271"
style="font-size:12px;font-family:SansSerif"
id="text8010">chin(m2)</text>
<rect
x="25.983051"
y="187.01271"
width="142"
height="40"
rx="5"
ry="5"
id="rect8012"
style="fill:#c1daf1" />
<rect
x="25.983051"
y="187.01271"
width="142"
height="40"
rx="5"
ry="5"
id="rect8014"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="36.983051"
y="202.01271"
style="font-size:12px;font-family:SansSerif"
id="text8016">messageDecrypt</text>
<line
x1="25.983051"
y1="204.01271"
x2="167.98305"
y2="204.01271"
id="line8018"
style="fill:none;stroke:#000000;stroke-width:1" />
<rect
x="26.983051"
y="378.01273"
width="140"
height="40"
rx="5"
ry="5"
id="rect8020"
style="fill:#c1daf1" />
<rect
x="26.983051"
y="378.01273"
width="140"
height="40"
rx="5"
ry="5"
id="rect8022"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="33.983051"
y="393.01273"
style="font-size:12px;font-family:SansSerif"
id="text8024">SecretDataReceived</text>
<line
x1="26.983051"
y1="395.01273"
x2="166.98305"
y2="395.01273"
id="line8026"
style="fill:none;stroke:#000000;stroke-width:1" />
<rect
x="7.9830508"
y="293.01273"
width="178"
height="40"
rx="5"
ry="5"
id="rect8028"
style="fill:#c1daf1" />
<rect
x="7.9830508"
y="293.01273"
width="178"
height="40"
rx="5"
ry="5"
id="rect8030"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="27.983051"
y="308.01273"
style="font-size:12px;font-family:SansSerif"
id="text8032">messageDecrypted</text>
<line
x1="7.9830508"
y1="310.01273"
x2="185.98305"
y2="310.01273"
id="line8034"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="24.012711"
x2="96.983047"
y2="56.012711"
id="line8036"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="402,93 411,93 407,102 "
id="polygon8038"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<polygon
points="402,93 411,93 407,102 "
id="polygon8040"
transform="translate(-310.01695,-45.987288)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="95.012711"
x2="96.983047"
y2="125.01271"
id="line8042"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="402,162 411,162 407,171 "
id="polygon8044"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<polygon
points="402,162 411,162 407,171 "
id="polygon8046"
transform="translate(-310.01695,-45.987288)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="155.01271"
x2="96.983047"
y2="187.01271"
id="line8048"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="402,224 411,224 407,233 "
id="polygon8050"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<polygon
points="402,224 411,224 407,233 "
id="polygon8052"
transform="translate(-310.01695,-45.987288)"
style="fill:none;stroke:#000000;stroke-width:1" />
<line
x1="96.983047"
y1="227.01273"
x2="96.983047"
y2="293.01273"
id="line8054"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="402,330 411,330 407,339 "
id="polygon8056"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<polygon
points="402,330 411,330 407,339 "
id="polygon8058"
transform="translate(-310.01695,-45.987288)"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="108.98305"
y="266.01273"
style="font-size:12px;font-family:SansSerif"
id="text8060">m = sdecrypt(m2, sk)</text>
<line
x1="96.983047"
y1="333.01273"
x2="96.983047"
y2="378.01273"
id="line8062"
style="fill:none;stroke:#000000;stroke-width:1" />
<polygon
points="402,415 411,415 407,424 "
id="polygon8064"
transform="translate(-310.01695,-45.987288)"
style="fill:#000000" />
<polygon
points="402,415 411,415 407,424 "
id="polygon8066"
transform="translate(-310.01695,-45.987288)"
style="fill:none;stroke:#000000;stroke-width:1" />
<text
x="120.98305"
y="357.01273"
style="font-size:12px;font-family:SansSerif"
id="text8068">receivedData = m.data</text>
</svg>
......@@ -353,22 +353,37 @@ Without taking into account penalties of the hardware platform (e.g. cache miss,
\caption{Excerpt of the simulation of the secure application mapped on the non secure architecture} \label{fig:simu_mapping3}
\end{figure*}
\section{Designing security protocols}
\subsection{Designing security protocols}
During the HW/SW partitioning stage, security mechanisms have been modeled at a high level of abstraction, mostly for placing them correctly in the system, and evaluating their impact on the system performance. During the software design stage, security protocols can be designed in a more precise way.