ietf-rats / ietf-corim-cddl

This repository is abandoned. The adopted I-D can be found at:
https://github.com/ietf-rats-wg/draft-ietf-rats-corim/
2 stars 0 forks source link

conditional endorsement triple needed #188

Closed nedmsmith closed 2 years ago

nedmsmith commented 2 years ago

There are use cases for conditional endorsement where given a particular reference value matches evidence, a specific endorsement claim is asserted. There may be a sequence of these assertions, hence the position in the sequence is important.

The CDDL that achieves this goal is as follows:

;
; Triples map extension
;
 $$triples-map-extension //= (
  comid.endorsed-reference-triples => [+ endorsed-reference-triple-record]
)
comid.endorsed-reference-triples = 7

endorsed-reference-triple-record = [
  environment-map ; target environment
  [ + endorsed-reference-map ] ; reference values with endorsed values
]
endorsed-reference-map = non-empty<{
  ? itee.pos => uint ; position - avoids using mkey
  ? itee.refv => measurement-map, ; reference values
  ? itee.endv => measurement-map / measurement-values-map ; endorsed values
}>
itee.refv = 0
itee.endv = 1
itee.pos = 2