Trditve o postkvantnem VPN: katera operacija se je resnično spremenila?

Postkvantni VPN je nepopoln izraz, dokler nekdo ne pove, katera operacija se je spremenila. Ključi seje prihajajo iz ene operacije, preverjanje pristnosti partnerja iz druge, zaščita prometa pa iz tretje. Izdelek lahko spremeni eno od teh treh, medtem ko njegovo trženje nakazuje, da so se spremenile vse. Zato je ločevanje teh treh prva naloga, ko pride trditev, in hkrati zadnja, ki jo ljudje opravijo.

Ključi seje, identiteta partnerja, zaščita prometa: izberite eno

Izraz poimenuje lastnost, ki je nima nobena posamezna komponenta. Ključi seje izhajajo iz koraka vzpostavljanja ključev, identiteta partnerja iz podpisa ali verige potrdil, zaščita prometa pa iz simetričnih šifer, ki jih oba konca izpeljeta, ko je prvi korak končan. Ponudnik lahko eno od teh izboljša in rezultat opiše kot postkvantni VPN, ne da bi povedal kaj napačnega. Bralec mora sam ugotoviti, katera trditev je bila podana.

Vzpostavljanje ključev ustvari skupno tajno gradivo za sejo in prav nanj se prihodnji kvantni računalnik usmeri najbolj neposredno, zato je deležno pozornosti. Preverjanje pristnosti je druga naloga in nobena količina postkvantne izmenjave ključev ne naredi podpisa postkvantnega. Oba se izboljšujeta neodvisno in večina uvedb bo storila prav to, eno za drugo.

Kaj dva standarda določata in česa ne

Standardi določajo izrazje in določajo tudi, kako malo dokazuje ime. ML-KEM, standardiziran kot FIPS 203, je mehanizem zapiranja ključev: dve strani izpeljeta skupno skrivnost po javnem kanalu, ko je še nimata. ML-DSA, standardiziran kot FIPS 204, je shema podpisa, ki odgovarja na vprašanje identitete in ne na vprašanje vzpostavljanja ključev.

Nobeden od dokumentov ne poimenuje protokola VPN, izvedbe ali položaja v rokovanju, zato trditev o postkvantnem vzpostavljanju ključev ni samodejno trditev o postkvantnih podpisih. Kje primitiv sedi v rokovanju, pripada tistemu, ki je napisal protokol, in tam je koristna podrobnost. Vprašajte za algoritem, nabor parametrov, točko v rokovanju, kjer sodeluje, in različici odjemalca in strežnika, ki podpirata to ureditev. Štirje odgovori zadostujejo za preizkus trditve in večina trditev ne prestane drugega.

Hibrid je zasnova, zato vprašajte za zasnovo

Hibrid združi klasično izmenjavo s postkvantno, da seja preživi, če se ena izkaže za šibko. To je zdrava inženirska izbira in konkretna zasnova, ne kategorija. Dva hibrida lahko združita različne primitive, različne nabore parametrov in različen vrstni red izpeljave ključev, sama oznaka pa ne loči nobenega od njih.

Zahtevajte specifikacijo ali vsaj imenovano kombinacijo in nato potrdite, da se oba partnerja o njej dogovarjata, ker odjemalec, ki tiho pade na klasično polovico, konča s šibkejšo lastnostjo, kot jo nakazuje njegova dokumentacija. Pot umika je običajno zanimivi del zasnove in le redko je del, ki je opisan prvi.

Dokaz, ki ga uvedba res lahko da

Koristna razlaga poimenuje tri konkretne stvari: izvedbo, postopek posodabljanja za njo in dokaz, da je predvideni način v vaši uvedbi aktiven. Te tri lahko pregledovalec preveri in prav to jih loči od preostanka pogovora. Sam zajem paketov ne zadostuje, ker lahko pokaže, katera skupina je bila dogovorjena, izvedba pa ostane nedokazana in celovitost vsakega konca nepreverjena. Berite veljavne opombe standarda in obvestila izvedbe, ker strani objav vsebujejo popravke in poimenovanje standardiziranega algoritma ni isto kot vzdrževanje kode za njim.

Odločajte se glede na podatke, ki jih ščitite, in glede na to, kako dolgo morajo ostati zaščiteni. Ta okvir je boljši od množičnega zavračanja vsega novega in množičnega zaupanja vsemu z oznako. Ustvari tudi stavek, ki ga večina nabavnih vprašanj dejansko zahteva, tistega, ki poimenuje spremenjeno operacijo in dokaz zanjo.

Deli, ki jih trditev o rokovanju nikoli ne pokrije

Nič od tega ne obravnava identitete partnerja, ker je postkvantno rokovanje s slabo preverjenim potrdilom še vedno rokovanje z nepreverjenim partnerjem. Matematika izmenjave ne popravi politike okoli nje in noben nabor parametrov ne nadomesti izklopljenega preverjanja. Varnost računov, usmerjanje, kompromitacija končne točke in podatkovne prakse operaterja prav tako ostajajo zunaj trditve. Tunel, ki se upre prihodnjemu računalniku, lahko še vedno vodi nekdo, ki beleži vsako povezavo, in za večino uporabnikov je ta vrzel pomembnejša od algoritma.

Držite trditev ozko, ko jo ponavljate. Poštena različica poimenuje operacijo, navede standard, opiše dokaz in se tam ustavi. Vse onkraj te točke je druga obljuba in potrebuje svoj dokaz.