write first document on both approaches

This commit is contained in:
Arthur Grisel-Davy 2024-02-27 17:38:22 -05:00
parent 17d2c0b5a6
commit 6655896f04
3 changed files with 1389 additions and 0 deletions

776
trust/images/a1.svg Normal file
View file

@ -0,0 +1,776 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
width="327.98901mm"
height="98.924034mm"
viewBox="0 0 327.98901 98.924035"
version="1.1"
id="svg5"
inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)"
sodipodi:docname="a1.svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns="http://www.w3.org/2000/svg"
xmlns:svg="http://www.w3.org/2000/svg">
<sodipodi:namedview
id="namedview7"
pagecolor="#ffffff"
bordercolor="#000000"
borderopacity="1"
inkscape:showpageshadow="0"
inkscape:pageopacity="0"
inkscape:pagecheckerboard="0"
inkscape:deskcolor="#b5b5b5"
inkscape:document-units="mm"
showgrid="false"
inkscape:zoom="1.3584252"
inkscape:cx="816.3865"
inkscape:cy="291.8821"
inkscape:window-width="967"
inkscape:window-height="1012"
inkscape:window-x="1920"
inkscape:window-y="32"
inkscape:window-maximized="0"
inkscape:current-layer="layer1">
<inkscape:page
x="0"
y="0"
width="327.98901"
height="98.924034"
id="page1"
margin="0 0 0"
bleed="0" />
</sodipodi:namedview>
<defs
id="defs2">
<inkscape:path-effect
effect="tiling"
id="path-effect20"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<inkscape:path-effect
effect="tiling"
id="path-effect18"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<marker
style="overflow:visible"
id="marker7"
refX="0"
refY="0"
orient="auto-start-reverse"
inkscape:stockid="Rounded arrow"
markerWidth="1"
markerHeight="1"
viewBox="0 0 1 1"
inkscape:isstock="true"
inkscape:collect="always"
preserveAspectRatio="xMidYMid">
<path
transform="scale(0.7)"
d="m -0.21114562,-4.1055728 6.42229122,3.21114561 a 1,1 90 0 1 0,1.78885438 L -0.21114562,4.1055728 A 1.236068,1.236068 31.717474 0 1 -2,3 v -6 a 1.236068,1.236068 148.28253 0 1 1.78885438,-1.1055728 z"
style="fill:context-stroke;fill-rule:evenodd;stroke:none"
id="path7" />
</marker>
<inkscape:path-effect
effect="tiling"
id="path-effect6"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<inkscape:path-effect
effect="tiling"
id="path-effect3"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
</defs>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(8.0515596,13.373935)">
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect1"
width="38.610668"
height="27.636251"
x="51.579086"
y="-33.065716"
ry="4.6193004"
transform="scale(1,-1)" />
<g
id="path1">
<path
style="color:#000000;fill:#0000ff;-inkscape-stroke:none"
d="M 30.172462,13.198294 H 46.9503"
id="path38" />
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 30.171875,12.898438 v 0.599609 h 16.779297 v -0.599609 z"
id="path39" />
<g
id="g37">
<path
d="m 46.861619,11.473953 2.697362,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.697362,1.348682 A 0.51914858,0.51914858 0 0 1 46.1103,14.458294 v -2.52 a 0.51914858,0.51914858 0 0 1 0.751319,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path37" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="6.2393627"
y="13.921638"
id="text1"><tspan
sodipodi:role="line"
id="tspan1"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="6.2393627"
y="13.921638">Trace</tspan></text>
<g
id="path2">
<path
style="color:#000000;fill:#0000ff;-inkscape-stroke:none"
d="M 30.172462,24.967455 H 46.9503"
id="path41" />
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 30.171875,24.667969 v 0.599609 h 16.779297 v -0.599609 z"
id="path42" />
<g
id="g40">
<path
d="m 46.861619,23.243114 2.697362,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.697362,1.348682 A 0.51914858,0.51914858 0 0 1 46.1103,26.227455 v -2.52 a 0.51914858,0.51914858 0 0 1 0.751319,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path40" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-3.4473534"
y="25.6908"
id="text2"><tspan
sodipodi:role="line"
id="tspan2"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-3.4473534"
y="25.6908">Patterns</tspan></text>
<g
id="path3">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 71.25,34.265625 v 16.777344 h 0.599609 V 34.265625 Z"
id="path44" />
<g
id="g43">
<path
d="m 73.27432,50.955048 -1.348682,2.697362 a 0.42000002,0.42000002 0 0 1 -0.751318,0 l -1.348682,-2.697362 a 0.51914858,0.51914858 0 0 1 0.464341,-0.751319 h 2.52 a 0.51914858,0.51914858 0 0 1 0.464341,0.751319 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path43" />
</g>
</g>
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="rect3"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect3"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(-71.514303,49.745241)" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.587592"
x="51.811947"
y="62.336643"
id="text3"><tspan
sodipodi:role="line"
id="tspan3"
style="letter-spacing:0px;stroke-width:0.587592"
x="51.811947"
y="62.336643">State Labels</tspan></text>
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path4"
cx="67.414131"
cy="67.419365"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle5"
cx="71.561676"
cy="67.419365"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle4"
cx="75.709221"
cy="67.419365"
r="0.67688853" />
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path5"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect6"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(-36.132881,49.745241)" />
<g
id="g13"
transform="translate(-6.9209362)">
<g
id="g12"
transform="translate(86.770798,-33.459692)">
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="49.064037"
y="46.589916"
id="text6"><tspan
sodipodi:role="line"
id="tspan6"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="49.064037"
y="46.589916">Policies</tspan></text>
<path
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker7)"
d="m 51.844835,48.791979 v 4.073276 h 3.885628"
id="path6" />
<path
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker7)"
d="m 51.844835,53.800235 v 4.073276 h 3.885628"
id="path10" />
<path
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker7)"
d="m 51.844835,58.917054 v 4.073276 h 3.885628"
id="path9" />
<text
xml:space="preserve"
style="font-size:5.70462px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="53.146454"
id="text10"><tspan
sodipodi:role="line"
id="tspan10"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="53.146454">P1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.70462px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="58.166378"
id="text11"><tspan
sodipodi:role="line"
id="tspan11"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="58.166378">P2</tspan></text>
<text
xml:space="preserve"
style="font-size:5.70462px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="63.148151"
id="text12"><tspan
sodipodi:role="line"
id="tspan12"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.38895"
x="58.267773"
y="63.148151">P3</tspan></text>
</g>
</g>
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect12"
width="38.610668"
height="27.636251"
x="123.51808"
y="-79.032982"
ry="4.6193004"
transform="scale(1,-1)" />
<g
id="path12">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 142.52344,30.998047 v 16.779297 h 0.59961 V 30.998047 Z"
id="path48" />
<g
id="g47">
<path
d="m 144.54776,47.688157 -1.34868,2.697362 a 0.42000002,0.42000002 0 0 1 -0.75132,0 l -1.34868,-2.697362 a 0.51914858,0.51914858 0 0 1 0.46434,-0.751319 h 2.52 a 0.51914858,0.51914858 0 0 1 0.46434,0.751319 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path47" />
</g>
</g>
<g
id="path13">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 102.3457,66.708984 v 0.59961 h 16.77735 v -0.59961 z"
id="path46" />
<g
id="g45">
<path
d="m 119.03534,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path45" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text13"
transform="translate(-3.3357548)"><tspan
x="146.53093"
y="63.116959"
id="tspan4">Policy<tspan
y="63.116959"
id="tspan5"> </tspan></tspan><tspan
x="146.53093"
y="73.889509"
id="tspan7">Checker</tspan></text>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text14"
transform="translate(-75.477593,-47.153813)"><tspan
x="146.53093"
y="63.116959"
id="tspan8">Activity<tspan
y="63.116959"
id="tspan9"> </tspan></tspan><tspan
x="146.53093"
y="73.889509"
id="tspan13">Detector</tspan></text>
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path14"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect18"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(74.760733,49.745241)" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;white-space:pre;inline-size:56.525;stroke-width:0.587592"
x="190.74936"
y="62.336643"
id="text15"
transform="translate(0,-11.811684)"><tspan
x="190.74936"
y="62.336643"
id="tspan14">Array of </tspan><tspan
x="190.74936"
y="73.10919"
id="tspan16">Ternary Labels</tspan></text>
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle15"
cx="213.68916"
cy="67.419365"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle16"
cx="217.8367"
cy="67.419365"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle17"
cx="221.98425"
cy="67.419365"
r="0.67688853" />
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path17"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect20"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(110.14215,49.745241)" />
<g
id="path20">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 166.11523,66.708984 v 0.59961 h 16.77735 v -0.59961 z"
id="path50" />
<g
id="g49">
<path
d="m 182.80415,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path49" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="191.34506"
y="68.917091"
id="text20"><tspan
sodipodi:role="line"
id="tspan20"
style="letter-spacing:0px;stroke-width:0.363717"
x="191.34506"
y="68.917091">1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="196.42279"
y="68.917091"
id="text22"><tspan
sodipodi:role="line"
id="tspan22"
style="letter-spacing:0px;stroke-width:0.363717"
x="196.42279"
y="68.917091">1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="231.8405"
y="68.917091"
id="text23"><tspan
sodipodi:role="line"
id="tspan23"
style="letter-spacing:0px;stroke-width:0.363717"
x="231.8405"
y="68.917091">1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="236.71071"
y="68.917091"
id="text21"><tspan
sodipodi:role="line"
id="tspan21"
style="letter-spacing:0px;stroke-width:0.363717"
x="236.71071"
y="68.917091">1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="226.83667"
y="68.917091"
id="text24"><tspan
sodipodi:role="line"
id="tspan24"
style="letter-spacing:0px;stroke-width:0.363717"
x="226.83667"
y="68.917091">0</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="201.43707"
y="68.917091"
id="text26"><tspan
sodipodi:role="line"
id="tspan26"
style="letter-spacing:0px;stroke-width:0.363717"
x="201.43707"
y="68.917091">0</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="205.76059"
y="68.900131"
id="text25"><tspan
sodipodi:role="line"
id="tspan25"
style="letter-spacing:0px;stroke-width:0.363717"
x="205.76059"
y="68.900131">-1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="241.07443"
y="68.900131"
id="text27"><tspan
sodipodi:role="line"
id="tspan27"
style="letter-spacing:0px;stroke-width:0.363717"
x="241.07443"
y="68.900131">-1</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="44.512466"
y="69.032425"
id="text28"><tspan
sodipodi:role="line"
id="tspan28"
style="letter-spacing:0px;stroke-width:0.363717"
x="44.512466"
y="69.032425">A</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="49.469215"
y="69.032425"
id="text29"><tspan
sodipodi:role="line"
id="tspan29"
style="letter-spacing:0px;stroke-width:0.363717"
x="49.469215"
y="69.032425">A</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="54.792034"
y="69.032425"
id="text30"><tspan
sodipodi:role="line"
id="tspan30"
style="letter-spacing:0px;stroke-width:0.363717"
x="54.792034"
y="69.032425">B</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="59.648148"
y="69.032425"
id="text31"><tspan
sodipodi:role="line"
id="tspan31"
style="letter-spacing:0px;stroke-width:0.363717"
x="59.648148"
y="69.032425">C</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="79.851204"
y="69.051437"
id="text32"><tspan
sodipodi:role="line"
id="tspan32"
style="letter-spacing:0px;stroke-width:0.363717"
x="79.851204"
y="69.051437">X</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="84.957733"
y="69.030617"
id="text33"><tspan
sodipodi:role="line"
id="tspan33"
style="letter-spacing:0px;stroke-width:0.363717"
x="84.957733"
y="69.030617">X</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="90.192986"
y="68.984421"
id="text34"><tspan
sodipodi:role="line"
id="tspan34"
style="letter-spacing:0px;stroke-width:0.363717"
x="90.192986"
y="68.984421">B</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="94.921379"
y="68.984421"
id="text35"><tspan
sodipodi:role="line"
id="tspan35"
style="letter-spacing:0px;stroke-width:0.363717"
x="94.921379"
y="68.984421">A</tspan></text>
<g
id="path35">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 251.60937,66.708984 v 0.59961 h 16.7793 v -0.59961 z"
id="path52" />
<g
id="g51">
<path
d="m 268.29936,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path51" />
</g>
</g>
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect35"
width="38.610668"
height="27.636251"
x="276.44943"
y="-79.032982"
ry="4.6193004"
transform="scale(1,-1)" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text36"
transform="translate(149.64589)"><tspan
x="146.53093"
y="63.116959"
id="tspan17">Trust<tspan
y="63.116959"
id="tspan18"> </tspan></tspan><tspan
x="146.53093"
y="73.889509"
id="tspan19">Model</tspan></text>
<path
style="fill:none;stroke:#0000ff;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
d="m 275.4263,8.8331454 h 13.72196"
id="path53" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="292.20731"
y="10.685472"
id="text53"><tspan
sodipodi:role="line"
id="tspan53"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="292.20731"
y="10.685472">Input</tspan></text>
<rect
style="fill:none;stroke:#666666;stroke-width:0.5;stroke-linejoin:round;stroke-dasharray:none"
id="rect53"
width="325.29071"
height="91.372437"
x="-6.6893911"
y="-7.3267751"
ry="3.599355" />
</g>
</svg>

After

Width:  |  Height:  |  Size: 32 KiB

586
trust/images/a2.svg Normal file
View file

@ -0,0 +1,586 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
width="333.80313mm"
height="103.13017mm"
viewBox="0 0 333.80313 103.13017"
version="1.1"
id="svg5"
inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)"
sodipodi:docname="a2.svg"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns="http://www.w3.org/2000/svg"
xmlns:svg="http://www.w3.org/2000/svg">
<sodipodi:namedview
id="namedview7"
pagecolor="#ffffff"
bordercolor="#000000"
borderopacity="1"
inkscape:showpageshadow="0"
inkscape:pageopacity="0"
inkscape:pagecheckerboard="0"
inkscape:deskcolor="#b5b5b5"
inkscape:document-units="mm"
showgrid="false"
inkscape:zoom="0.47562988"
inkscape:cx="924.03782"
inkscape:cy="503.54279"
inkscape:window-width="960"
inkscape:window-height="1012"
inkscape:window-x="2880"
inkscape:window-y="32"
inkscape:window-maximized="0"
inkscape:current-layer="layer1" />
<defs
id="defs2">
<inkscape:path-effect
effect="tiling"
id="path-effect3"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<inkscape:path-effect
effect="tiling"
id="path-effect6"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<inkscape:path-effect
effect="tiling"
id="path-effect18"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
<inkscape:path-effect
effect="tiling"
id="path-effect20"
is_visible="true"
lpeversion="1"
unit="px"
seed="1;1"
lpesatellites=""
num_rows="1"
num_cols="4"
gapx="0"
gapy="0"
offset="0"
offset_type="false"
scale="0"
rotate="0"
mirrorrowsx="false"
mirrorrowsy="false"
mirrorcolsx="false"
mirrorcolsy="false"
mirrortrans="false"
shrink_interp="false"
split_items="false"
link_styles="false"
interpolate_scalex="false"
interpolate_scaley="true"
interpolate_rotatex="false"
interpolate_rotatey="true"
random_scale="false"
random_rotate="false"
random_gap_y="false"
random_gap_x="false"
transformorigin="" />
</defs>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(130.5353,-14.743997)">
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect1"
width="38.610668"
height="27.636251"
x="-66.364853"
y="-63.396656"
ry="4.6193004"
transform="scale(1,-1)" />
<g
id="g3"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#0000ff;-inkscape-stroke:none"
d="M 30.172462,13.198294 H 46.9503"
id="path38" />
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 30.171875,12.898438 v 0.599609 h 16.779297 v -0.599609 z"
id="path39" />
<g
id="g37">
<path
d="m 46.861619,11.473953 2.697362,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.697362,1.348682 A 0.51914858,0.51914858 0 0 1 46.1103,14.458294 v -2.52 a 0.51914858,0.51914858 0 0 1 0.751319,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path37" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-111.70457"
y="44.252579"
id="text1"><tspan
sodipodi:role="line"
id="tspan1"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-111.70457"
y="44.252579">Trace</tspan></text>
<g
id="g4"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#0000ff;-inkscape-stroke:none"
d="M 30.172462,24.967455 H 46.9503"
id="path41" />
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 30.171875,24.667969 v 0.599609 h 16.779297 v -0.599609 z"
id="path42" />
<g
id="g40">
<path
d="m 46.861619,23.243114 2.697362,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.697362,1.348682 A 0.51914858,0.51914858 0 0 1 46.1103,26.227455 v -2.52 a 0.51914858,0.51914858 0 0 1 0.751319,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path40" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-121.3913"
y="56.02174"
id="text2"><tspan
id="tspan2"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="-121.3913"
y="56.02174"
sodipodi:role="line">Patterns</tspan></text>
<g
id="path3"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 71.25,34.265625 v 16.777344 h 0.599609 V 34.265625 Z"
id="path44" />
<g
id="g43">
<path
d="m 73.27432,50.955048 -1.348682,2.697362 a 0.42000002,0.42000002 0 0 1 -0.751318,0 l -1.348682,-2.697362 a 0.51914858,0.51914858 0 0 1 0.464341,-0.751319 h 2.52 a 0.51914858,0.51914858 0 0 1 0.464341,0.751319 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path43" />
</g>
</g>
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="rect3"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect3"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(-189.45824,80.076183)" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.587592"
x="-66.131996"
y="92.667587"
id="text3"><tspan
sodipodi:role="line"
id="tspan3"
style="letter-spacing:0px;stroke-width:0.587592"
x="-66.131996"
y="92.667587">State Labels</tspan></text>
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path4"
cx="-50.529808"
cy="97.750305"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle5"
cx="-46.382263"
cy="97.750305"
r="0.67688853" />
<circle
style="fill:#4d4d4d;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="circle4"
cx="-42.234718"
cy="97.750305"
r="0.67688853" />
<path
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.600001;stroke-linejoin:round;stroke-dasharray:none"
id="path5"
width="5.0362506"
height="5.0362482"
x="115.31276"
y="15.048297"
ry="0.72764897"
inkscape:path-effect="#path-effect6"
sodipodi:type="rect"
d="m 116.04041,15.048297 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z m 5.03625,0 h 3.58095 c 0.40312,0 0.72765,0.324531 0.72765,0.727649 v 3.58095 c 0,0.403118 -0.32453,0.727649 -0.72765,0.727649 h -3.58095 c -0.40312,0 -0.72765,-0.324531 -0.72765,-0.727649 v -3.58095 c 0,-0.403118 0.32453,-0.727649 0.72765,-0.727649 z"
transform="translate(-154.07682,80.076183)" />
<g
id="g13"
transform="translate(-124.86488,30.330942)">
<g
id="g12"
transform="translate(86.770798,-33.459692)">
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="34.338459"
y="59.491535"
id="text6"><tspan
sodipodi:role="line"
id="tspan6"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="34.338459"
y="59.491535">Specific Pattern</tspan></text>
</g>
</g>
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect12"
width="38.610668"
height="27.636251"
x="5.5741415"
y="-109.36392"
ry="4.6193004"
transform="scale(1,-1)" />
<g
id="path12"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 142.52344,30.998047 v 16.779297 h 0.59961 V 30.998047 Z"
id="path48" />
<g
id="g47">
<path
d="m 144.54776,47.688157 -1.34868,2.697362 a 0.42000002,0.42000002 0 0 1 -0.75132,0 l -1.34868,-2.697362 a 0.51914858,0.51914858 0 0 1 0.46434,-0.751319 h 2.52 a 0.51914858,0.51914858 0 0 1 0.46434,0.751319 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path47" />
</g>
</g>
<g
id="path13"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 102.3457,66.708984 v 0.59961 h 16.77735 v -0.59961 z"
id="path46" />
<g
id="g45">
<path
d="m 119.03534,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path45" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text13"
transform="translate(-121.27969,35.52044)"><tspan
x="146.53093"
y="63.116959"
id="tspan5">Decision</tspan></text>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text14"
transform="translate(-193.42153,-16.822871)"><tspan
x="146.53093"
y="63.116959"
id="tspan7">Activity<tspan
y="63.116959"
id="tspan10"> </tspan></tspan><tspan
x="146.53093"
y="73.889509"
id="tspan11">Detector</tspan></text>
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;white-space:pre;inline-size:52.3964;display:inline;stroke-width:0.587592"
x="75.848206"
y="91.527519"
id="text15"
transform="translate(0,-12.247014)"><tspan
x="75.848206"
y="91.527519"
id="tspan12">Single </tspan><tspan
x="75.848206"
y="102.30007"
id="tspan13">Ternary Label</tspan></text>
<g
id="path20"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 166.11523,66.708984 v 0.59961 h 16.77735 v -0.59961 z"
id="path50" />
<g
id="g49">
<path
d="m 182.80415,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path49" />
</g>
</g>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-73.431473"
y="99.363365"
id="text28"><tspan
sodipodi:role="line"
id="tspan28"
style="letter-spacing:0px;stroke-width:0.363717"
x="-73.431473"
y="99.363365">A</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-68.474724"
y="99.363365"
id="text29"><tspan
sodipodi:role="line"
id="tspan29"
style="letter-spacing:0px;stroke-width:0.363717"
x="-68.474724"
y="99.363365">A</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-63.151905"
y="99.363365"
id="text30"><tspan
sodipodi:role="line"
id="tspan30"
style="letter-spacing:0px;stroke-width:0.363717"
x="-63.151905"
y="99.363365">B</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-58.295792"
y="99.363365"
id="text31"><tspan
sodipodi:role="line"
id="tspan31"
style="letter-spacing:0px;stroke-width:0.363717"
x="-58.295792"
y="99.363365">C</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-38.092735"
y="99.382378"
id="text32"><tspan
sodipodi:role="line"
id="tspan32"
style="letter-spacing:0px;stroke-width:0.363717"
x="-38.092735"
y="99.382378">X</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-32.986206"
y="99.361557"
id="text33"><tspan
sodipodi:role="line"
id="tspan33"
style="letter-spacing:0px;stroke-width:0.363717"
x="-32.986206"
y="99.361557">X</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-27.750954"
y="99.315361"
id="text34"><tspan
sodipodi:role="line"
id="tspan34"
style="letter-spacing:0px;stroke-width:0.363717"
x="-27.750954"
y="99.315361">B</tspan></text>
<text
xml:space="preserve"
style="font-size:5.33454px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;stroke-width:0.363717"
x="-23.02256"
y="99.315361"
id="text35"><tspan
sodipodi:role="line"
id="tspan35"
style="letter-spacing:0px;stroke-width:0.363717"
x="-23.02256"
y="99.315361">A</tspan></text>
<g
id="path35"
transform="translate(-117.94394,30.330942)">
<path
style="color:#000000;fill:#000000;-inkscape-stroke:none"
d="m 251.60937,66.708984 v 0.59961 h 16.7793 v -0.59961 z"
id="path52" />
<g
id="g51">
<path
d="m 268.29936,65.284234 2.69736,1.348682 a 0.42000002,0.42000002 0 0 1 0,0.751318 l -2.69736,1.348682 a 0.51914858,0.51914858 0 0 1 -0.75132,-0.464341 v -2.52 a 0.51914858,0.51914858 0 0 1 0.75132,-0.464341 z"
style="color:#000000;fill:#000000;fill-rule:evenodd;-inkscape-stroke:none"
id="path51" />
</g>
</g>
<rect
style="fill:#ffffff;stroke:#4d4d4d;stroke-width:0.665001;stroke-linejoin:round"
id="rect35"
width="38.610668"
height="27.636251"
x="158.50549"
y="-109.36392"
ry="4.6193004"
transform="scale(1,-1)" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;white-space:pre;inline-size:32.7838;display:inline;stroke-width:0.587592"
x="146.53093"
y="63.116959"
id="text36"
transform="translate(31.70195,30.330942)"><tspan
x="146.53093"
y="63.116959"
id="tspan15">Trust<tspan
y="63.116959"
id="tspan18"> </tspan></tspan><tspan
x="146.53093"
y="73.889509"
id="tspan19">Model</tspan></text>
<path
style="fill:none;stroke:#0000ff;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
d="m 157.48236,39.164087 h 13.72196"
id="path53" />
<text
xml:space="preserve"
style="font-size:8.61804px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:0px;word-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="174.26337"
y="41.016415"
id="text53"><tspan
sodipodi:role="line"
id="tspan53"
style="letter-spacing:0px;fill:#0000ff;stroke-width:0.587592"
x="174.26337"
y="41.016415">Input</tspan></text>
<rect
style="fill:none;stroke:#666666;stroke-width:0.5;stroke-linejoin:round;stroke-dasharray:none"
id="rect53"
width="325.29071"
height="91.372437"
x="-124.63333"
y="23.004168"
ry="3.599355" />
<text
xml:space="preserve"
style="font-size:7.95925px;line-height:1.25;font-family:'STIX Two Text';-inkscape-font-specification:'STIX Two Text';letter-spacing:-0.596944px;word-spacing:0px;stroke-width:0.542675"
x="90.182365"
y="100.01746"
id="text4"><tspan
sodipodi:role="line"
id="tspan4"
style="stroke-width:0.542675"
x="90.182365"
y="100.01746">1 | 0 | -1</tspan></text>
</g>
</svg>

After

Width:  |  Height:  |  Size: 23 KiB

27
trust/overview.ty Normal file
View file

@ -0,0 +1,27 @@
= Approaches for System Condition Evaluation
The physics-based activity detection system select a label for each measurement in the time series.
From this array of labels, there are multiple approaches to evaluate if the system is performing as expected or not.
Each approach result in a different intermediate data format (from the detection system to the trust model) and represent a different interpretation of the detection.
Selecting one approache is a core design choice for the complete system.
Both approaches are simmilar and each could be expressed with the other.
However they differ in the format of the output.
This outputformat may influence how the trust model ingest the new results and how the time series are submitted for state detection.
== Approach 1. Compliance to Security Policies
#figure(image("images/a1.svg", width:100%),caption: "Data pipeline of the first approache.")
With the security policy approach, each power measurement receives a label corresponding to the compliance of the system to pre-defined security policies.
The label is ternary with
- 1 = Policies Respected
- 0 = Not all Policies Respected
- -1 = Unsure
== Approach 2. Presence of Specific Patterns
#figure(image("images/a2.svg", width:100%),caption: "Data pipeline of the second approache.")
The second approach generates a single label for a complete time series based on the presence of a specific pattern.
The selected pattern could be representative of a known anomalous state.
This approache is similar to the first one as it also look for a state in the time serie (the presence of the pattern could be described as a security policy) but differs by the decision algorithm that could take into account large portions of unknown to decide on an unknown output (-1).