You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Apply simple edits that improve the language of the draft!
Co-authored-by: Thomas Fossati <[email protected]>
Co-authored-by: Dionna Amalie Glaze <[email protected]>
A Reference Values Triple provides reference measurements or reference claims pertaining to a Target Environment.
1115
-
For a Reference Value triple, the subject identifies a Target Environment, the object contains reference measurements associated to one or more measured elements of the Environment, and the predicate asserts that these are expected (i.e. reference) measurements for the Target Environment.
1115
+
For a Reference Value triple, the subject identifies a Target Environment, the object contains reference measurements associated to one or more measured elements of the Environment, and the predicate asserts that these are expected (i.e., reference) measurements for the Target Environment.
1116
1116
1117
1117
The Reference Values Triple has the following structure:
1118
1118
@@ -1122,12 +1122,12 @@ The Reference Values Triple has the following structure:
1122
1122
1123
1123
The `reference-triple-record` has the following parameters:
1124
1124
1125
-
* `ref-env`: Reference Environment Identity of the Target Environment
1125
+
* `ref-env`: Identifies the Target Environment
1126
1126
1127
1127
* `ref-claims`: One or more measurement claims for the Target Environment
1128
1128
1129
1129
To process `reference-triple-record` both the `ref-env` and `ref-claims` criteria are compared with Evidence entries.
1130
-
First `ref-env` is used as a Search criterion to locate the Evidence environment that matches the reference environment.
1130
+
First `ref-env` is used as a search criterion to locate the Evidence environment that matches the reference environment.
1131
1131
Subsequently, the `ref-claims` from this triple are used to match against the Evidence measurements for the matched environment.
1132
1132
If the search criteria are satisfied, the matching entry is re-asserted, except with the Reference Value Provider's authority.
1133
1133
By re-asserting Evidence using the RVP's authority, the Verifier can avoid mixing Reference Values (reference state) with Evidence (actual state).
@@ -1136,8 +1136,8 @@ Re-asserted Evidence using RVP authority is said to be "corroborated".
An Endorsed Values triple provides additional Endorsements for an existing Target Environment.
1140
-
For Endorsed Values Claims, the _subject_ is a Target Environment, the _object_ contains Endorsement Claims for the Environment, and the _predicate_ defines semantics for how the _object_ relates to the _subject_.
1139
+
An Endorsed Values triple provides additional Endorsements - i.e., claims reflecting the actual state - for an existing Target Environment.
1140
+
For Endorsed Values Claims, the subject is a Target Environment, the object contains Endorsement Claims for the Environment, and the predicate defines semantics for how the object relates to the subject.
1141
1141
1142
1142
The Endorsed Values Triple has the following structure:
1143
1143
@@ -1157,7 +1157,7 @@ The new entry is added to the existing set of entries using the Endorser's autho
A Conditional Endorsement Triple declares one or more conditions that, once they match, cause every entry in the endorsements to be added to the accepted state.
1160
-
The conditions are `stateful-environment-records` which match Target Environments from Evidence in certain reference state.
1160
+
The conditions are expressed via `stateful-environment-records`, which match Target Environments from Evidence in certain reference state.
1161
1161
1162
1162
The Conditional Endorsement Triple has the following structure:
0 commit comments