Postkvant-VPN-påståenden: vilken operation ändrades egentligen?

Postkvant-VPN är en ofullständig fras tills någon säger vilken operation som ändrades. Sessionsnycklar kommer från en operation, peer-autentisering från en annan och skyddet av trafiken från en tredje. En produkt kan ändra en av de tre medan marknadsföringen antyder att alla tre har ändrats. Att skilja de tre åt är därför den första uppgiften när ett påstående dyker upp, och det är också det sista folk gör.

Sessionsnycklar, peer-identitet, trafikskydd: välj en

Frasen namnger en egenskap som ingen enskild komponent äger på egen hand. Sessionsnycklar kommer ur ett nyckeletableringssteg, peer-identitet ur en signatur eller certifikatkedja, och trafikskydd ur symmetriska chiffer som båda ändar härleder när det första steget är klart. En leverantör kan uppgradera en av dem och beskriva resultatet som ett postkvant-VPN utan att säga något osant. Läsaren måste själv ta reda på vilket påstående som gjordes.

Nyckeletablering producerar det delade hemliga materialet för en session, och det är detta en framtida kvantdator angriper mest direkt, därför får det uppmärksamheten. Autentisering är en annan uppgift, och ingen mängd postkvant-nyckelutbyte gör en signatur postkvant. De två uppgraderas oberoende av varandra, och de flesta utrullningar kommer att göra precis det, en i taget.

Vad de två standarderna definierar och vad de inte gör

Standarderna fastställer terminologin, och de fastställer också hur lite ett namn bevisar. ML-KEM, standardiserat som FIPS 203, är en nyckelinkapslingsmekanism: två parter härleder en delad hemlighet över en offentlig kanal när de inte redan har en. ML-DSA, standardiserat som FIPS 204, är ett signaturschema, som svarar på identitetsfrågan och inte på frågan om nyckeletablering.

Inget av dokumenten namnger ett VPN-protokoll, en implementering eller en position i en handskakning, så ett påstående om postkvant-nyckeletablering är inte automatiskt ett påstående om postkvant-signaturer. Var en primitiv sitter i en handskakning tillhör den som skrev protokollet, och det är där den användbara detaljen finns. Fråga efter algoritmen, parameteruppsättningen, punkten i handskakningen där den deltar, och de klient- och serverversioner som stöder arrangemanget. Fyra svar räcker för att pröva ett påstående, och de flesta påståenden överlever inte det andra.

Hybrid är en design, så fråga efter designen

Hybrid kombinerar ett klassiskt utbyte med ett postkvant så att sessionen överlever om en av dem visar sig svag. Det är ett sunt ingenjörsval och en konkret design, inte en kategori. Två hybrider kan kombinera olika primitiver, olika parameteruppsättningar och olika ordningar för nyckelhärledning, och etiketten ensam skiljer ingen av dem.

Be om specifikationen eller åtminstone den namngivna kombinationen och bekräfta sedan att båda parter förhandlar om den, eftersom en klient som tyst faller tillbaka på den klassiska halvan slutar med en svagare egenskap än dokumentationen antyder. Återfalls vägen är oftast den intressanta delen av en design, och den är sällan den del som beskrivs först.

Bevis som en utrullning faktiskt kan leverera

En användbar förklaring namnger tre konkreta saker: implementeringen, uppdateringsprocessen bakom den och beviset för att det avsedda läget är aktivt i din utrullning. Dessa tre kan en granskare kontrollera, och det är det som skiljer dem från resten av samtalet. En paketavlyssning räcker inte i sig, eftersom den kan visa vilken grupp som förhandlades fram medan implementeringen förblir obevisad och varje ändpunkts integritet outredd. Läs standardens aktuella noteringar och implementeringens säkerhetsmeddelanden, eftersom publiceringssidor innehåller errata och att namnge en standardiserad algoritm inte är samma sak som att underhålla koden bakom den.

Bestäm utifrån de data du skyddar och hur länge de måste förbli skyddade. Den ramen slår både kollektivt avvisande av allt nytt och kollektiv tillit till allt märkt. Den producerar också meningen som de flesta upphandlingsfrågor egentligen efterfrågar, den som namnger operationen som ändrades och beviset för att den gjorde det.

Delarna som ett handskakningspåstående aldrig täcker

Inget av detta handlar om peer-identitet, för en postkvant-handskakning med ett dåligt verifierat certifikat är fortfarande en handskakning med en overifierad peer. Matematiken i utbytet lagar inte politiken runt det, och ingen parameteruppsättning kompenserar för en kontroll som slagits av. Kontosäkerhet, routing, kompromettering av ändpunkter och en operatörs datapraxis ligger också utanför påståendet. En tunnel som står emot en framtida dator kan fortfarande drivas av någon som registrerar varje anslutning, och för de flesta användare betyder den luckan mer än algoritmen.

Håll påståendet snävt när du upprepar det. Den ärliga versionen namnger operationen, citerar standarden, beskriver beviset och stannar där. Allt bortom den punkten är ett annat löfte, och det behöver sitt eget bevis.