From c184dce57cafee1cf1bf2af016a9b2625c1d52f9 Mon Sep 17 00:00:00 2001
From: Enrico Bravi <enrico.bravi@polito.it>
Date: Fri, 12 Apr 2024 12:50:32 +0200
Subject: [PATCH] docs: modifed ra procedure diagram

---
 docs/protocols/remote_attestation.puml | 2 +-
 docs/protocols/remote_attestation.svg  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/protocols/remote_attestation.puml b/docs/protocols/remote_attestation.puml
index 1398474..ec2cedf 100644
--- a/docs/protocols/remote_attestation.puml
+++ b/docs/protocols/remote_attestation.puml
@@ -21,7 +21,7 @@ TPM->attester_agent: (AK_handle, AK_pub)
 attester_agent->TPM: tpm2_quote (PCRs, nonce)
 TPM->attester_agent: Quote
 attester_agent->TPM: tpm2_pcrread
-TPM->attester_agent: Values of PCRs quoted
+TPM->attester_agent: Values of quoted PCRs
 attester_agent<-attester_agent: Collect IMA log
 attester_agent->verifier: Quote, PCRs, IMA log
 verifier->verifier: Verfiy quote
diff --git a/docs/protocols/remote_attestation.svg b/docs/protocols/remote_attestation.svg
index 8aad0e5..ab312e7 100644
--- a/docs/protocols/remote_attestation.svg
+++ b/docs/protocols/remote_attestation.svg
@@ -1 +1 @@
-<?xml version="1.0" encoding="us-ascii" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" height="828px" preserveAspectRatio="none" style="width:903px;height:828px;background:#FFFFFF;" version="1.1" viewBox="0 0 903 828" width="903px" zoomAndPan="magnify"><defs/><g><rect fill="#DDDDDD" height="816.9766" style="stroke:#181818;stroke-width:0.5;" width="272.5" x="16" y="6"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="64" x="120.25" y="18.0669">Platform</text><rect fill="none" height="581.3906" style="stroke:#000000;stroke-width:1.5;" width="780" x="10" y="89.7266"/><rect fill="none" height="132.5313" style="stroke:#000000;stroke-width:1.5;" width="353.5" x="426.5" y="531.5859"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="42" x2="42" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="249.5" x2="249.5" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="466.5" x2="466.5" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="724" x2="724" y1="72.7266" y2="772.3828"/><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="44" x="20" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="30" x="27" y="61.4248">TPM</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="44" x="20" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="30" x="27" y="791.3779">TPM</text><rect fill="#E2E2F0" height="46.5938" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="69" x="215.5" y="25.1328"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="55" x="222.5" y="45.1279">Attester</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41" x="229.5" y="61.4248">Agent</text><rect fill="#E2E2F0" height="46.5938" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="69" x="215.5" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="55" x="222.5" y="791.3779">Attester</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41" x="229.5" y="807.6748">Agent</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="61" x="436.5" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="47" x="443.5" y="61.4248">Verifier</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="61" x="436.5" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="47" x="443.5" y="791.3779">Verifier</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="92" x="678" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="78" x="685" y="61.4248">Join Service</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="92" x="678" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="78" x="685" y="791.3779">Join Service</text><path d="M10,89.7266 L87,89.7266 L87,96.8594 L77,106.8594 L10,106.8594 L10,89.7266 " fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="581.3906" style="stroke:#000000;stroke-width:1.5;" width="780" x="10" y="89.7266"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="32" x="25" y="102.7935">loop</text><polygon fill="#181818" points="261,123.9922,251,127.9922,261,131.9922,257,127.9922" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="255" x2="466" y1="127.9922" y2="127.9922"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="267" y="122.9263">1</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="180" x="280" y="122.9263">GET /api/quote: PCRs, nonce</text><polygon fill="#181818" points="53,153.125,43,157.125,53,161.125,49,157.125" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="157.125" y2="157.125"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="152.0591">2</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="51" x="72" y="152.0591">Load EK</text><polygon fill="#181818" points="238,182.2578,248,186.2578,238,190.2578,242,186.2578" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="186.2578" y2="186.2578"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="181.1919">3</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="131" x="62" y="181.1919">(EK_handle, EK_pub)</text><polygon fill="#181818" points="53,211.3906,43,215.3906,53,219.3906,49,215.3906" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="215.3906" y2="215.3906"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="210.3247">4</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="52" x="72" y="210.3247">Load AK</text><polygon fill="#181818" points="238,240.5234,248,244.5234,238,248.5234,242,244.5234" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="244.5234" y2="244.5234"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="239.4575">5</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133" x="62" y="239.4575">(AK_handle, AK_pub)</text><polygon fill="#181818" points="53,269.6563,43,273.6563,53,277.6563,49,273.6563" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="273.6563" y2="273.6563"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="268.5903">6</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="171" x="72" y="268.5903">tpm2_quote (PCRs, nonce)</text><polygon fill="#181818" points="238,298.7891,248,302.7891,238,306.7891,242,302.7891" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="302.7891" y2="302.7891"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="297.7231">7</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="39" x="62" y="297.7231">Quote</text><polygon fill="#181818" points="53,327.9219,43,331.9219,53,335.9219,49,331.9219" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="331.9219" y2="331.9219"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="326.856">8</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="90" x="72" y="326.856">tpm2_pcrread</text><polygon fill="#181818" points="238,357.0547,248,361.0547,238,365.0547,242,361.0547" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="361.0547" y2="361.0547"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="355.9888">9</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="144" x="62" y="355.9888">Values of PCRs quoted</text><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="250" y1="390.1875" y2="390.1875"/><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="208" y1="390.1875" y2="403.1875"/><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="249" y1="403.1875" y2="403.1875"/><polygon fill="#181818" points="241,399.1875,251,403.1875,241,407.1875,245,403.1875" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="135" y="385.1216">10</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93" x="157" y="385.1216">Collect IMA log</text><polygon fill="#181818" points="455,428.3203,465,432.3203,455,436.3203,459,432.3203" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="250" x2="461" y1="432.3203" y2="432.3203"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="257" y="427.2544">11</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133" x="279" y="427.2544">Quote, PCRs, IMA log</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="461.4531" y2="461.4531"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="461.4531" y2="474.4531"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="474.4531" y2="474.4531"/><polygon fill="#181818" points="478,470.4531,468,474.4531,478,478.4531,474,474.4531" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="456.3872">12</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="77" x="496" y="456.3872">Verfiy quote</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="503.5859" y2="503.5859"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="503.5859" y2="516.5859"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="516.5859" y2="516.5859"/><polygon fill="#181818" points="478,512.5859,468,516.5859,478,520.5859,474,516.5859" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="498.52">13</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="221" x="496" y="498.52">Veryfy IMA log against the whitelist</text><path d="M426.5,531.5859 L606.5,531.5859 L606.5,538.7188 L596.5,548.7188 L426.5,548.7188 L426.5,531.5859 " fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="132.5313" style="stroke:#000000;stroke-width:1.5;" width="353.5" x="426.5" y="531.5859"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="135" x="441.5" y="544.6528">if Verification fails</text><polygon fill="#181818" points="712,565.8516,722,569.8516,712,573.8516,716,569.8516" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="718" y1="569.8516" y2="569.8516"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="564.7856">14</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="105" x="496" y="564.7856">Notify the failure</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="598.9844" y2="598.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="598.9844" y2="611.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="611.9844" y2="611.9844"/><polygon fill="#181818" points="478,607.9844,468,611.9844,478,615.9844,474,611.9844" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="593.9185">15</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="49" x="496" y="593.9185">stop RA</text><line style="stroke:#000000;stroke-width:1.0;stroke-dasharray:2.0,2.0;" x1="426.5" x2="780" y1="620.9844" y2="620.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="643.1172" y2="643.1172"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="643.1172" y2="656.1172"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="656.1172" y2="656.1172"/><polygon fill="#181818" points="478,652.1172,468,656.1172,478,660.1172,474,656.1172" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="638.0513">16</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="76" x="496" y="638.0513">continue RA</text><line style="stroke:#181818;stroke-width:1.0;" x1="724" x2="766" y1="699.25" y2="699.25"/><line style="stroke:#181818;stroke-width:1.0;" x1="766" x2="766" y1="699.25" y2="712.25"/><line style="stroke:#181818;stroke-width:1.0;" x1="725" x2="766" y1="712.25" y2="712.25"/><polygon fill="#181818" points="735,708.25,725,712.25,735,716.25,731,712.25" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="731" y="694.1841">17</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="143" x="753" y="694.1841">Store the failure event</text><line style="stroke:#181818;stroke-width:1.0;" x1="724" x2="766" y1="741.3828" y2="741.3828"/><line style="stroke:#181818;stroke-width:1.0;" x1="766" x2="766" y1="741.3828" y2="754.3828"/><line style="stroke:#181818;stroke-width:1.0;" x1="725" x2="766" y1="754.3828" y2="754.3828"/><polygon fill="#181818" points="735,750.3828,725,754.3828,735,758.3828,731,754.3828" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="731" y="736.3169">18</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="102" x="753" y="736.3169">Notify the event</text><!--SRC=[VPDDQyCm38Rl_XMYbsxGCjYnZ48OPUoJhXix3OARAAs6Qtcsqgt_VaxIhas_3Zb8FE-hrxRI5HA3gZl11Gj28e91j11RS9w5CpQgYpQ7XbEw5BRbOefUgId_GcTij1Ji5ntbj1VAo6ahy3v-RjMTnXZzfqrcQAK3Ee1Uzr9TjLIS4XtRiW_qL13wcb-kYpRom6JX3VsICgonhzX8GzDGoZ0xjL7sX-sP0xWRlSELTdJrNSRp3s1yEmazi6oZjitsX_5G0tXYdSFeKSNYqErYz9ZEjSqDzYAJkd9wUSObEUMIR5sISoxY5jTf7HmkTe9V7hTzhS0pHYxp7dL-NFoXJOa1kAXl2EgX-PxPJNzVTSl6O2Pm_vo0uTd1yCsxhCFrrjU_mRVFjWNZHXIqQWAS0bR5QkC1UgR91W6P8_pCIT1G43NpN3gW0fe5ovgDBpIPeE1_qQ0_R6tJ05vOA9fNPXLSUjp3jpc2i8D9ej24qr36LiYMM8Cshx_TYOS9teGzxWO0N5P_ptdLRl2Q_mC0]--></g></svg>
\ No newline at end of file
+<?xml version="1.0" encoding="us-ascii" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentStyleType="text/css" height="828px" preserveAspectRatio="none" style="width:903px;height:828px;background:#FFFFFF;" version="1.1" viewBox="0 0 903 828" width="903px" zoomAndPan="magnify"><defs/><g><rect fill="#DDDDDD" height="816.9766" style="stroke:#181818;stroke-width:0.5;" width="272.5" x="16" y="6"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="64" x="120.25" y="18.0669">Platform</text><rect fill="none" height="581.3906" style="stroke:#000000;stroke-width:1.5;" width="780" x="10" y="89.7266"/><rect fill="none" height="132.5313" style="stroke:#000000;stroke-width:1.5;" width="353.5" x="426.5" y="531.5859"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="42" x2="42" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="249.5" x2="249.5" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="466.5" x2="466.5" y1="72.7266" y2="772.3828"/><line style="stroke:#181818;stroke-width:0.5;stroke-dasharray:5.0,5.0;" x1="724" x2="724" y1="72.7266" y2="772.3828"/><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="44" x="20" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="30" x="27" y="61.4248">TPM</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="44" x="20" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="30" x="27" y="791.3779">TPM</text><rect fill="#E2E2F0" height="46.5938" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="69" x="215.5" y="25.1328"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="55" x="222.5" y="45.1279">Attester</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41" x="229.5" y="61.4248">Agent</text><rect fill="#E2E2F0" height="46.5938" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="69" x="215.5" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="55" x="222.5" y="791.3779">Attester</text><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="41" x="229.5" y="807.6748">Agent</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="61" x="436.5" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="47" x="443.5" y="61.4248">Verifier</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="61" x="436.5" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="47" x="443.5" y="791.3779">Verifier</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="92" x="678" y="41.4297"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="78" x="685" y="61.4248">Join Service</text><rect fill="#E2E2F0" height="30.2969" rx="2.5" ry="2.5" style="stroke:#181818;stroke-width:0.5;" width="92" x="678" y="771.3828"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacing" textLength="78" x="685" y="791.3779">Join Service</text><path d="M10,89.7266 L87,89.7266 L87,96.8594 L77,106.8594 L10,106.8594 L10,89.7266 " fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="581.3906" style="stroke:#000000;stroke-width:1.5;" width="780" x="10" y="89.7266"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="32" x="25" y="102.7935">loop</text><polygon fill="#181818" points="261,123.9922,251,127.9922,261,131.9922,257,127.9922" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="255" x2="466" y1="127.9922" y2="127.9922"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="267" y="122.9263">1</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="180" x="280" y="122.9263">GET /api/quote: PCRs, nonce</text><polygon fill="#181818" points="53,153.125,43,157.125,53,161.125,49,157.125" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="157.125" y2="157.125"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="152.0591">2</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="51" x="72" y="152.0591">Load EK</text><polygon fill="#181818" points="238,182.2578,248,186.2578,238,190.2578,242,186.2578" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="186.2578" y2="186.2578"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="181.1919">3</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="131" x="62" y="181.1919">(EK_handle, EK_pub)</text><polygon fill="#181818" points="53,211.3906,43,215.3906,53,219.3906,49,215.3906" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="215.3906" y2="215.3906"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="210.3247">4</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="52" x="72" y="210.3247">Load AK</text><polygon fill="#181818" points="238,240.5234,248,244.5234,238,248.5234,242,244.5234" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="244.5234" y2="244.5234"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="239.4575">5</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133" x="62" y="239.4575">(AK_handle, AK_pub)</text><polygon fill="#181818" points="53,269.6563,43,273.6563,53,277.6563,49,273.6563" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="273.6563" y2="273.6563"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="268.5903">6</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="171" x="72" y="268.5903">tpm2_quote (PCRs, nonce)</text><polygon fill="#181818" points="238,298.7891,248,302.7891,238,306.7891,242,302.7891" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="302.7891" y2="302.7891"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="297.7231">7</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="39" x="62" y="297.7231">Quote</text><polygon fill="#181818" points="53,327.9219,43,331.9219,53,335.9219,49,331.9219" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="47" x2="249" y1="331.9219" y2="331.9219"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="59" y="326.856">8</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="90" x="72" y="326.856">tpm2_pcrread</text><polygon fill="#181818" points="238,357.0547,248,361.0547,238,365.0547,242,361.0547" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="42" x2="244" y1="361.0547" y2="361.0547"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="9" x="49" y="355.9888">9</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="144" x="62" y="355.9888">Values of quoted PCRs</text><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="250" y1="390.1875" y2="390.1875"/><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="208" y1="390.1875" y2="403.1875"/><line style="stroke:#181818;stroke-width:1.0;" x1="208" x2="249" y1="403.1875" y2="403.1875"/><polygon fill="#181818" points="241,399.1875,251,403.1875,241,407.1875,245,403.1875" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="135" y="385.1216">10</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="93" x="157" y="385.1216">Collect IMA log</text><polygon fill="#181818" points="455,428.3203,465,432.3203,455,436.3203,459,432.3203" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="250" x2="461" y1="432.3203" y2="432.3203"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="257" y="427.2544">11</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="133" x="279" y="427.2544">Quote, PCRs, IMA log</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="461.4531" y2="461.4531"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="461.4531" y2="474.4531"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="474.4531" y2="474.4531"/><polygon fill="#181818" points="478,470.4531,468,474.4531,478,478.4531,474,474.4531" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="456.3872">12</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="77" x="496" y="456.3872">Verfiy quote</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="503.5859" y2="503.5859"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="503.5859" y2="516.5859"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="516.5859" y2="516.5859"/><polygon fill="#181818" points="478,512.5859,468,516.5859,478,520.5859,474,516.5859" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="498.52">13</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="221" x="496" y="498.52">Veryfy IMA log against the whitelist</text><path d="M426.5,531.5859 L606.5,531.5859 L606.5,538.7188 L596.5,548.7188 L426.5,548.7188 L426.5,531.5859 " fill="#EEEEEE" style="stroke:#000000;stroke-width:1.5;"/><rect fill="none" height="132.5313" style="stroke:#000000;stroke-width:1.5;" width="353.5" x="426.5" y="531.5859"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="135" x="441.5" y="544.6528">if Verification fails</text><polygon fill="#181818" points="712,565.8516,722,569.8516,712,573.8516,716,569.8516" style="stroke:#181818;stroke-width:1.0;"/><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="718" y1="569.8516" y2="569.8516"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="564.7856">14</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="105" x="496" y="564.7856">Notify the failure</text><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="598.9844" y2="598.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="598.9844" y2="611.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="611.9844" y2="611.9844"/><polygon fill="#181818" points="478,607.9844,468,611.9844,478,615.9844,474,611.9844" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="593.9185">15</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="49" x="496" y="593.9185">stop RA</text><line style="stroke:#000000;stroke-width:1.0;stroke-dasharray:2.0,2.0;" x1="426.5" x2="780" y1="620.9844" y2="620.9844"/><line style="stroke:#181818;stroke-width:1.0;" x1="467" x2="509" y1="643.1172" y2="643.1172"/><line style="stroke:#181818;stroke-width:1.0;" x1="509" x2="509" y1="643.1172" y2="656.1172"/><line style="stroke:#181818;stroke-width:1.0;" x1="468" x2="509" y1="656.1172" y2="656.1172"/><polygon fill="#181818" points="478,652.1172,468,656.1172,478,660.1172,474,656.1172" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="474" y="638.0513">16</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="76" x="496" y="638.0513">continue RA</text><line style="stroke:#181818;stroke-width:1.0;" x1="724" x2="766" y1="699.25" y2="699.25"/><line style="stroke:#181818;stroke-width:1.0;" x1="766" x2="766" y1="699.25" y2="712.25"/><line style="stroke:#181818;stroke-width:1.0;" x1="725" x2="766" y1="712.25" y2="712.25"/><polygon fill="#181818" points="735,708.25,725,712.25,735,716.25,731,712.25" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="731" y="694.1841">17</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="143" x="753" y="694.1841">Store the failure event</text><line style="stroke:#181818;stroke-width:1.0;" x1="724" x2="766" y1="741.3828" y2="741.3828"/><line style="stroke:#181818;stroke-width:1.0;" x1="766" x2="766" y1="741.3828" y2="754.3828"/><line style="stroke:#181818;stroke-width:1.0;" x1="725" x2="766" y1="754.3828" y2="754.3828"/><polygon fill="#181818" points="735,750.3828,725,754.3828,735,758.3828,731,754.3828" style="stroke:#181818;stroke-width:1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacing" textLength="18" x="731" y="736.3169">18</text><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacing" textLength="102" x="753" y="736.3169">Notify the event</text><!--SRC=[VPDDQyCm38Rl_XMYbsxGCjYnZ48OPUoJhXix3OARAAs6Qtcsqgt_VaxIhas_3Zb8FE-hrxRI5HA3gZl11Gj28e91j11RS9w5CpQgYpQ7XbEw5BRbOefUgId_GcTij1Ji5ntbj1VAo6ahy3v-RjMTnXZzfqrcQAK3Ee1Uzr9TjLIS4XtRiW_qL13wcb-kYpRom6JX3VsICgonhzX8GzDGoZ0xjL7sX-sP0xWRlSELTdJrNSRp3s1yEmazi6oZjitsX_5G0tXYdSFeKSNYqErYz9ZEjSqDzYAJkd9wUSObEUMIR5sISoxY5jTf7HmkTe9V7hTzhS0pHYxp7dL-NFoXJOa1k81wNbvVr9xPJNzVTSl6O2Pm_vo0uTd1yCsxhCFrrjU_mRVFjWNZHXIqQbAS0bR5QkC1UgR91W6P8_pCIT1G43NpN3gW0fe5ovgDBpIPeE1_qQ0_R6tJ05vOA9fNPXLSUjp3jpc2i8D9ej24qr36LiYMM8Cshx_TYOS9teGzxWO0N5P_ptdLRl2Q_mC0]--></g></svg>
\ No newline at end of file