Post-kvante-VPN-påstander: hvilken operasjon endret seg egentlig?

Post-kvante-VPN er en ufullstendig frase til noen sier hvilken operasjon som endret seg. Sesjonsnøkler kommer fra én operasjon, peer-autentisering fra en annen, og beskyttelsen av trafikken fra en tredje. Et produkt kan endre én av de tre mens markedsføringen antyder at alle tre er endret. Å skille de tre er derfor den første oppgaven når en påstand dukker opp, og det er også den siste folk gjør.

Sesjonsnøkler, peer-identitet, trafikkbeskyttelse: velg én

Frasen navngir en egenskap som ingen enkelt komponent eier alene. Sesjonsnøkler kommer ut av et nøkkeloppsettsteg, peer-identitet ut av en signatur eller sertifikatkjede, og trafikkbeskyttelse ut av symmetriske chiffere som begge ender utleder når det første steget er ferdig. En leverandør kan oppgradere én av dem og beskrive resultatet som et post-kvante-VPN uten å si noe usant. Leseren må selv finne ut hvilken påstand som ble fremsatt.

Nøkkeloppsett produserer det delte hemmelige materialet for en sesjon, og det er dette en fremtidig kvantedatamaskin angriper mest direkte, derfor får det oppmerksomheten. Autentisering er en annen oppgave, og ingen mengde post-kvante-nøkkelutveksling gjør en signatur post-kvante. De to oppgraderes uavhengig, og de fleste utrullinger vil gjøre nøyaktig det, én om gangen.

Hva de to standardene definerer, og hva de ikke gjør

Standardene fastsetter ordforrådet, og de fastsetter også hvor lite et navn beviser. ML-KEM, standardisert som FIPS 203, er en nøkkelinnkapslingsmekanisme: to parter utleder en delt hemmelighet over en offentlig kanal når de ikke allerede deler en. ML-DSA, standardisert som FIPS 204, er et signaturskjema, som svarer på identitetsspørsmålet og ikke på nøkkeloppsettsspørsmålet.

Ingen av dokumentene navngir en VPN-protokoll, en implementasjon eller en plassering i et håndtrykk, så en påstand om post-kvante-nøkkeloppsett er ikke automatisk en påstand om post-kvante-signaturer. Hvor en primitiv sitter i et håndtrykk tilhører den som skrev protokollen, og det er der den nyttige detaljen er. Spør etter algoritmen, parametersettet, punktet i håndtrykket der den deltar, og klient- og serverversjonene som støtter ordningen. Fire svar er nok til å prøve en påstand, og de fleste påstander overlever ikke det andre.

Hybrid er et design, så spør etter designet

Hybrid kombinerer en klassisk utveksling med en post-kvante, slik at sesjonen overlever hvis en av dem viser seg svak. Det er et forsvarlig ingeniørvalg og et konkret design, ikke en kategori. To hybrider kan kombinere ulike primitiver, ulike parametersett og ulik rekkefølge for nøkkelutledning, og etiketten alene skiller ingen av dem.

Be om spesifikasjonen eller i det minste den navngitte kombinasjonen, og bekreft deretter at begge parter forhandler om den, for en klient som stille faller tilbake til den klassiske halvdelen ender med en svakere egenskap enn dokumentasjonen antyder. Tilbakefallsveien er vanligvis den interessante delen av et design, og den er sjelden delen som beskrives først.

Bevis som en utrulling faktisk kan levere

En brukbar forklaring navngir tre konkrete ting: implementasjonen, oppdateringsprosessen bak den, og beviset for at den tiltenkte modusen er aktiv i utrullingen din. Disse tre kan en gjennomgåer kontrollere, og det er det som skiller dem fra resten av samtalen. En pakkefangst er ikke nok i seg selv, fordi den kan vise hvilken gruppe som ble forhandlet mens implementasjonen forblir ubevist og hver endepunkts integritet uundersøkt. Les standardens gjeldende notater og implementasjonens sikkerhetsvarsler, fordi publiseringssider har errata, og å navngi en standardisert algoritme er ikke det samme som å vedlikeholde koden bak den.

Bestem ut fra dataene du beskytter og hvor lenge de må forbli beskyttet. Den rammen slår både kollektiv avvisning av alt nytt og kollektiv tillit til alt merket. Den produserer også setningen de fleste anskaffelsesspørsmål egentlig ber om, nemlig den som navngir operasjonen som endret seg og beviset for at den gjorde det.

Delene en håndtrykkspåstand aldri dekker

Ingenting av dette handler om peer-identitet, for et post-kvante-håndtrykk med et dårlig verifisert sertifikat er fortsatt et håndtrykk med en uverifisert peer. Matematikken i utvekslingen reparerer ikke politikken rundt den, og ingen parametersett kompenserer for en kontroll som ble slått av. Kontosikkerhet, ruting, kompromittering av endepunkter og en operatørs datapraksis ligger også utenfor påstanden. En tunnel som tåler en fremtidig datamaskin kan fortsatt drives av noen som registrerer hver tilkobling, og for de fleste brukere betyr det gapet mer enn algoritmen.

Hold påstanden smal når du gjentar den. Den ærlige versjonen navngir operasjonen, siterer standarden, beskriver beviset og stopper der. Alt utover det er et annet løfte, og det trenger sitt eget bevis.