From ac0a0fa43535e89d7fb05c0203ba8fd01b65e5dd Mon Sep 17 00:00:00 2001 From: Michael Eckel Date: Sun, 25 Apr 2021 23:17:38 +0200 Subject: [PATCH] Fixed consistency of diagrams. * Replaced "signedEvidence" with "evidence" * Replaced "evidenceGeneration" with "evidenceGeneration" * Replaced "collectClaims(claimSelection)" with "collectClaims(claimsDelta, claimSelection)" * Fixed alignment/layout of return arrows Signed-off-by: Michael Eckel --- ...-ietf-rats-reference-interaction-models.md | 36 +++++++++---------- 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/draft-ietf-rats-reference-interaction-models.md b/draft-ietf-rats-reference-interaction-models.md index 82aca02..606f481 100644 --- a/draft-ietf-rats-reference-interaction-models.md +++ b/draft-ietf-rats-reference-interaction-models.md @@ -293,15 +293,15 @@ The way these handles are processed is the most prominent difference between the | | | <-- requestAttestation(handle, authSecIDs, claimSelection) | | | - collectClaims(claimSelection) | + collectClaims(claims, claimSelection) | | => collectedClaims | | | - evidenceGeneration(handle, authSecIDs, collectedClaims) | + generateEvidence(handle, authSecIDs, collectedClaims) | | => evidence | | | - | signedEvidence, eventLogs -------------------------------> | + | evidence, eventLogs -------------------------------------> | | | - | appraiseEvidence(signedEvidence, eventLogs, refValues) + | appraiseEvidence(evidence, eventLogs, refValues) | attestationResult <= | | | ~~~~ @@ -347,14 +347,14 @@ The final output of the Verifier are Attestation Results. Attestation Results co generateClaims(attestingEnvironment) x | | => claims, eventLogs | | | - collectClaims(claimSelection) | + collectClaims(claims, claimSelection) | | => collectedClaims | | | - evidenceGeneration(handle, authSecIDs, collectedClaims) | - | => Evidence | + generateEvidence(handle, authSecIDs, collectedClaims) | + | => evidence | | | | evidence, eventLogs -------------------------------------> | | | - | appraiseEvidence(signedEvidence, eventLogs, refValues) + | appraiseEvidence(evidence, eventLogs, refValues) | attestationResult <= | ~ ~ | | @@ -363,15 +363,15 @@ The final output of the Verifier are Attestation Results. Attestation Results co * generateClaims(attestingEnvironment) | * * | => claimsDelta, eventLogsDelta | * * | | * -* collectClaims(claimSelection) | * +* collectClaims(claimsDelta, claimSelection) | * * | => collectedClaimsDelta | * * | | * -* evidenceGeneration(handle, authSecIDs, collectedClaims) | * +* generateEvidence(handle, authSecIDs, collectedClaimsDelta) | * * | => evidence | * * | | * -* signedEvidence, eventLogsDelta -------------------------------> | * +* | evidence, eventLogsDelta --------------------------------> | * * | | * -* | appraiseEvidence(signedEvidence, eventLogsDelta, refValues) * +* | appraiseEvidence(evidence, eventLogsDelta, refValues) * * | attestationResult <= | * * | | * ************************************************************************ @@ -412,15 +412,15 @@ Methods to detect excessive time drift that would mandate a fresh Handle to be r | <----------- subscribe(handle, authSecIDs, claimSelection) | | subscriptionResult --------------------------------------> | | | - collectClaims(claimSelection) | + collectClaims(claims, claimSelection) | | => collectedClaims | | | generateEvidence(handle, authSecIDs, collectedClaims) | | => evidence | | | - | signedEvidence, eventLogs -------------------------------> | + | evidence, eventLogs -------------------------------------> | | | - | appraiseEvidence(signedEvidence, eventLogs, refValues) + | appraiseEvidence(evidence, eventLogs, refValues) | attestationResult <= | ~ ~ | | @@ -429,15 +429,15 @@ Methods to detect excessive time drift that would mandate a fresh Handle to be r * generateClaims(attestingEnvironment) | * * | => claimsDelta, eventLogsDelta | * * | | * -* collectClaims(claimSelection) | * +* collectClaims(claimsDelta, claimSelection) | * * | => collectedClaimsDelta | * * | | * * generateEvidence(handle, authSecIDs, collectedClaimsDelta) | * * | => evidence | * * | | * -* signedEvidence, eventLogsDelta -------------------------------> | * +* | evidence, eventLogsDelta --------------------------------> | * * | | * -* | appraiseEvidence(signedEvidence, eventLogsDelta, refValues) * +* | appraiseEvidence(evidence, eventLogsDelta, refValues) * * | attestationResult <= | * * | | * ************************************************************************