Legenda:
A: attesterRP: relying party (i.e., RA/CA)V_i: i-th verifier
sequenceDiagram
participant A
participant RPLegenda:
A: attesterRP: relying party (i.e., RA/CA)V_i: i-th verifiersequenceDiagram
participant A
participant RP| CREATE TABLE meta( | |
| version text, | |
| name text, | |
| last_updated timestamp, | |
| deployed timestamp | |
| ); | |
| -- Two tables, one for reference values (psa_sw_components), the other for | |
| -- verification keys (psa_verification_key), plus one view that joins them and | |
| -- pins software to a product via the endorsed prod_id field. |
| msc { | |
| a,b,c; | |
| a->b [label="ab()"] ; | |
| b->c [label="bc(TRUE)"]; | |
| c=>c [label="process(1)"]; | |
| c=>c [label="process(2)"]; | |
| ...; | |
| c=>c [label="process(n)"]; | |
| c=>c [label="process(END)"]; |