Post-kvante-VPN-påstandar: kva operasjon endra seg eigentleg?

Post-kvante-VPN er ein ufullstendig frase til nokon seier kva operasjon som endra seg. Sesjonsnøklar kjem frå éin operasjon, peer-autentisering frå ein annan, og vernet av trafikken frå ein tredje. Eit produkt kan endre éin av dei tre medan marknadsføringa antydar at alle tre er endra. Å skilje dei tre er difor den første oppgåva når ein påstand dukkar opp, og det er også den siste folk gjer.

Sesjonsnøklar, peer-identitet, trafikkvern: vel éin

Frasen namngjev ein eigenskap som ingen enkelt komponent eig åleine. Sesjonsnøklar kjem ut av eit nøkkeloppsettsteg, peer-identitet ut av ein signatur eller ein sertifikatkjede, og trafikkvern ut av symmetriske chiffre som begge endar leier ut når det første steget er ferdig. Ein leverandør kan oppgradere éin av dei og skildre resultatet som eit post-kvante-VPN utan å seie noko usant. Lesaren må sjølv finne ut kva påstand som vart framsett.

Nøkkeloppsett produserer det delte hemmelege materialet for ein sesjon, og det er dette ein framtidig kvatndatamaskin angrip mest direkte, difor får det merksemda. Autentisering er ei anna oppgåve, og inga mengd post-kvante-nøkkelutveksling gjer ein signatur post-kvante. Dei to vert oppgraderte uavhengig, og dei fleste utrullingar vil gjere nøyaktig det, éin om gongen.

Kva dei to standardane definerer, og kva dei ikkje gjer

Standardane fastset ordtilfanget, og dei fastset også kor lite eit namn beviser. ML-KEM, standardisert som FIPS 203, er ein nøkkelinnkapslingsmekanisme: to partar leier ut ein delt hemmelegheit over ein open kanal når dei ikkje allereie deler ein. ML-DSA, standardisert som FIPS 204, er eit signaturskjema, som svarar på identitetsspørsmålet og ikkje på nøkkeloppsettsspørsmålet.

Ingen av dokumenta namngjev ein VPN-protokoll, ein implementasjon eller ein plassering i eit handtrykk, så ein påstand om post-kvante-nøkkeloppsett er ikkje automatisk ein påstand om post-kvante-signaturar. Kvar ein primitiv sit i eit handtrykk høyrer til den som skreiv protokollen, og det er der den nyttige detaljen er. Spør etter algoritmen, parametersettet, punktet i handtrykket der han deltek, og klient- og serverversjonane som støttar ordninga. Fire svar er nok til å prøve ein påstand, og dei fleste påstandar overlever ikkje det andre.

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

Hybrid kombinerer ein klassisk utveksling med ein post-kvante, slik at sesjonen overlever om ein av dei viser seg svak. Det er eit forsvarleg ingeniørval og eit konkret design, ikkje ein kategori. To hybridar kan kombinere ulike primitiv, ulike parametersett og ulik rekkjefølgje for nøkkelutleiing, og etiketten åleine skil ingen av dei.

Be om spesifikasjonen eller i det minste den namngjevne kombinasjonen, og stadfest deretter at begge partar forhandlar om han, for ein klient som stille fell tilbake til den klassiske halvdelen endar med ein svakare eigenskap enn dokumentasjonen antydar. Tilbakefallsvegen er vanlegvis den interessante delen av eit design, og han er sjeldan delen som vert skildra først.

Bevis som ein utrulling faktisk kan levere

Ei brukbar forklaring namngjev tre konkrete ting: implementasjonen, oppdateringsprosessen bak han, og beviset for at den tiltenkte modusen er aktiv i utrullinga di. Desse tre kan ein gjennomgåar kontrollere, og det er det som skil dei frå resten av samtalen. Ein pakkefangst er ikkje nok i seg sjølv, fordi han kan vise kva gruppe som vart forhandla medan implementasjonen blir ståande ubevist og integriteten til kvar endepunkt uundersøkt. Les dei gjeldande notata til standarden og sikkerheitsmeldingane til implementasjonen, fordi publiseringssider har errata, og å namngje ein standardisert algoritme er ikkje det same som å vedlikehalde koden bak han.

Avgjer ut frå dataa du vernar og kor lenge dei må vere verna. Den ramma slår både kollektiv avvising av alt nytt og kollektiv tillit til alt merkt. Ho produserer også setninga dei fleste anskaffingsspørsmål eigentleg ber om, nemleg den som namngjev operasjonen som endra seg og beviset for at han gjorde det.

Delane ein handtrykkspåstand aldri dekkjer

Ingenting av dette handlar om peer-identitet, for eit post-kvante-handtrykk med eit dårleg verifisert sertifikat er framleis eit handtrykk med ein uverifisert peer. Matematikken i utvekslinga reparerer ikkje politikken rundt han, og ingen parametersett kompenserer for ein kontroll som vart slått av. Kontosikkerheit, ruting, kompromittering av endepunkt og datapraksisen til ein operatør ligg også utanfor påstanden. Ein tunnel som toler ein framtidig datamaskin kan framleis drivast av nokon som registrerer kvar tilkopling, og for dei fleste brukarar betyr det gapet meir enn algoritmen.

Hald påstanden smal når du gientek han. Den ærlege versjonen namngjev operasjonen, siterer standarden, skildrar beviset og stoppar der. Alt utover det er eit anna løfte, og det treng sitt eige bevis.