github.com/google/trillian-examples@v0.0.0-20240520080811-0d40d35cef0e/binary_transparency/firmware/docs/design/diagrams/fw_monitor.svg (about)

     1  <?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="698px" preserveAspectRatio="none" style="width:1048px;height:698px;" version="1.1" viewBox="0 0 1048 698" width="1048px" zoomAndPan="magnify"><defs><filter height="300%" id="f6wyqzax2panb" width="300%" x="-1" y="-1"><feGaussianBlur result="blurOut" stdDeviation="2.0"/><feColorMatrix in="blurOut" result="blurOut2" type="matrix" values="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .4 0"/><feOffset dx="4.0" dy="4.0" in="blurOut2" result="blurOut3"/><feBlend in="SourceGraphic" in2="blurOut3" mode="normal"/></filter></defs><g><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="503.8281" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="440.5" y="96.2969"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="27.9688" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="140.3984"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="27.9688" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="196.3359"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="33.5508" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="356.3438"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="489.8281" style="stroke: #000000; stroke-width: 2.0;" width="1024" x="13" y="103.2969"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="266.8828" style="stroke: #000000; stroke-width: 2.0;" width="1004" x="23" y="319.2422"/><rect fill="#FFDDDD" filter="url(#f6wyqzax2panb)" height="102.6797" style="stroke: #000000; stroke-width: 2.0;" width="953" x="33" y="476.4453"/><rect fill="#FFDD80" height="42.7734" style="stroke: none; stroke-width: 1.0;" width="953" x="33" y="521.5469"/><rect fill="#DDFFDD" height="14.8047" style="stroke: none; stroke-width: 1.0;" width="953" x="33" y="564.3203"/><line style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="170" x2="170" y1="86.2969" y2="610.125"/><line style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="445" x2="445" y1="86.2969" y2="610.125"/><line style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="687" x2="687" y1="86.2969" y2="610.125"/><line style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 5.0,5.0;" x1="883" x2="883" y1="86.2969" y2="610.125"/><rect fill="#E9C9DF" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="130" x="103" y="3"/><image height="48" width="48" x="144" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAAChUlEQVR4XtWYMUsEMRCF78/Y29tb2Al2ETvRyuIqCy1sRLARtLK4ShAbQbAQG0FsBG211Hb/hY8LhLl5k+xkdw/v4Kv2sjMvkzfJ5kbN+89CMeJH/0svQW+Tp6u905PN8eH6PjjfPro9vv5+/OCRfjoKeji72V3dCisbJpD4effKb3moFvT78oVisAgG1eLXW6kTBDWFwjCT8QUHKVMnyFkbCRaX4xSoEIQl4HweUFeOlsMrCEE5kxN0IgfM4RWEynMmPxwwh1cQOpnT+MGOxTFNvIKqmovxbwFeQZyjCn//L62gg7UdTuPHvxt5BeHg5DR+hjd1n7ZHQ3DAHF5BTY9G8xuoqRK0WEdHpMP2+Hx5z3EK1AnCXKvazb8fJuoERZx1qq1NpIsggGSFUmGPqPKNpKOgCD6csShIj5oBfGZgd+gsJdJL0DxYWkG4bcE3yqfY8Rg5BsuHRfSfG41HEFwi/St/Mg84eSOTBw4Gey5rJUGYGbeSDIqyqV+RVUaAzXlA2fVZQbnTVO11WCP5q7pHm8cfJlm4btuC4AMOFEF7q8EpqzpECxcVvJKrkyEIi8IhJGp8cpKySK7GEZ5YxBDUejKoxMlnajXZQArzbNGCWssTZhPLdVGT5oZQYIDK3rCg1mmF2cTSbfLLsGAgCbtbC2qdViSNVxNICcoGSvDHvxbE75gkG6n/Q1ICT6UDNaYW5KxzEDZSz9P/Cs5Kq420u6BoI2zl6nn0aW2cAQSFqY3UNh2JByo/NxlSEGxk/qGGvnMaKAwrKHcrghqngUKrh5rMcWiSG5l7bsLXEi3Iv/z9MY9YLajJWHVwsKzm95ohqJmaCS0dv1nngSmlJOgfWThBf1ju0owZLn8KAAAAAElFTkSuQmCC" y="10"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="116" x="110" y="70.9951">Firmware Vendor</text><rect fill="#E9C9DF" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="130" x="103" y="609.125"/><image height="48" width="48" x="144" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAAChUlEQVR4XtWYMUsEMRCF78/Y29tb2Al2ETvRyuIqCy1sRLARtLK4ShAbQbAQG0FsBG211Hb/hY8LhLl5k+xkdw/v4Kv2sjMvkzfJ5kbN+89CMeJH/0svQW+Tp6u905PN8eH6PjjfPro9vv5+/OCRfjoKeji72V3dCisbJpD4effKb3moFvT78oVisAgG1eLXW6kTBDWFwjCT8QUHKVMnyFkbCRaX4xSoEIQl4HweUFeOlsMrCEE5kxN0IgfM4RWEynMmPxwwh1cQOpnT+MGOxTFNvIKqmovxbwFeQZyjCn//L62gg7UdTuPHvxt5BeHg5DR+hjd1n7ZHQ3DAHF5BTY9G8xuoqRK0WEdHpMP2+Hx5z3EK1AnCXKvazb8fJuoERZx1qq1NpIsggGSFUmGPqPKNpKOgCD6csShIj5oBfGZgd+gsJdJL0DxYWkG4bcE3yqfY8Rg5BsuHRfSfG41HEFwi/St/Mg84eSOTBw4Gey5rJUGYGbeSDIqyqV+RVUaAzXlA2fVZQbnTVO11WCP5q7pHm8cfJlm4btuC4AMOFEF7q8EpqzpECxcVvJKrkyEIi8IhJGp8cpKySK7GEZ5YxBDUejKoxMlnajXZQArzbNGCWssTZhPLdVGT5oZQYIDK3rCg1mmF2cTSbfLLsGAgCbtbC2qdViSNVxNICcoGSvDHvxbE75gkG6n/Q1ICT6UDNaYW5KxzEDZSz9P/Cs5Kq420u6BoI2zl6nn0aW2cAQSFqY3UNh2JByo/NxlSEGxk/qGGvnMaKAwrKHcrghqngUKrh5rMcWiSG5l7bsLXEi3Iv/z9MY9YLajJWHVwsKzm95ohqJmaCS0dv1nngSmlJOgfWThBf1ju0owZLn8KAAAAAElFTkSuQmCC" y="616.125"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="116" x="110" y="677.1201">Firmware Vendor</text><rect fill="#F3D8E4" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="153" x="367" y="3"/><image height="48" width="48" x="419.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAACh0lEQVR4Xu2XvYpUQRCF93V8AB/A3MzEZDPBUGNNBdnAQBONFBODBbM1EhY0kQ0EjRQEI83M7gv4MTWc6e3qe+rOgLjBhcOyM13V/dVP/8zR9P3XldJR/ur/agWqtAJVWoEqrUCVDgH6+e7TxbPTs3tPXt28/+LG3afXj0+u3UL8w8c3tx+8f/j82+n5n88/sm+pPYDgYCUtv0TAgZ6nMloEBApT5/WWi0gWJqwA+v3hq0eJGlG+t3ceUcFs0Orj49d5iU4OCP88qUTQ4GavLy/PDBlDQy9pFsgkhknL/NM62VGi5bNLaADEYiZESiNLeouPVC2G8CKpYmXU7IC5Zu+BmE4LZLFkZ0+seVWqptE8iTRk6oFMbtCwUmQiW6p/abU8KgldugRE/rOPxNSdszRMKqDTJuV5KJtJOyBgs3Wr2B2df2iYV9XXx0kwAyDiyK0wdGP2bo+YHEQMZaht7rdAnGzZrhWnQFjGhaWzxG/JaFuM81AndecWyEwagjgs9Q0upVeEblIoqbu3QOYYDOn4yUNGsdeWAKkNtkBlmVWy4YaaU8Q9PBda0QYx+Q5oSZLCzJ8rnaIz/J14cvkm2QGViQ230kxS2/lWk1kPNFWF07niL84QlY30+Nsj30X91eEX017whWvPBZMeQTugcjGtROjDBqcEWsYcbzTy8GE0AJpsnpiovT34n54lBkT+2ogNjXlRjYGmmXeFZC7aaUNpKtW+qLJmgabNhjL3IrjkAO7IPMaRLYOCS35vdHJAoble2VdtbxnVQCH/dDciK8t/A03LgULM64vScuSHyhLtB9SK1iFt7EcSQDn4CysfD/4RHToc6B9pBaq0AlVagSqtQJWuHNBfi5uTJwSWuUUAAAAASUVORK5CYII=" y="10"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="139" x="374" y="70.9951">Obs/Vendor Monitor</text><rect fill="#F3D8E4" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="153" x="367" y="609.125"/><image height="48" width="48" x="419.5" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAACh0lEQVR4Xu2XvYpUQRCF93V8AB/A3MzEZDPBUGNNBdnAQBONFBODBbM1EhY0kQ0EjRQEI83M7gv4MTWc6e3qe+rOgLjBhcOyM13V/dVP/8zR9P3XldJR/ur/agWqtAJVWoEqrUCVDgH6+e7TxbPTs3tPXt28/+LG3afXj0+u3UL8w8c3tx+8f/j82+n5n88/sm+pPYDgYCUtv0TAgZ6nMloEBApT5/WWi0gWJqwA+v3hq0eJGlG+t3ceUcFs0Orj49d5iU4OCP88qUTQ4GavLy/PDBlDQy9pFsgkhknL/NM62VGi5bNLaADEYiZESiNLeouPVC2G8CKpYmXU7IC5Zu+BmE4LZLFkZ0+seVWqptE8iTRk6oFMbtCwUmQiW6p/abU8KgldugRE/rOPxNSdszRMKqDTJuV5KJtJOyBgs3Wr2B2df2iYV9XXx0kwAyDiyK0wdGP2bo+YHEQMZaht7rdAnGzZrhWnQFjGhaWzxG/JaFuM81AndecWyEwagjgs9Q0upVeEblIoqbu3QOYYDOn4yUNGsdeWAKkNtkBlmVWy4YaaU8Q9PBda0QYx+Q5oSZLCzJ8rnaIz/J14cvkm2QGViQ230kxS2/lWk1kPNFWF07niL84QlY30+Nsj30X91eEX017whWvPBZMeQTugcjGtROjDBqcEWsYcbzTy8GE0AJpsnpiovT34n54lBkT+2ogNjXlRjYGmmXeFZC7aaUNpKtW+qLJmgabNhjL3IrjkAO7IPMaRLYOCS35vdHJAoble2VdtbxnVQCH/dDciK8t/A03LgULM64vScuSHyhLtB9SK1iFt7EcSQDn4CysfD/4RHToc6B9pBaq0AlVagSqtQJWuHNBfi5uTJwSWuUUAAAAASUVORK5CYII=" y="616.125"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="139" x="374" y="677.1201">Obs/Vendor Monitor</text><rect fill="#899BDC" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="62" x="654" y="3"/><image height="48" width="48" x="661" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAABpUlEQVR4Xu2XPUsDQRCG8/dtrKy0MIUIIghikUYLESQgaJNGkXAQRJAgiAgigr6wxzruO7tz2Sg5dOApwmbm9tmPm90brG3d9ooBN60WF7JwIYtKoc292eHxPMf+6IFTOlIjNDy4a2YfZS4nr5zYhRqhs4tnNmAwi5xrUiM0vnrh7hkXsnAhi38s1PG139hpONekRghD5+4TMIuc2IUaIbC+Pd09ug/cTN+DxMn5U2ipW6xApZBkcv0WhJY5wiIuZKELyS1iwnvIBPcF7jQrhAR+a36c3P1EEYoj/m3UJVaEYgLMsD9MquOxxNx7SahjqY19qCNmYqF3oQwLC8EjwH+poEbUxeMH/6sIrZYvodHpI45oBu3qULBAHAywEOpsoRhisTgejfIwboXwlLh1GOQkTy8XT+yqJB6KHCaJY26FZHlQSTooD6ChFwLTyTESjHApIfPSmAjh+5pjJC7kQil/Tmhc/PbjuoJqyWGSJL5ctxrxVdkKYUC5ScIth2+cqGO48nFwQD1lC5MqT9lWKHbD8KPLKRyzUPw3oT7gQhYuZNE7oU/XLtzLXsMq9gAAAABJRU5ErkJggg==" y="10"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="46" x="662" y="70.9951">FT Log</text><rect fill="#899BDC" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="62" x="654" y="609.125"/><image height="48" width="48" x="661" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAABpUlEQVR4Xu2XPUsDQRCG8/dtrKy0MIUIIghikUYLESQgaJNGkXAQRJAgiAgigr6wxzruO7tz2Sg5dOApwmbm9tmPm90brG3d9ooBN60WF7JwIYtKoc292eHxPMf+6IFTOlIjNDy4a2YfZS4nr5zYhRqhs4tnNmAwi5xrUiM0vnrh7hkXsnAhi38s1PG139hpONekRghD5+4TMIuc2IUaIbC+Pd09ug/cTN+DxMn5U2ipW6xApZBkcv0WhJY5wiIuZKELyS1iwnvIBPcF7jQrhAR+a36c3P1EEYoj/m3UJVaEYgLMsD9MquOxxNx7SahjqY19qCNmYqF3oQwLC8EjwH+poEbUxeMH/6sIrZYvodHpI45oBu3qULBAHAywEOpsoRhisTgejfIwboXwlLh1GOQkTy8XT+yqJB6KHCaJY26FZHlQSTooD6ChFwLTyTESjHApIfPSmAjh+5pjJC7kQil/Tmhc/PbjuoJqyWGSJL5ctxrxVdkKYUC5ScIth2+cqGO48nFwQD1lC5MqT9lWKHbD8KPLKRyzUPw3oT7gQhYuZNE7oU/XLtzLXsMq9gAAAABJRU5ErkJggg==" y="616.125"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="46" x="662" y="677.1201">FT Log</text><rect fill="#F1A7A7" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="62" x="850" y="3"/><image height="48" width="48" x="857" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAACAElEQVR4Xs3YoXPCMBTHcf4FNBqNx6LRaDR3OG6S2codbneoCczk7Ozs5Ozs5PsP9rvlLgt5afLeS1q4+woGbfOhbdqyCV0ud9WEv3XbWoK+T6en5bJbLD6PR/6psGYgaB5ms/106vo4HPgyktqAIo3Ltp8agJIahDf5wsVqQX0aF1++WBUor3nf7fgqxeygvAa9bbd8rWJGUFFjNllAQo3NpAapNAaTDmTQuOQmBejnfLZpXEKTAoS7AR9GlcSkAH11HR9DW9GkACFsjo+hzZnw9fACJ2U0hA5E1yY8afDxJOEpxb+O7sFqEMImXtZrtyG84ONpC00WUFQTE6aw21oDEHperfgYqvxOagMyn0wuXN5a7qF6DWac31otqF4TzfwqUKTBn9jz8nM82jcuOyipcR9JTEkNyUGYBa+bjZ8LGY0rb+JHyicChVvHDC9qEB6ouaOoIQko/12TGsSXdOU1VATZNNQDKmooD8pr9sH1nscPmURDGVBRg3Ca8xV94XOBUEN9IInGxdcNw356nM9xZIUaSoLkmiLIUAxSafKHzNYVSKXBBYlvrr5/0D1oyIP4LM00nIY8SP4UMaiGPCj8GZBpaA15kORH4AgaCk9qPFpwxMgaiqZ9n2k0DfELIzeNqSEOomsTLk58gUFLgOjvX0Fgye+IDUuDbtjdgX4BfHDUdJhKfKQAAAAASUVORK5CYII=" y="10"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="45" x="858.5" y="70.9951">Arbiter</text><rect fill="#F1A7A7" filter="url(#f6wyqzax2panb)" height="78.2969" style="stroke: #A80036; stroke-width: 1.5;" width="62" x="850" y="609.125"/><image height="48" width="48" x="857" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAIAAADYYG7QAAACAElEQVR4Xs3YoXPCMBTHcf4FNBqNx6LRaDR3OG6S2codbneoCczk7Ozs5Ozs5PsP9rvlLgt5afLeS1q4+woGbfOhbdqyCV0ud9WEv3XbWoK+T6en5bJbLD6PR/6psGYgaB5ms/106vo4HPgyktqAIo3Ltp8agJIahDf5wsVqQX0aF1++WBUor3nf7fgqxeygvAa9bbd8rWJGUFFjNllAQo3NpAapNAaTDmTQuOQmBejnfLZpXEKTAoS7AR9GlcSkAH11HR9DW9GkACFsjo+hzZnw9fACJ2U0hA5E1yY8afDxJOEpxb+O7sFqEMImXtZrtyG84ONpC00WUFQTE6aw21oDEHperfgYqvxOagMyn0wuXN5a7qF6DWac31otqF4TzfwqUKTBn9jz8nM82jcuOyipcR9JTEkNyUGYBa+bjZ8LGY0rb+JHyicChVvHDC9qEB6ouaOoIQko/12TGsSXdOU1VATZNNQDKmooD8pr9sH1nscPmURDGVBRg3Ca8xV94XOBUEN9IInGxdcNw356nM9xZIUaSoLkmiLIUAxSafKHzNYVSKXBBYlvrr5/0D1oyIP4LM00nIY8SP4UMaiGPCj8GZBpaA15kORH4AgaCk9qPFpwxMgaiqZ9n2k0DfELIzeNqSEOomsTLk58gUFLgOjvX0Fgye+IDUuDbtjdgX4BfHDUdJhKfKQAAAAASUVORK5CYII=" y="616.125"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="45" x="858.5" y="677.1201">Arbiter</text><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="503.8281" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="440.5" y="96.2969"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="27.9688" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="140.3984"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="27.9688" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="196.3359"/><rect fill="#FFFFFF" filter="url(#f6wyqzax2panb)" height="33.5508" style="stroke: #A80036; stroke-width: 1.0;" width="10" x="682" y="356.3438"/><path d="M13,103.2969 L90,103.2969 L90,110.2969 L80,120.2969 L13,120.2969 L13,103.2969 " fill="#EEEEEE" style="stroke: #000000; stroke-width: 1.0;"/><rect fill="none" height="489.8281" style="stroke: #000000; stroke-width: 2.0;" width="1024" x="13" y="103.2969"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="32" x="28" y="116.3638">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="59" x="105" y="115.5073">[Forever]</text><polygon fill="#000000" points="670,136.3984,680,140.3984,670,144.3984,674,140.3984" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5;" x1="450.5" x2="676" y1="140.3984" y2="140.3984"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="92" x="457.5" y="135.5684">GetCheckpoint</text><polygon fill="#000000" points="461.5,164.3672,451.5,168.3672,461.5,172.3672,457.5,168.3672" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5; stroke-dasharray: 2.0,2.0;" x1="455.5" x2="686" y1="168.3672" y2="168.3672"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="69" x="467.5" y="163.5371">checkpoint</text><polygon fill="#000000" points="670,192.3359,680,196.3359,670,200.3359,674,196.3359" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5;" x1="450.5" x2="676" y1="196.3359" y2="196.3359"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="130" x="457.5" y="191.5059">GetConsistencyProof</text><polygon fill="#000000" points="461.5,220.3047,451.5,224.3047,461.5,228.3047,457.5,224.3047" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5; stroke-dasharray: 2.0,2.0;" x1="455.5" x2="686" y1="224.3047" y2="224.3047"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="111" x="467.5" y="219.4746">consistency proof</text><line style="stroke: #000000; stroke-width: 2.5;" x1="450.5" x2="492.5" y1="266.2422" y2="266.2422"/><line style="stroke: #000000; stroke-width: 2.5;" x1="492.5" x2="492.5" y1="266.2422" y2="279.2422"/><line style="stroke: #000000; stroke-width: 2.5;" x1="451.5" x2="492.5" y1="279.2422" y2="279.2422"/><polygon fill="#000000" points="461.5,275.2422,451.5,279.2422,461.5,283.2422,457.5,279.2422" style="stroke: #000000; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="51" x="457.5" y="247.4434">Validate</text><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="108" x="457.5" y="261.4121">ConsistencyProof</text><path d="M23,319.2422 L100,319.2422 L100,326.2422 L90,336.2422 L23,336.2422 L23,319.2422 " fill="#EEEEEE" style="stroke: #000000; stroke-width: 1.0;"/><rect fill="none" height="266.8828" style="stroke: #000000; stroke-width: 2.0;" width="1004" x="23" y="319.2422"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="32" x="38" y="332.3091">loop</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="169" x="115" y="331.4526">[For each new LogEntry e]</text><polygon fill="#000000" points="670,352.3438,680,356.3438,670,360.3438,674,356.3438" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5;" x1="450.5" x2="676" y1="356.3438" y2="356.3438"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="66" x="457.5" y="351.5137">GetEntry e</text><polygon fill="#000000" points="461.5,385.8945,451.5,389.8945,461.5,393.8945,457.5,389.8945" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5; stroke-dasharray: 2.0,2.0;" x1="455.5" x2="686" y1="389.8945" y2="389.8945"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="32" x="467.5" y="385.0645">entry</text><path d="M697,369.3438 L697,394.3438 L1008,394.3438 L1008,379.3438 L998,369.3438 L697,369.3438 " fill="#FBFB77" filter="url(#f6wyqzax2panb)" style="stroke: #A80036; stroke-width: 1.0;"/><path d="M998,369.3438 L998,379.3438 L1008,379.3438 L998,369.3438 " fill="#FBFB77" style="stroke: #A80036; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="281" x="712" y="386.4106">Monitor verifies inclusion of all entries locally</text><line style="stroke: #000000; stroke-width: 2.5;" x1="450.5" x2="492.5" y1="423.4453" y2="423.4453"/><line style="stroke: #000000; stroke-width: 2.5;" x1="492.5" x2="492.5" y1="423.4453" y2="436.4453"/><line style="stroke: #000000; stroke-width: 2.5;" x1="451.5" x2="492.5" y1="436.4453" y2="436.4453"/><polygon fill="#000000" points="461.5,432.4453,451.5,436.4453,461.5,440.4453,457.5,436.4453" style="stroke: #000000; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="82" x="457.5" y="418.6152">Inspect entry</text><path d="M33,476.4453 L97,476.4453 L97,483.4453 L87,493.4453 L33,493.4453 L33,476.4453 " fill="#EEEEEE" style="stroke: #000000; stroke-width: 1.0;"/><rect fill="none" height="102.6797" style="stroke: #000000; stroke-width: 2.0;" width="953" x="33" y="476.4453"/><text fill="#000000" font-family="sans-serif" font-size="13" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="19" x="48" y="489.5122">alt</text><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="126" x="112" y="488.6558">[Badness detected]</text><ellipse cx="882.5" cy="512.7969" fill="none" rx="4" ry="4" style="stroke: #000000; stroke-width: 1.5;"/><polygon fill="#000000" points="865.5,509.5469,875.5,513.5469,865.5,517.5469,869.5,513.5469" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5; stroke-dasharray: 2.0,2.0;" x1="450.5" x2="871.5" y1="513.5469" y2="513.5469"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="29" x="457.5" y="508.7168">Alert</text><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="33" x2="986" y1="522.5469" y2="522.5469"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="213" x="38" y="532.7573">[Firmware from Vendor detected]</text><ellipse cx="169.5" cy="555.5703" fill="none" rx="4" ry="4" style="stroke: #000000; stroke-width: 1.5;"/><polygon fill="#000000" points="186.5,552.3203,176.5,556.3203,186.5,560.3203,182.5,556.3203" style="stroke: #000000; stroke-width: 1.0;"/><line style="stroke: #000000; stroke-width: 2.5; stroke-dasharray: 2.0,2.0;" x1="184.5" x2="439.5" y1="556.3203" y2="556.3203"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="39" x="187" y="551.4902">Inform</text><line style="stroke: #000000; stroke-width: 1.0; stroke-dasharray: 2.0,2.0;" x1="33" x2="986" y1="565.3203" y2="565.3203"/><text fill="#000000" font-family="sans-serif" font-size="11" font-weight="bold" lengthAdjust="spacingAndGlyphs" textLength="27" x="38" y="575.5308">[Ok]</text><!--MD5=[691b81c0462bcdc116e35c3b1a601913]
     2  @startuml fw_monitor
     3  
     4  
     5  
     6  hide stereotype
     7  sprite $cogs [48x48/16] {
     8  000000000000000000000000000000000000000000000000
     9  000000000000000000000000000000000000000000000000
    10  000000000000000000000000000000000000000000000000
    11  000000000000000000000000000000000000000000000000
    12  000000000000000000000000000000000000000000000000
    13  000000000000000000000000000000000000000000000000
    14  000000000000000000000000000000000015000250000000
    15  0000000000000000000000000000000008FF822DFD300000
    16  000000000000003565410000000000003FFFFFFFFFD00000
    17  0000000000000DFFFFFF4000000000000DFFFFFFFF700000
    18  0000000000002FFFFFFF9000000000002FFFFFFFFFA00000
    19  0000000000002FFFFFFFA00000000004AFFFA46DFFF63000
    20  0000000000004FFFFFFFB0000000009FFFFB0001FFFFF300
    21  00000482003BFFFFFFFFFE70006700BFFFF60000DFFFF500
    22  00004FFF87FFFFFFFFFFFFFC6DFFB0BFFFF80000EFFFF400
    23  0001EFFFFFFFFFFFFFFFFFFFFFFFF739DFFF401AFFFB8000
    24  000BFFFFFFFFFFFFFFFFFFFFFFFFFF304FFFFFFFFFD00000
    25  004FFFFFFFFFFFFFFFFFFFFFFFFFFFB00CFFFFFFFF600000
    26  00BFFFFFFFFFFFFFDEFFFFFFFFFFFFF22FFFFFFFFFC00000
    27  00BFFFFFFFFFFD50002BFFFFFFFFFFF21DFFC77FFF800000
    28  001BFFFFFFFFE00000009FFFFFFFFE60007B1006A3000000
    29  00003EFFFFFF500000000EFFFFFF80000000000000000000
    30  00000DFFFFFF0000000009FFFFFF50000000000000000000
    31  00000FFFFFFE0000000006FFFFFF60000000000000000000
    32  00000EFFFFFE0000000007FFFFFF50000000000000000000
    33  00000DFFFFFF300000000CFFFFFF40000000000000000000
    34  0004CFFFFFFFC00000003FFFFFFFF8100003000120000000
    35  008FFFFFFFFFFA100003DFFFFFFFFFE105EF600CFB100000
    36  00CFFFFFFFFFFFE978CFFFFFFFFFFFF43FFFFFFFFFC00000
    37  007FFFFFFFFFFFFFFFFFFFFFFFFFFFE00EFFFFFFFF800000
    38  000EFFFFFFFFFFFFFFFFFFFFFFFFFF701EFFFFFFFF900000
    39  0005FFFFFFFFFFFFFFFFFFFFFFFFFC019FFFC78FFFF31000
    40  00008FFFEDFFFFFFFFFFFFFFCFFFE18FFFFC0003FFFFF200
    41  00000AE8009FFFFFFFFFFFD304CD30BFFFF60000DFFFF500
    42  000000000002AFFFFFFFE500000000BFFFF80000EFFFF400
    43  0000000000002FFFFFFFA0000000005CEFFE2008FFFDB100
    44  0000000000002FFFFFFFA000000000006FFFFCEFFFE00000
    45  0000000000001FFFFFFF8000000000000DFFFFFFFF600000
    46  00000000000004ABCCA80000000000002FFFFFFFFFB00000
    47  000000000000000000000000000000002EFFDAAFFFA00000
    48  00000000000000000000000000000000019E3008D6000000
    49  000000000000000000000000000000000000000000000000
    50  000000000000000000000000000000000000000000000000
    51  000000000000000000000000000000000000000000000000
    52  000000000000000000000000000000000000000000000000
    53  000000000000000000000000000000000000000000000000
    54  000000000000000000000000000000000000000000000000
    55  000000000000000000000000000000000000000000000000
    56  }
    57  
    58  
    59  skinparam folderBackgroundColor<<FA5 COGS>> White
    60  sprite $eye [48x48/16] {
    61  000000000000000000000000000000000000000000000000
    62  000000000000000000000000000000000000000000000000
    63  000000000000000000000000000000000000000000000000
    64  000000000000000000000000000000000000000000000000
    65  000000000000000000000000000000000000000000000000
    66  000000000000000000000000000000000000000000000000
    67  000000000000000000000000000000000000000000000000
    68  000000000000000000000000000000000000000000000000
    69  000000000000000000000000000000000000000000000000
    70  000000000000000000000000000000000000000000000000
    71  00000000000000000369CDEFFEDB84100000000000000000
    72  0000000000000038EFFFFFFFFFFFFFFB6000000000000000
    73  0000000000003BFFFFFFFFFFFFFFFFFFFF81000000000000
    74  00000000002BFFFFFFFFFDB9ACFFFFFFFFFF700000000000
    75  0000000007FFFFFFFFF820000005CFFFFFFFFC2000000000
    76  00000000BFFFFFFFFC100000000006FFFFFFFFF400000000
    77  0000001CFFFFFFFFA0003ADFFC71003EFFFFFFFF60000000
    78  000001DFFFFFFFFC000004EFFFFF5004FFFFFFFFF6000000
    79  00000CFFFFFFFFF10000003FFFFFF7008FFFFFFFFF500000
    80  0000AFFFFFFFFF800000000DFFFFFF301FFFFFFFFFF30000
    81  0005FFFFFFFFFF203000000CFFFFFFC00AFFFFFFFFFD0000
    82  001EFFFFFFFFFD00A400001FFFFFFFF205FFFFFFFFFF8000
    83  009FFFFFFFFFFB00ED2001CFFFFFFFF602FFFFFFFFFFF100
    84  00CFFFFFFFFFF900FFFCCFFFFFFFFFF801FFFFFFFFFFF500
    85  00BFFFFFFFFFFA00FFFFFFFFFFFFFFF701FFFFFFFFFFF400
    86  005FFFFFFFFFFB00DFFFFFFFFFFFFFF503FFFFFFFFFFE000
    87  000BFFFFFFFFFF008FFFFFFFFFFFFFF107FFFFFFFFFF4000
    88  0001FFFFFFFFFF401FFFFFFFFFFFFF900CFFFFFFFFF90000
    89  00005FFFFFFFFFC006FFFFFFFFFFFD104FFFFFFFFFC00000
    90  000006FFFFFFFFF5008FFFFFFFFFD200CFFFFFFFFD100000
    91  0000008FFFFFFFFF2004DFFFFFF91009FFFFFFFFE2000000
    92  00000006FFFFFFFFE30003788510009FFFFFFFFC10000000
    93  000000004EFFFFFFFF80000000003CFFFFFFFFA000000000
    94  0000000001AFFFFFFFFE9420137CFFFFFFFFE50000000000
    95  000000000004DFFFFFFFFFFFFFFFFFFFFFF9100000000000
    96  00000000000005CFFFFFFFFFFFFFFFFFE810000000000000
    97  00000000000000017CFFFFFFFFFFFEA40000000000000000
    98  000000000000000000025689876410000000000000000000
    99  000000000000000000000000000000000000000000000000
   100  000000000000000000000000000000000000000000000000
   101  000000000000000000000000000000000000000000000000
   102  000000000000000000000000000000000000000000000000
   103  000000000000000000000000000000000000000000000000
   104  000000000000000000000000000000000000000000000000
   105  000000000000000000000000000000000000000000000000
   106  000000000000000000000000000000000000000000000000
   107  000000000000000000000000000000000000000000000000
   108  000000000000000000000000000000000000000000000000
   109  }
   110  
   111  
   112  skinparam folderBackgroundColor<<FA5 EYE>> White
   113  sprite $file [48x48/16] {
   114  000000000000000000000000000000000000000000000000
   115  000000000000000000000000000000000000000000000000
   116  000000006CDDDDDDDDDDDDDDDD700AA10000000000000000
   117  00000003FFFFFFFFFFFFFFFFFF800CFD1000000000000000
   118  00000006FFFFFFFFFFFFFFFFFF800CFFD100000000000000
   119  00000006FFFFFFFFFFFFFFFFFF800CFFFD10000000000000
   120  00000006FFFFFFFFFFFFFFFFFF800CFFFFD1000000000000
   121  00000006FFFFFFFFFFFFFFFFFF800CFFFFFD100000000000
   122  00000006FFFFFFFFFFFFFFFFFF800CFFFFFFD10000000000
   123  00000006FFFFFFFFFFFFFFFFFF800CFFFFFFFD1000000000
   124  00000006FFFFFFFFFFFFFFFFFF800CFFFFFFFFD100000000
   125  00000006FFFFFFFFFFFFFFFFFF800CFFFFFFFFFB00000000
   126  00000006FFFFFFFFFFFFFFFFFF800BEEEEEEEEEE00000000
   127  00000006FFFFFFFFFFFFFFFFFF8000000000000000000000
   128  00000006FFFFFFFFFFFFFFFFFFC000000000000000000000
   129  00000006FFFFFFFFFFFFFFFFFFFB55555555555500000000
   130  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   131  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   132  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   133  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   134  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   135  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   136  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   137  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   138  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   139  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   140  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   141  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   142  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   143  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   144  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   145  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   146  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   147  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   148  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   149  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   150  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   151  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   152  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   153  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   154  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   155  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   156  00000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   157  00000005FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000
   158  00000001EFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF900000000
   159  000000000455555555555555555555555555553000000000
   160  000000000000000000000000000000000000000000000000
   161  000000000000000000000000000000000000000000000000
   162  }
   163  
   164  
   165  skinparam folderBackgroundColor<<FA5 FILE>> White
   166  sprite $gavel [48x48/16] {
   167  000000000000000000000000000000000000000000000000
   168  000000000000000000000000000000000000000000000000
   169  00000000000000000000000002BC40000000000000000000
   170  0000000000000000000000002EFFF5000000000000000000
   171  000000000000000000000002EFFFFF400000000000000000
   172  00000000000000000000002EFFFFFFE00000000000000000
   173  0000000000000000000002EFFFFFFFF00000000000000000
   174  000000000000000000002EFFFFFFFF600000000000000000
   175  00000000000000000002EFFFFFFFFF700000000000000000
   176  0000000000000000002EFFFFFFFFFFF70000000000000000
   177  000000000000000002EFFFFFFFFFFFFF7000000000000000
   178  00000000000000002EFFFFFFFFFFFFFFF700000000000000
   179  0000000000000002EFFFFFFFFFFFFFFFFF70000000000000
   180  000000000000001EFFFFFFFFFFFFFFFFFFF7000000000000
   181  000000000000005FFFFFFFFFFFFFFFFFFFFF700000000000
   182  000000000000003FFFFFFFFFFFFFFFFFFFFFF70000000000
   183  0000000000000007FFFFFFFFFFFFFFFFFFFFFF7037200000
   184  00000000000000007FFFCFFFFFFFFFFFFFFFFFFBFFF40000
   185  0000000000000000049409FFFFFFFFFFFFFFFFFFFFFF4000
   186  00000000000000000000009FFFFFFFFFFFFFFFFFFFFFF100
   187  00000000000000000000000AFFFFFFFFFFFFFFFFFFFFF400
   188  00000000000000000000000CFFFFFFFFFFFFFFFFFFFFE100
   189  0000000000000000000000CFFFFFFFFFFFFFFFFFFFFE3000
   190  000000000000000000000CFFFFFFFFFFFFFFFFFFFFE20000
   191  00000000000000000000CFFFFC19FFFFFFFFFFFFFE300000
   192  0000000000000000000CFFFFC1009FFFFFFFFFFFE3000000
   193  000000000000048400CFFFFC100009FFFFFFFFFE20000000
   194  0000000000009FFFACFFFFC1000006FFFFFFFFE200000000
   195  000000000009FFFFFFFFFC1000000FFFFFFFFE2000000000
   196  00000000009FFFFFFFFFC10000000FFFFFFFE20000000000
   197  0000000009FFFFFFFFFF1000000006FFFFFE200000000000
   198  000000009FFFFFFFFFFF80000000007FFFE2000000000000
   199  00000009FFFFFFFFFFFFF00000000006DC20000000000000
   200  0000009FFFFFFFFFFFFFF000000000000000000000000000
   201  000009FFFFFFFFFFFFFF8000000000000000000000000000
   202  00009FFFFFFFFFFFFFFA0000000000000000000000000000
   203  0009FFFFFFFFFFFFFFA00000000000000000000000000000
   204  006FFFFFFFFFFFFFFA000000000000000000000000000000
   205  00CFFFFFFFFFFFFFA0000000000000000000000000000000
   206  00BFFFFFFFFFFFFA00000000000000000000000000000000
   207  003FFFFFFFFFFFA000000000000000000000000000000000
   208  0004FFFFFFFFFA0000000000000000000000000000000000
   209  00004FFFFFFFA00000000000000000000000000000000000
   210  000004FFFFFA000000000000000000000000000000000000
   211  0000004FFF90000000000000000000000000000000000000
   212  000000014200000000000000000000000000000000000000
   213  000000000000000000000000000000000000000000000000
   214  000000000000000000000000000000000000000000000000
   215  }
   216  
   217  
   218  skinparam folderBackgroundColor<<FA5 GAVEL>> White
   219  sprite $mobile_alt [48x48/16] {
   220  000000000000000000000000000000000000000000000000
   221  000000000000000000000000000000000000000000000000
   222  0000000000005BDDDDDDDDDDDDDDDDDDDDA2000000000000
   223  000000000009FFFFFFFFFFFFFFFFFFFFFFFF400000000000
   224  00000000003FFFFFFFFFFFFFFFFFFFFFFFFFE00000000000
   225  00000000009FFFFFFFFFFFFFFFFFFFFFFFFFF40000000000
   226  0000000000AFFFB333333333333333334EFFF50000000000
   227  0000000000AFFF6000000000000000000BFFF50000000000
   228  0000000000AFFF6000000000000000000BFFF50000000000
   229  0000000000AFFF6000000000000000000BFFF50000000000
   230  0000000000AFFF6000000000000000000BFFF50000000000
   231  0000000000AFFF6000000000000000000BFFF50000000000
   232  0000000000AFFF6000000000000000000BFFF50000000000
   233  0000000000AFFF6000000000000000000BFFF50000000000
   234  0000000000AFFF6000000000000000000BFFF50000000000
   235  0000000000AFFF6000000000000000000BFFF50000000000
   236  0000000000AFFF6000000000000000000BFFF50000000000
   237  0000000000AFFF6000000000000000000BFFF50000000000
   238  0000000000AFFF6000000000000000000BFFF50000000000
   239  0000000000AFFF6000000000000000000BFFF50000000000
   240  0000000000AFFF6000000000000000000BFFF50000000000
   241  0000000000AFFF6000000000000000000BFFF50000000000
   242  0000000000AFFF6000000000000000000BFFF50000000000
   243  0000000000AFFF6000000000000000000BFFF50000000000
   244  0000000000AFFF6000000000000000000BFFF50000000000
   245  0000000000AFFF6000000000000000000BFFF50000000000
   246  0000000000AFFF6000000000000000000BFFF50000000000
   247  0000000000AFFF6000000000000000000BFFF50000000000
   248  0000000000AFFF6000000000000000000BFFF50000000000
   249  0000000000AFFF6000000000000000000BFFF50000000000
   250  0000000000AFFF6000000000000000000BFFF50000000000
   251  0000000000AFFF6000000000000000000BFFF50000000000
   252  0000000000AFFF6000000000000000000BFFF50000000000
   253  0000000000AFFF6000000000000000000BFFF50000000000
   254  0000000000AFFFD777777777777777778FFFF50000000000
   255  0000000000AFFFFFFFFFFFFFFFFFFFFFFFFFF50000000000
   256  0000000000AFFFFFFFFFFFFFFFFFFFFFFFFFF50000000000
   257  0000000000AFFFFFFFFFFFA56DFFFFFFFFFFF50000000000
   258  0000000000AFFFFFFFFFFA0000EFFFFFFFFFF50000000000
   259  0000000000AFFFFFFFFFF300008FFFFFFFFFF50000000000
   260  0000000000AFFFFFFFFFF400009FFFFFFFFFF50000000000
   261  0000000000AFFFFFFFFFFB0001EFFFFFFFFFF50000000000
   262  00000000007FFFFFFFFFFFC67EFFFFFFFFFFF20000000000
   263  00000000001EFFFFFFFFFFFFFFFFFFFFFFFFA00000000000
   264  000000000002DFFFFFFFFFFFFFFFFFFFFFFA000000000000
   265  000000000000035555555555555555555520000000000000
   266  000000000000000000000000000000000000000000000000
   267  000000000000000000000000000000000000000000000000
   268  }
   269  
   270  
   271  skinparam folderBackgroundColor<<FA5 MOBILE_ALT>> White
   272  sprite $server [48x48/16] {
   273  000000000000000000000000000000000000000000000000
   274  000000000000000000000000000000000000000000000000
   275  000000000000000000000000000000000000000000000000
   276  000000000000000000000000000000000000000000000000
   277  000012222222222222222222222222222222222222200000
   278  000BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5000
   279  009FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF100
   280  00CFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF500
   281  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFE64BFF948FFFFF500
   282  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF6000EC0009FFFF500
   283  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF3000DA0006FFFF500
   284  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFA004FF200CFFFF500
   285  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFFECFFFFCEFFFFF500
   286  00BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF300
   287  004FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC000
   288  00039AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA70000
   289  000000000000000000000000000000000000000000000000
   290  000000000000000000000000000000000000000000000000
   291  00039AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA70000
   292  004FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC000
   293  00BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF300
   294  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFFECFFFFCEFFFFF500
   295  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFA004FF201DFFFF500
   296  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF3000DA0006FFFF500
   297  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF6000EC0009FFFF500
   298  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFE64BFF947FFFFF500
   299  00CFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF500
   300  009FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF100
   301  001BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5000
   302  000012222222222222222222222222222222222222200000
   303  000000000000000000000000000000000000000000000000
   304  000012222222222222222222222222222222222222200000
   305  000BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5000
   306  009FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF100
   307  00CFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF500
   308  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFE64BFF948FFFFF500
   309  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF6000EC0009FFFF500
   310  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFF3000DA0006FFFF500
   311  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFA004FF200CFFFF500
   312  00DFFFFFFFFFFFFFFFFFFFFFFFFFFFFFECFFFFCEFFFFF500
   313  00BFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF300
   314  004FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC000
   315  00039AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA70000
   316  000000000000000000000000000000000000000000000000
   317  000000000000000000000000000000000000000000000000
   318  000000000000000000000000000000000000000000000000
   319  000000000000000000000000000000000000000000000000
   320  000000000000000000000000000000000000000000000000
   321  }
   322  
   323  
   324  skinparam folderBackgroundColor<<FA5 SERVER>> White
   325  sprite $sitemap [48x48/16] {
   326  000000000000000000000000000000000000000000000000
   327  000000000000000000000000000000000000000000000000
   328  000000000000000000000000000000000000000000000000
   329  000000000000000000000000000000000000000000000000
   330  000000000000000000000000000000000000000000000000
   331  000000000000000000000000000000000000000000000000
   332  000000000000000000377777777760000000000000000000
   333  000000000000000004FFFFFFFFFFFC000000000000000000
   334  00000000000000000AFFFFFFFFFFFF300000000000000000
   335  00000000000000000BFFFFFFFFFFFF300000000000000000
   336  00000000000000000BFFFFFFFFFFFF300000000000000000
   337  00000000000000000BFFFFFFFFFFFF300000000000000000
   338  00000000000000000BFFFFFFFFFFFF300000000000000000
   339  00000000000000000BFFFFFFFFFFFF300000000000000000
   340  00000000000000000BFFFFFFFFFFFF300000000000000000
   341  00000000000000000AFFFFFFFFFFFF200000000000000000
   342  000000000000000003FFFFFFFFFFFB000000000000000000
   343  0000000000000000001555EFF95530000000000000000000
   344  0000000000000000000000DFF60000000000000000000000
   345  0000000000000000000000DFF60000000000000000000000
   346  0000000000000000000000DFF60000000000000000000000
   347  0000000155555555555555EFF95555555555555400000000
   348  0000005FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC0000000
   349  000000EFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF6000000
   350  000000FFFEDDDDDDDDDDDDFFFEDDDDDDDDDDDDFFF9000000
   351  000000FFF2000000000000DFF6000000000000AFF9000000
   352  000000FFF2000000000000DFF6000000000000AFF9000000
   353  000000FFF2000000000000DFF6000000000000AFF9000000
   354  000000222000000000000012200000000000001221000000
   355  000000000000000000000000000000000000000000000000
   356  0008BBBBBBB810000006BBBBBBB920000004ABBBBBBA3000
   357  009FFFFFFFFFA000005FFFFFFFFFD000002FFFFFFFFFF100
   358  00DFFFFFFFFFF000009FFFFFFFFFF200006FFFFFFFFFF500
   359  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   360  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   361  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   362  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   363  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   364  00DFFFFFFFFFF00000AFFFFFFFFFF200007FFFFFFFFFF500
   365  00BFFFFFFFFFD000008FFFFFFFFFF000005FFFFFFFFFF300
   366  002DFFFFFFFE4000001CFFFFFFFF6000000AFFFFFFFF9000
   367  000011111110000000000111111000000000011111100000
   368  000000000000000000000000000000000000000000000000
   369  000000000000000000000000000000000000000000000000
   370  000000000000000000000000000000000000000000000000
   371  000000000000000000000000000000000000000000000000
   372  000000000000000000000000000000000000000000000000
   373  000000000000000000000000000000000000000000000000
   374  }
   375  
   376  
   377  skinparam folderBackgroundColor<<FA5 SITEMAP>> White
   378  sprite $user_tie [48x48/16] {
   379  000000000000000000000000000000000000000000000000
   380  000000000000000000000000000000000000000000000000
   381  0000000000000000000049BCCA7200000000000000000000
   382  0000000000000000006EFFFFFFFFB3000000000000000000
   383  00000000000000001CFFFFFFFFFFFF700000000000000000
   384  0000000000000001EFFFFFFFFFFFFFF80000000000000000
   385  000000000000000CFFFFFFFFFFFFFFFF6000000000000000
   386  000000000000007FFFFFFFFFFFFFFFFFF100000000000000
   387  00000000000001FFFFFFFFFFFFFFFFFFF900000000000000
   388  00000000000006FFFFFFFFFFFFFFFFFFFF00000000000000
   389  0000000000000BFFFFFFFFFFFFFFFFFFFF40000000000000
   390  0000000000000EFFFFFFFFFFFFFFFFFFFF70000000000000
   391  0000000000000FFFFFFFFFFFFFFFFFFFFF80000000000000
   392  0000000000000FFFFFFFFFFFFFFFFFFFFF80000000000000
   393  0000000000000DFFFFFFFFFFFFFFFFFFFF60000000000000
   394  0000000000000AFFFFFFFFFFFFFFFFFFFF40000000000000
   395  00000000000006FFFFFFFFFFFFFFFFFFFE00000000000000
   396  00000000000000EFFFFFFFFFFFFFFFFFF800000000000000
   397  000000000000007FFFFFFFFFFFFFFFFFF100000000000000
   398  000000000000000BFFFFFFFFFFFFFFFF5000000000000000
   399  0000000000000001DFFFFFFFFFFFFFF70000000000000000
   400  00000000000000000BFFFFFFFFFFFF500000000000000000
   401  0000000000000000005DFFFFFFFFA1000000000000000000
   402  0000000000000000000037ABB96100000000000000000000
   403  000000000000000000000000000000000000000000000000
   404  000000000000000000000000000000000000000000000000
   405  000000000000025500008888888500016400000000000000
   406  000000000007DFFF0000AFFFFFF30006FFFA300000000000
   407  0000000004DFFFFF30002FFFFFA00009FFFFFA1000000000
   408  000000006FFFFFFF700008FFFF20000EFFFFFFD200000000
   409  00000005FFFFFFFFB00000EFF800001FFFFFFFFE10000000
   410  0000003FFFFFFFFFF00000AFF300006FFFFFFFFFB0000000
   411  000000BFFFFFFFFFF30000DFF700009FFFFFFFFFF5000000
   412  000003FFFFFFFFFFF70001FFFB0000DFFFFFFFFFFD000000
   413  000009FFFFFFFFFFFB0005FFFE0001FFFFFFFFFFFF200000
   414  00000DFFFFFFFFFFFF0009FFFF2006FFFFFFFFFFFF600000
   415  00000FFFFFFFFFFFFF300CFFFF6009FFFFFFFFFFFF800000
   416  00001FFFFFFFFFFFFF700FFFFF900DFFFFFFFFFFFFA00000
   417  00001FFFFFFFFFFFFFB04FFFFFD01FFFFFFFFFFFFFB00000
   418  00001FFFFFFFFFFFFFF08FFFFFF16FFFFFFFFFFFFFB00000
   419  00001FFFFFFFFFFFFFF3CFFFFFF59FFFFFFFFFFFFFB00000
   420  00001FFFFFFFFFFFFFF7FFFFFFF9DFFFFFFFFFFFFFA00000
   421  00000EFFFFFFFFFFFFFEFFFFFFFEFFFFFFFFFFFFFF700000
   422  000006FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE100000
   423  0000008FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFD3000000
   424  000000014555555555555555555555555555555300000000
   425  000000000000000000000000000000000000000000000000
   426  000000000000000000000000000000000000000000000000
   427  }
   428  
   429  
   430  skinparam folderBackgroundColor<<FA5 USER_TIE>> White
   431  
   432  
   433  
   434  skinparam defaultTextAlignment center
   435  skinparam wrapWidth 400
   436  skinparam maxMessageSize 150
   437  skinparam StereotypeAlignment right
   438  
   439  skinparam Arrow {
   440      Color #000000
   441      FontColor #000000
   442      FontSize 12
   443  }
   444  skinparam Folder<<grouping>> {
   445      Shadowing true
   446      StereotypeFontSize 0
   447      FontColor #444444
   448      BorderColor #444444
   449      BorderStyle dashed
   450  }
   451  skinparam Folder<<group>> {
   452      Shadowing true
   453      StereotypeFontSize 0
   454      FontColor #444444
   455      BackgroundColor lightgrey
   456  }
   457  skinparam rectangle<<boundary>> {
   458      Shadowing false
   459      StereotypeFontSize 0
   460      FontColor #444444
   461      BorderColor #444444
   462      BorderStyle dashed
   463  }
   464  skinparam node {
   465    StereotypeAlignment right
   466  }
   467  skinparam cloud {
   468    StereotypeAlignment right
   469  }
   470  skinparam frame {
   471    StereotypeAlignment right
   472  }
   473  skinparam archimate {
   474    StereotypeAlignment right
   475    RoundCorner<<strategy-capability>> 25
   476    RoundCorner<<strategy-course-of-action>> 25
   477    RoundCorner<<strategy-value-stream>> 25
   478    RoundCorner<<business-process>> 25
   479    RoundCorner<<business-event>> 25
   480    RoundCorner<<business-function>> 25
   481    RoundCorner<<business-interaction>> 25
   482    RoundCorner<<business-event>> 25
   483    RoundCorner<<business-service>> 25
   484    RoundCorner<<application-function>> 25
   485    RoundCorner<<application-interaction>> 25
   486    RoundCorner<<application-process>> 25
   487    RoundCorner<<application-event>> 25
   488    RoundCorner<<application-service>> 25
   489    RoundCorner<<technology-function>> 25
   490    RoundCorner<<technology-process>> 25
   491    RoundCorner<<technology-interaction>> 25
   492    RoundCorner<<technology-event>> 25
   493    RoundCorner<<technology-infra-service>> 25
   494    RoundCorner<<implementation-workpackage>> 25
   495    RoundCorner<<implementation-event>> 25
   496    DiagonalCorner<<motivation-stakeholder>> 12
   497    DiagonalCorner<<motivation-driver>> 12
   498    DiagonalCorner<<motivation-assessment>> 12
   499    DiagonalCorner<<motivation-goal>> 12
   500    DiagonalCorner<<motivation-outcome>> 12
   501    DiagonalCorner<<motivation-principle>> 12
   502    DiagonalCorner<<motivation-requirement>> 12
   503    DiagonalCorner<<motivation-constraint>> 12
   504  }
   505  skinparam usecase {
   506    BorderColor #000000
   507  }
   508  
   509  
   510  
   511  
   512  
   513  
   514  
   515  
   516  
   517  
   518  
   519  
   520  
   521  
   522  
   523  
   524  
   525  
   526  
   527  
   528  
   529  
   530  
   531  
   532  
   533  
   534  
   535  
   536  
   537  
   538  
   539  
   540  
   541  
   542  
   543  
   544  
   545  skinparam ParticipantPadding 60
   546  skinparam componentArrowThickness 2.5
   547  
   548  participant  "<color:#5B254A><$user_tie>\nFirmware Vendor" as vendor #E9C9DF
   549  participant  "<color:#892953><$eye>\nObs/Vendor Monitor" as monitor #F3D8E4
   550  participant  "<color:#E0E3FF><$sitemap>\nFT Log" as log #899BDC
   551  participant  "<color:#6E1111><$gavel>\nArbiter" as arbiter #F1A7A7
   552  
   553      activate monitor
   554          loop Forever
   555  
   556              monitor -> log ++ : GetCheckpoint
   557              return checkpoint
   558              monitor -> log ++: GetConsistencyProof
   559              return consistency proof
   560              monitor -> monitor: Validate ConsistencyProof
   561  
   562              |||
   563  
   564              loop For each new LogEntry e
   565                  monitor -> log ++: GetEntry e
   566                  return entry
   567                  note right
   568                      Monitor verifies inclusion of all entries locally
   569                  endnote
   570                  monitor -> monitor: Inspect entry
   571                  |||
   572                  alt #FFDDDD Badness detected
   573                      monitor - ->o arbiter: Alert
   574                  else #FFDD80 Firmware from Vendor detected
   575                      monitor - ->o vendor: Inform
   576                  else #DDFFDD Ok
   577                  end
   578              end
   579          end
   580      deactivate monitor
   581  @enduml
   582  
   583  PlantUML version 1.2020.02(Sun Mar 01 10:22:07 GMT 2020)
   584  (GPL source distribution)
   585  Java Runtime: OpenJDK Runtime Environment
   586  JVM: OpenJDK 64-Bit Server VM
   587  Java Version: 11.0.9+11-post-Debian-1deb10u1
   588  Operating System: Linux
   589  Default Encoding: UTF-8
   590  Language: en
   591  Country: US
   592  --></g></svg>