search

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

granularity and isolation #53

Closed thomas-fossati closed 3 years ago

thomas-fossati commented 3 years ago

While working on the PSA profile, one thing that doesn't feel right is that when extending ref-vals / endorsements values, one ends up extending the whole ref-val/endorsement map rather than just the element value -- which would seem to be the right granularity. Now: element-value does not have an extension point, but even it had one, extending element-value with new endorsements types would have a polluting effect in that the endorsement-specific extensions would automatically percolate into the ref-val space and viceversa. Which makes me wonder whether we got the type system slightly wrong here? Wouldn't it be better instead of a shared element-value to have separate (and extensible) endorsement-value and ref-val-value inside the endorsement and ref-val maps respectively? ISTM that this approach would give us the granularity and isolation which the current type system lacks.

nedmsmith commented 3 years ago

I think this is trending to be an alternate proposal than to what is proposed in issue #51. There is concern over whether extensibility is achieved the best way. We need to see a concrete proposal so that these can be discussed and compared in context.