Legenda:
A
: attesterRP
: relying party (i.e., RA/CA)V_i
: i-th verifier
sequenceDiagram
participant A
participant RP
participant V_i
RP->>RP: n
RP->>A: n
A->>RP: E = {e_1(n), ..., e_m(n)}
loop for i=1..m
RP->>V_i: n, e_i(n)
V_i->>RP: AR(e_i(n))
end
RP->>RP: eval appraisal policy for attestation results
alt success
RP->>A: cert
else failure
RP->>A: error
end