Afirmacions de VPN postquàntica: quina operació ha canviat realment?

La VPN postquàntica és una expressió incompleta fins que algú diu quina operació ha canviat. Les claus de sessió venen d’una operació, l’autenticació de l’igual d’una altra, i la protecció del trànsit d’una tercera. Un producte pot canviar-ne una de les tres mentre el seu màrqueting insinua que han canviat totes. Separar les tres és, doncs, la primera tasca quan arriba una afirmació, i també l’última que fa la gent.

Claus de sessió, identitat de l’igual, protecció del trànsit: trieu-ne una

L’expressió anomena una propietat que cap component posseeix sol. Les claus de sessió surten d’un pas d’establiment de claus, la identitat de l’igual d’una signatura o d’una cadena de certificats, i la protecció del trànsit de xifratges simètrics que tots dos extrems deriven quan acaba el primer pas. Un proveïdor pot millorar-ne un i descriure el resultat com una VPN postquàntica sense dir res fals. El lector ha d’esbrinar quina afirmació s’ha fet.

L’establiment de claus produeix el material secret compartit d’una sessió, i és el que un ordinador quàntic futur atacarà més directament, per això rep l’atenció. L’autenticació és una altra feina, i cap quantitat d’intercanvi de claus postquàntic fa postquàntica una signatura. Les dues es milloren de manera independent, i la majoria de desplegaments faran exactament això, una a la vegada.

Què defineixen els dos estàndards i què no

Els estàndards fixen el vocabulari i també fixen com de poc demostra un nom. ML-KEM, estandarditzat com a FIPS 203, és un mecanisme d’encapsulació de claus: dues parts deriven un secret compartit per un canal públic quan encara no en comparteixen cap. ML-DSA, estandarditzat com a FIPS 204, és un esquema de signatura, que respon la pregunta d’identitat i no la d’establiment de claus.

Cap dels dos documents no anomena un protocol VPN, una implementació ni una posició en un handshake, així que una afirmació sobre l’establiment de claus postquàntic no és automàticament una afirmació sobre signatures postquàntiques. On se situa una primitiva en un handshake pertoca a qui va escriure el protocol, i és aquí on hi ha el detall útil. Demaneu l’algorisme, el conjunt de paràmetres, el punt del handshake on participa i les versions de client i servidor que donen suport a aquesta disposició. Quatre respostes n’hi ha prou per posar a prova una afirmació, i la majoria d’afirmacions no passen la segona.

Híbrid és un disseny, així que demaneu el disseny

Híbrid combina un intercanvi clàssic amb un de postquàntic perquè la sessió sobrevisqui si un dels dos resulta feble. És una elecció d’enginyeria sòlida i un disseny concret, no una categoria. Dos híbrids poden combinar primitives diferents, conjunts de paràmetres diferents i ordres diferents de derivació de claus, i l’etiqueta sola no en distingeix cap.

Demaneu l’especificació o almenys la combinació anomenada, i després confirmeu que tots dos iguals hi negocien, perquè un client que recula silenciosament a la meitat clàssica acaba amb una propietat més feble del que suggereix la seva documentació. El camí de reculada sol ser la part interessant d’un disseny, i rares vegades és la part que es descriu primer.

Prova que un desplegament pot produir de debò

Una explicació útil anomena tres coses concretes: la implementació, el procés d’actualització que hi ha al darrere i l’evidència que el mode previst està actiu al vostre desplegament. Aquestes tres les pot comprovar un revisor, i això és el que les separa de la resta de la conversa. Una captura de paquets no n’hi ha prou, perquè pot mostrar quin grup s’ha negociat mentre deixa la implementació no provada i la integritat de cada extrem sense examinar. Llegiu les notes actuals de l’estàndard i els avisos de la implementació, perquè les pàgines de publicació porten errates i anomenar un algorisme estandarditzat no és el mateix que mantenir el codi que hi ha al darrere.

Decidiu segons les dades que protegiu i quant de temps han d’estar protegides. Aquest plantejament supera tant el rebuig indiscriminat de tot el que és nou com la confiança indiscriminada en tot el que porta etiqueta. També produeix la frase que la majoria de preguntes de compra demanen de debò, la que anomena l’operació que ha canviat i l’evidència que ho ha fet.

Les parts que una afirmació de handshake mai no cobreix

Res d’això no tracta la identitat de l’igual, perquè un handshake postquàntic amb un certificat mal verificat continua sent un handshake amb un igual no verificat. Les matemàtiques de l’intercanvi no reparen la política que l’envolta, i cap conjunt de paràmetres compensa una comprovació que s’ha desactivat. La seguretat dels comptes, l’encaminament, el compromís dels extrems i les pràctiques de dades d’un operador també queden fora de l’afirmació. Un túnel que resisteix un ordinador futur encara pot ser operat per algú que enregistra cada connexió, i per a la majoria d’usuaris aquesta escletxa importa més que l’algorisme.

Mantingueu l’afirmació estreta quan la repetiu. La versió honesta anomena l’operació, cita l’estàndard, descriu l’evidència i s’atura aquí. Qualsevol cosa més enllà és una altra promesa, i necessita la seva pròpia prova.