Brez preverjanja s klicem domov: Zakaj prihodnje digitalno mednarodno dovoljenje za vožnjo ne sme pri vsaki uporabi klicati izdajatelja

Preklic je najtežji problem vsakega prihodnjega digitalnega mednarodnega dovoljenja za vožnjo (MDV). Najlažji način za njegovo reševanje je hkrati tudi najnevarnejši: izdajatelja narediti udeleženca pri vsaki posamezni predstavitvi. Sodobna čezmejna vozniška poverilnica bi morala ta bližnjico privzeto zavrniti.

Skoraj vsak predlog digitalne identitete vsebuje isto pomirjujočo povedi:

»Poverilnico je mogoče takoj preveriti.«

Včasih ta poved opisuje resnični napredek. Včasih opisuje nadzor s prijaznejšim uporabniškim vmesnikom.

Danes objavljeni standardi že jasno določajo, da preverjevalec ne potrebuje stika z izdajateljem vsakič, ko je poverilnica prikazana:

• Trenutna arhitektura mDL pri NIST navaja, da preverjevalec lahko potrdi pristnost in celovitost z zaupanjem podpisu izdajatelja in javnim ključem – brez neposrednega stika z izdajateljem.
• AAMVA potrjuje, da ISO/IEC 18013-5 zahteva podporo za pridobivanje prek naprave in le neobvezno dovoljuje pridobivanje prek strežnika.
• AAMVA prav tako opozarja, da je pri pridobivanju prek strežnika organ izdajatelj vpleten v realnem času pri vsaki uporabi – kar pomeni, da lahko tehnično beleži, kdaj je bila poverilnica uporabljena, kateri podatki so bili deljeni, in celo sklepa o lokaciji z analizo IP.

To ni manjša opomba. To je osrednje vprašanje oblikovanja za naslednjo generacijo čezmejnih vozniških poverilnic.

Nevarna bližnjica: Združitev štirih vprašanj v en omrežni klic

Slabe arhitekture združijo štiri popolnoma različna vprašanja v en sam klic v živo izdajatelju:

1. Ali je ta poverilnica pristna?
2. Ali je oseba, ki jo predstavlja, zakoniti imetnik?
3. Ali je poverilnica sama še veljavna?
4. Ali je osnovna nacionalna pravica do vožnje še v veljavi?

Slabo zasnovan sistem odgovori na vsa štiri vprašanja z klicem domov v realnem času. Dobro zasnovan sistem jih loči – ker niso enaka težava in ne bi smela imeti skupnega mehanizma.

Pristnost je treba preveriti lokalno, ne prek omrežja

Poverilnica je lahko kriptografsko pristna, ne da bi izdajatelj kdaj opazil transakcijo.

• Model zaupanja mDL pri NIST navaja, da se pristnost in celovitost potrdita iz podpisa izdajatelja in javnih ključev – brez potrebe po živem stiku z izdajateljem.
• Storitev digitalnega zaupanja AAMVA obstaja natanko zato, da preverjevalcem omogoča dostop do veljavnih javnih ključev izdajatelja brez povratnih klicev po posameznih transakcijah.

Načelo oblikovanja 1: Ne uporabljajte živega omrežja za reševanje problema, ki ga podpisi že rešujejo.

Če preverjevalec ima zaupanja vredne ključe izdajatelja in prejme standardom skladno predstavitev, je pristnost lokalno kriptografsko preverjanje, ne omrežna odvisnost.

Vezava na imetnika mora biti dokazana lokalno, ne poročana globalno

Drugo vprašanje – ali je to zakoniti imetnik? – ima prav tako odgovor brez omrežja.

Trenutna arhitektura EUDI zahteva vezavo na napravo za PID in potrdila ISO/IEC 18013-5. Preverjevalec zahteva, da denarnica podpiše svežo zahtevo z zasebnim ključem, ki ustreza javnemu ključu, vgrajenemu v poverilnico:

• V ISO/IEC 18013-5 se to imenuje avtentikacija mdoc.
• V SD-JWT VC se imenuje vezava ključa.

V obeh primerih se posest dokaže lokalno in kriptografsko. Nobeni osebni podatki nikoli ne smejo doseči izdajatelja.

Načelo oblikovanja 2: Posest dokažite lokalno. Ne dokazujte identitete globalno.

Prihodnje MDV bi moralo izčrpati vezavo na napravo, lokalno avtentikacijo imetnika in odziv na izziv preverjevalca preden bi preučilo katerikoli mehanizem na strani izdajatelja.

Status poverilnice in status pravice do vožnje sta dve različni stvari

Mnogi načrti digitalne identitete to razliko zamegljujejo, in prav tam se zmotijo.

Specifikacija W3C Bitstring Status List to jasno navaja: informacije o statusu, priložene k preverljivi poverilnici, se nanašajo na preverljivo poverilnico samo – ne nujno na osnovno pravico v resničnem svetu. Digitalna poverilnica je morda preklicana, ker je bil njen mehanizem podpisovanja ogrožen, medtem ko osnovna pravica do vožnje ostane popolnoma veljavna.

Prihodnje MDV zato potrebuje dve ločeni statusni plasti:

• Statusna plast poverilnice – za digitalno poverilnico ali kanal predstavitve kot tak.
• Plast pravice do vožnje – za osnovno nacionalno upravičenost do vožnje.

Včasih se ti spremenita skupaj. Pogosto pa ne. Sistem, ki ju meša, bo prekomerno reagiral, razkril več podatkov, kot je potrebno, ali oboje.

Ogroženost denarnice mora potekati skozi status – ne sprožati povratnih klicev pri preverjevalcih

Prihodnje MDV potrebuje tudi jasen odgovor na vprašanje, kaj se zgodi, ko je denarnica ogrožena.

Arhitektura EUDI zagotavlja enega:

• Ponudnik denarnice izda potrdila enote denarnice, ki vsebujejo informacije o preklicu.
• Celovitost denarnice se redno preverja; če denarnica ni več varna, je njeno potrdilo preklicano.
• Ponudniki PID morajo redno preverjati, ali je bila denarnica preklicana. Če je bila, preklicajo PID.
• Z preverjanjem statusa PID strankina stran posredno preverja status denarnice.

To je slojevitost, ki bi jo moralo prihodnje MDV sprejeti. Ne zahtevajte od vsakega preverjevalca, da neodvisno preveri ponudnika denarnice. Pustite, da ogroženost denarnice poteka skozi obstoječi cevovod statusa poverilnice, in pustite preverjevalcem, da se posvetujejo s tem enim kanalom, ki varuje zasebnost.

Trije izvedljivi vzorci preklica (povratni klici niso potrebni)

EUDI zahteva, da ponudniki uporabijo eno od treh metod preklica:

• Kratkotrajna potrdila – veljavna 24 ur ali manj, tako da preklic postane nepotrebna.
• Seznam statusa potrdil – objavljeni seznam, s katerim se preverjevalci lahko posvetujejo.
• Seznam preklicanih potrdil – izrecni seznam preklicanih poverilnic.

Za potrdila, veljavna več kot 24 ur, EUDI zahteva vgraditev informacij o preklicu, ki vključujejo:

• URL, s katerega lahko strankine strani pridobijo seznam statusa.
• Identifikator, ki locira poverilnico znotraj tega seznama.

Če zanesljive informacije o preklicu niso na voljo – na primer, ko je strankina stran brez povezave – EUDI strankinim stranem naroči, naj opravijo analizo tveganja preden sprejmejo ali zavrnejo poverilnico.

Zaključek: preklic ni enoten mehanizem in zagotovo ne upravičuje obveznih povratnih klicev pri izdajatelju.

Kratkotrajna privzeto, dolgotrajna le tam, kjer je potrebno

Ena najučinkovitejših ukrepov za zasebnost v celotnem skladu je hkrati najpreprostejša: kar je predstavljeno, naj bo kratkotrajna.

• EUDI navaja, da potrdila, veljavna 24 ur ali manj, ne zahtevajo infrastrukture za preklic – potečejo, preden bi bil preklic sploh relevanten.
• W3C navaja, da so preverljive predstavitve tipično kratkotrajne in niso zasnovane za dolgoročno shranjevanje.
• NIST izrecno opozarja pred večkratnim prenašanjem identifikatorjev za večkratno uporabo v vsakdanji rabi. Vsakodnevna avtentikacija bi se morala zanašati na tehnologije, zasnovane za ta namen, kot so gesla za naprave (passkeys), ne na večkratno predstavljanje poverilnic, bogatih z identifikacijskimi podatki.
• NIST je prav tako izbral lokalno avtentikacijo naprave namesto biometričnega ujemanja na strežniku, natanko zato, ker lokalna avtentikacija varuje zasebnost in je operativno učinkovitejša.

Načelo oblikovanja 3: Osnovna poverilnica ima lahko srednje dolgo veljavnost, toda sama predstavitev bi morala biti kratkotrajna, specifična za preverjevalca in neuporabna večkrat.

Seznami statusa so pravi privzeti mehanizem

Ko vsega ni mogoče narediti kratkotrajna, potrebujete statusno infrastrukturo – in seznam statusa je pravi privzeti mehanizem.

W3C-jev Bitstring Status List v1.0 opisuje zasebnost varčen, prostorsko učinkovit in visoko zmogljiv mehanizem za objavo statusnih podatkov, kot sta suspenz ali preklic. Ključne lastnosti vključujejo:

• Vsak izdajatelj upravlja seznam za poverilnice, ki jih je izdal.
• Format se dobro stisne, saj večina poverilnic ostane nepreklicana.
• Privzeta velikost seznama je 131.072 vnosov, kar W3C navaja, da v povprečnem primeru zagotavlja ustrezno skupinsko zasebnost.
• Kjer je potrebna močnejša skupinska zasebnost, je mogoče uporabiti večje sezname.

S tem se vprašanje premakne iz:

»Ali lahko zdaj vprašam izdajatelja o tem uporabniku?«

na:

»Ali imam že dovolj svež seznam statusa, ki varuje zasebnost, da se odločim lokalno?«

To je bistveno boljše vprašanje – tako tehnično kot politično.

»Brez klica domov« je vzorec prenosa, ne geslo

Najpomembnejše pravilo v smernicah EUDI za zasebnost je postopkovno, ne filozofsko.

Strankine strani ne smejo zahtevati seznama statusa vsakič, ko je poverilnica predstavljena. Namesto tega morajo:

• Vsako novo različico seznama prenesti enkrat.
• To storiti ob času in z lokacije, ki nista povezana s katero koli predstavitvijo uporabnika.
• Seznam notranje razdeliti znotraj organizacije strankine strani.
• Seznam pridobiti brez avtentikacije strankine strani.

To je operativno jedro preverjanja brez klica domov: osvežite status ločeno od predstavitev uporabnikov – nikoli po osebi, nikoli po transakciji.

Ta ena sama oblikovalska odločitev preprečuje, da bi izdajatelj ali ponudnik statusa izvedel, kateri preverjevalec je preveril katero poverilnico in kdaj.

Skupinska zasebnost: zahteva, ki jo večina načrtov pozablja

Mnogi sistemi slavijo selektivno razkritje znotraj same predstavitve, nato pa tiho ignorirajo zasebnost iskanj statusa. To je pomembna vrzel.

Zahteve EUDI glede zasebnosti določajo:

• Indeksi v seznamih statusa morajo biti naključno dodeljeni, tako da indeks sam nikoli ne postane signal za sledenje.
• Vsak seznam mora zajemati zadostno število poverilnic, da se zagotovi skupinska zasebnost.
• Če bi bil seznam sicer premajhen, morajo ponudniki dodati neuporabljene vnose, da prikrijo dejansko število poverilnic.

Prihodnje MDV ne more trditi, da varuje zasebnost le na podlagi selektivnega razkritja. Če mehanizem preklica razkrije dogodek predstavitve, je načrt zasebnosti nepopoln.

Delovanje brez povezave ni robni primer – je osnovna zahteva

Vsak potovalni sistem, ki predpostavlja popolno povezljivost, je slabo zasnovan.

• AAMVA potrjuje, da pridobivanje prek naprave deluje brez zunanje povezave tako za napravo imetnika kot za bralnik, in da ISO/IEC 18013-5 zahteva, da mDL podpira pridobivanje prek naprave.
• EUDI sprejema, da strankine strani morda nimajo povezave in nimajo predpomnjenega seznama statusa, v tem primeru priporoča analizo tveganja pred odločitvijo.

Ta kompromis sprejmite zgodaj:

Popolno delovanje brez povezave in popolna svežina v realnem času sta nezdružljiva.

Vsaka arhitektura, ki obljublja oboje brez kompromisa, je bodisi neprecizna bodisi tiho ponavlja nadzor. Pravi odgovor je, da svežina postane vhodni podatek politike, ne splošna omrežna odvisnost.

Dnevniki so tam, kjer zasebnost tiho propade

Celo odlična statusna arhitektura je lahko uničena s površnim beleženjem.

• EUDI zahteva, da primerki strankinih strani zavrže edinstvene elemente in časovne žige takoj, ko niso več potrebni, in prepoveduje njihovo posredovanje naprej.
• AAMVA prepoveduje deležnikom slediti imetnikom mDL ali uporabi mDL, razen kjer to zahteva zakon, zahteva od organov izdajateljev, da minimizirajo deljenje statičnih ali dolgotrajnih metapodatkov, in omejuje dostop do dnevnikov dejavnosti na imetnika.
• AAMVA prav tako zahteva, da brisanje na napravi odstrani informacije dnevnika in metapodatke, ki bi lahko razkrili zgodovino uporabe – in da je to brisanje mogoče brez povezave.

To je vedenje protokola, ne administrativna ureditev. Prihodnje MDV mora z dolgotrajnimi identifikatorji, časovnimi žigi in dnevniki ravnati kot s potencialnimi orodji za sledenje, dokler ni izrecno dokazano drugače.

Konkretna arhitektura brez klica domov za prihodnje MDV

Ko združimo načela, je tu, kar bi sistem moral dejansko početi:

1. Izdajte osnovno poverilnico, vezano na napravo. Poverilnico vežite na ključe, zaščitene v varnem okolju denarnice – obvezno po EUDI za PID in potrdila ISO/IEC 18013-5.
2. Zahtevajte le, kar je potrebno, s svežim izzivom. V transakciji OpenID4VP poizvedba DCQL denarnici omogoča, da imetniku prikaže, kateri atributi so zahtevani, preverjevalec pa izda izziv za preprečitev ponovitve (v skladu s trenutno arhitekturo mDL pri NIST).
3. Ustvarite kratkotrajna predstavitev, ne identifikatorja za večkratno uporabo. Vsaka predstavitev bi morala biti specifična za preverjevalca, zahtevo in trenutek.
4. Preverite pristnost lokalno. Podpise in javne ključe izdajatelja potrdite brez povezave; storitev zaupanja AAMVA je za to natanko zasnovana.
5. Preverite status iz predpomnilnih, ločeno osveženih seznamov. Kjer poverilnice trajajo predolgo, da bi preskočili preklic, uporabite lokalno predpomnilne sezname statusa, ki se osvežujejo po urniku, nepovezanem z predstavitvami uporabnikov.
6. Uporabite politiko tveganja, ko svežina ni na voljo. Odločitve brez povezave naredite za izrecno politiko preverjevalca, ne za nestrukturirano ugibanje.
7. Agresivno brišite podatke za sledenje. Zavrzite edinstvene elemente transakcij in časovne žige, ko niso več potrebni; ne hranite dnevnikov, ki bi lahko rekonstruirali zgodovino gibanja.

Tako izgleda resna arhitektura brez klica domov – slojevita, varujoča zasebnost, kriptografsko lokalna in operativno poštena glede realnosti brez povezave.

Trije vzorci, ki bi morali biti po zasnovi prepovedani

Zreli prihodnji ekosistem MDV bi moral te obravnavati kot arhitekturne napake, ne kot izbire optimizacije:

• Obvezni povratni klici pri izdajatelju ob vsaki predstavitvi. Lastne smernice AAMVA za zasebnost pojasnjujejo, zakaj je to škodljivo.
• Uporaba vozniške poverilnice kot rutinsko prijavo. NIST izrecno opozarja pred večkratno predstavitvijo poverilnic, ki vsebujejo identifikacijske podatke, za vsakodnevno avtentikacijo.
• Hramba identifikatorjev, časovnih žigov in dnevnikov, ki lahko rekonstruirajo zgodovino predstavitev. Oba, EUDI in AAMVA, zahtevata nasprotno.

Osrednji argument v enem stavku

Takojšnje preverjanje ne sme postati dovoljenje za nadzor na strani izdajatelja.

Prihodnje MDV bi moralo biti sposobno:

• Dokazati pristnost lokalno.
• Dokazati posest lokalno.
• Preveriti svežino zasebno.
• Prenašati realnost brez povezave.
• Delovati brezhibno, ko popolne informacije niso na voljo.

Nič od tega ne naredi sistema šibkejšega. Naredi ga vrednega uvajanja v velikem obsegu.

V trenutku, ko vozniška poverilnica postane orodje za beleženje, kdo je pokazal kaj, kje in kdaj, preneha biti varnejša različica papirja. Postane infrastruktura za opazovanje.

To je natanko to, kar bi prihodnje MDV moralo zavrniti postati.

Pogosto zastavljena vprašanja

Kaj je »preverjanje s klicem domov«?
To je vsak načrt, pri katerem preverjevalec v realnem času kontaktira izdajatelja za potrditev poverilnice. Čeprav hkrati rešuje pristnost in preklic, izdajatelju prav tako omogoča opazovanje vsakega dogodka predstavitve.

Ali ISO/IEC 18013-5 zahteva spletni stik z izdajateljem?
Ne. AAMVA potrjuje, da ISO/IEC 18013-5 zahteva podporo za pridobivanje prek naprave in le neobvezno dovoljuje pridobivanje prek strežnika.

Kako lahko preklic deluje brez stika z izdajateljem?
Prek kratkotrajnih poverilnic, seznamov statusa potrdil ali seznamov preklicanih potrdil – idealno, ko strankina stran statusne podatke prenese ločeno od predstavitev uporabnikov.

Zakaj je »skupinska zasebnost« pomembna za sezname statusa?
Če je seznam statusa premajhen ali so njegovi indeksi predvidljivi, lahko zahteva statusa razkrije, katera specifična poverilnica je bila ravnokar predstavljena. Naključni indeksi in veliki seznami to preprečujejo.

Ali je preverjanje brez povezave resnično izvedljivo?
Da – in standardizacijska telesa, vključno z AAMVA in EUDI, ga izrecno zahtevajo. Kompromis je v tem, da popolna svežina v realnem času ni združljiva s popolnim delovanjem brez povezave, zato mora svežina postati politična odločitev, ne trdna odvisnost.