Topic K: Combined Presentation of Attestations #442
Replies: 3 comments 1 reply
-
Topic K - Combined presentations and Proof of AssociationDisclamer: This text is not intended to communicate a favored approach, but to guide a fruitful discussion. Favoritism on the author's behalf is clearly communicated. Furthermore, the text does not consider protocol choices already made for the EUDIW context, but may reference these when suitable. Defining secure combined presentationsIssue #341 defines combined presentations and aims to outline implementation requirements. A slight refinement could better clarify security requirements and shift the focus to what the Verifier must determine (rather than attribute requests and consolidation). I propose defining a combined presentation as a transaction where at least two attributes from distinct attestations are presented to a Verifier so that the Verifier:
The first requirement is straightforward, but the second is more nuanced. Example A illustrates why proper pairing is crucial (see also the VC implementation guidelines "selective disclosure" subsection under ZKP).
A valid composition maintains logical consistency:
The following example is NOT a valid composition as it improperly pairs the
With the above in mind, the following security requirements must be met:
Achieving Identity BindingTo determine Identity Binding, there needs to be some sort of Proof of Association between the presented attributes. I am aware of the following general solutions: Session-based PoASession-based PoA ensures that all attestations sent over a secured session originate from the same certified WSCD and refer to the same identity subject. Session-based PoA requirements include:
I am not familiar enough with session-based PoA approaches to provide a detailed list of drawbacks and benefits, but some considerations may include:
Claim-based PoAClaim-based binding allows a Verifier to perform identity binding solely based on the claims presented by the User. There are two general approaches:
Since Verifier unlinkability is a requirement, we will only consider the Verifier unlinkable blinded PoA inputs below.
To achieve Verifier unlinkability, the User only present blinded claim statements. Blinded claim statements are particularly suitable when attestation Issuers rely on a attestation (e.g., a PID) to identify the User before issuing new attestations. In this model, Issuers and Verifiers receive different identifying attestations:
During verification, the User must prove that the blinded claim statements are equivalent in some way (c.f. Appendix A for a ZKP-based approach that offers third party repudiation). Some limitations of blinded claim-based PoAs include:
Benefits include:
Signature-based PoASignature-based PoA uses at least two keypairs in a process that establishes their association. These approaches do not inherently provide PoA and instead rely on certified hardware to enforce signing rules. Possible adaptations could leverage:
There are some major limitation of signature-based PoA.
Despite its drawbacks, signature-based PoA offers several benefits:
Related key PoAA related key PoA establishes an association between public keys based on relationships between their private keys.
Two primary approaches exist. Both leverage homomorphic relationships between private and public key operations:
Both approaches require extensive scrutiny before their benefits and drawbacks can be fully assessed. This discussion aims to contribute to their respective evaluations. I actively support and contribute to the derived associations via key blinding approach, and would like to initiate this discussion with the following remarks:
I greatly appreciate Verheul's work and the effort invested; my critique is intended to be constructive and support further improvement. To this end, I offer the following comments:
Achieving Valid CompositionI have no idea how to do this generally. The only viable ways I can think of are:
If a solution exist, I would be very interested in seeing it. If no solution exists, I propose we discuss what limitations need to be in place for Combined Presentations to circumvent concerns with Valid Composition. Author contributionsThe text was written by Peter Altmann, with conceptual input on session-based PoA from Stefan Santesson, and review by Sander Dijkhuis. Appendices available here: https://github.com/AltmannPeter/TopicsReview/blob/main/Topic_K_Appendices.ipynb |
Beta Was this translation helpful? Give feedback.
-
Verifiable selective disclosure is generally advanced, but it becomes more complicated when combining attributes from different attestations, particularly when trying to avoid invalid paring, as referenced above. The contextual scope is lost. The context must be preserved to prevent invalid pairing, which is challenging when providing PoA for this. It may be easier to issue valid combined presentations rather than allow arbitrary combinations. Although, pre-combined presentations may be a challenge by itself and somewhat miss the point. PoA does not necessarily by itself prevent invalid pairing. |
Beta Was this translation helpful? Give feedback.
-
I close the discussion here. Please proceed in this thread: |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Welcome to the discussion on Combined Presentation of Attestations, part of the ongoing development of the Architecture and Reference Framework (ARF) for the European Digital Identity (EUDI) Wallet.
This discussion is based on Issue #341 about Topic K: Combined Presentation of Attestations, and aims to provide input to the forthcoming discussion paper.
This text suggests a definition of combined presentations and proposes two security requirements derived from what a Verifier must be able to achieve. The security requirements then guide the initial proposals on various PoA approaches.
One such approach, related-key PoA, is given extra consideration given the attention they have received.
@skounis and others feel free to edit and take over this discussion.
Beta Was this translation helpful? Give feedback.
All reactions