Digital Travel Credentials

Full Title

Digital Travel Credentials with a focus on Health Credentail Use Case.

Context

To provide reasonably high assurance that a traveller has the Health and other Credentials needed to travel.

Goal

To allow digital proof of a travelers compliance with requirements for travels that by collected from among many Credential Service Providers.

Actors

1. Traveler
2. Electronic Health Record (EHR)
3. Verifier of claim of majority (also can validate binding to subject)
4. Access Agent the recieves the verifier prsentation and allows access of the Traveler.
5. Provider(s) of late binding tokens and client-side code
6. Internationally recognized Travel Trust Registry

Preconditions

• The Traveler has acquired a late binding token from any approved Credential Service Provider.
• The Traveler has registered a claim with verifier using token.
• The Traveler has established an account with supplier using a DID or other persistent ID.

Scenarios

Primary Scenario:

1. Consumer signs into supplier and has never purchased liquor from this site.
2. Consumer selects to purchase liquor item
3. Access Agent asks user for a verifed claim of Health with a nonce.
4. Consumer sends verifiable claim of Health they acquired from verifier.
5. Access Agent asks verifier for proof. (This would be by redirect to verifier through user browser)
6. Verifier supplies validated claim (or statement of non-revocation) bound to nonce by redirect to Supplier, if this VC is bound to the user’s session with supplier, it can have a lifetime of the duration of bound session.
7. Monetization is by direct micro payment (on the order of $.05) from supplier to verifier.

Alternative Paths:

1. Consumer selects to purchase liquor item.
2. Access Agent asks user for a verifed claim of Health with a nonce.
3. Consumer asks verifier directly for proof with nonce from Supplier.
4. Verifier asks consumer to enter token for proof of presence.
5. Verifier send validated claim with nonce of supplier with short expiration time (10-20 mins - alternate life time of duration of session).
6. Consumer sends verified claim to supplier.
7. Monetization is by advertising from verifier to consumer.

A different path using biometrics:

1. Yoti, a London-based startup which wants to become the “world’s trusted identity platform”, is one of many attempts to provide such a service. Its system stores government id documents and biometrics. If a user wants to buy a bottle of wine at a supermarket self-check-out and needs to prove their age, they scan a qr code and take a selfie using Yoti’s app. The retailer can be sure of their age, but no one has seen their name or nationality. From the Financial Times.

Failed Paths:

1. User does not get verified claim for some reason.
2. Verified claims fails validation at supplier.
3. Verified claims are false.

Results

Accepted Risks:

1. The consumer is not over-21 and has buddy’s token to enter into computer.
2. Session hijacking mitigated with HTTPS and session cookies.
3. MitM attacks mitigated by hardware token bound to origin URL of verifier.
4. Note that the late binding token could be bound to supplier as well as needed.
5. The identity of the verifier/validator is discoverable by the supplier.
6. User makes choices on which attributes are trusted for sharing with the supplier.

Post Condition:

1. If validation accepted, and consumer completes payment, the restricted goods are shipped to the consumer by the supplier.
2. Note that at the end of the process of validating the user’s age, the state issued license to sell alcoholic beverages will determine which path to use. The penalty for the supplier using the wrong path is loss of the license to sell alcohol.

Examples:

1. Late binding token - FIDO U2F token, TEE TPM VSC, etc.
2. Client side code - javascript in a browser, native app, etc.

Dependencies::

1. Web Sites must be trusted before any user information is released.
2. Trust federations can be used to help users make informed decisions.
3. User consent and trust must begin with no user information transferred.
4. Standards exist to collect needed attributes where-ever they may be.

Workflow Diagram

TK

References

• Digital Travel Credentials (2019-06-25) TRIP 15th Symposium Louise Cole
• The wiki page Phone as Health Care Credential