Promesse di VPN post-quantum: quale operazione è cambiata davvero?

Il VPN post-quantum è un’espressione incompleta finché qualcuno non dice quale operazione è cambiata. Le chiavi di sessione vengono da un’operazione, l’autenticazione del pari da un’altra e la protezione del traffico da una terza. Un prodotto può cambiarne una delle tre mentre il suo marketing lascia intendere che siano cambiate tutte. Separare le tre è quindi il primo compito quando arriva una promessa, ed è anche l’ultimo che le persone svolgono.

Chiavi di sessione, identità del pari, protezione del traffico: sceglietene una

L’espressione nomina una proprietà che nessun componente possiede da solo. Le chiavi di sessione escono da una fase di stabilimento delle chiavi, l’identità del pari da una firma o da una catena di certificati, e la protezione del traffico da cifrari simmetrici che entrambe le estremità derivano al termine della prima fase. Un fornitore può potenziarne uno e descrivere il risultato come un VPN post-quantum senza affermare nulla di falso. Il lettore deve capire da solo quale affermazione è stata fatta.

Lo stabilimento delle chiavi produce il materiale segreto condiviso di una sessione, ed è ciò che un futuro computer quantistico attaccherà più direttamente, per questo riceve l’attenzione. L’autenticazione è un altro lavoro, e nessuna quantità di scambio di chiavi post-quantum rende una firma post-quantum. Le due si potenziano in modo indipendente, e la maggior parte delle implementazioni farà esattamente questo, una alla volta.

Che cosa definiscono i due standard e che cosa no

Gli standard fissano il vocabolario e fissano anche quanto poco dimostra un nome. ML-KEM, standardizzato come FIPS 203, è un meccanismo di incapsulamento delle chiavi: due parti derivano un segreto condiviso su un canale pubblico quando non ne hanno ancora uno. ML-DSA, standardizzato come FIPS 204, è uno schema di firma, che risponde alla domanda sull’identità e non a quella sullo stabilimento delle chiavi.

Nessuno dei due documenti nomina un protocollo VPN, un’implementazione o una posizione in una stretta di mano, quindi un’affermazione sullo stabilimento di chiavi post-quantum non è automaticamente un’affermazione sulle firme post-quantum. Dove si colloca una primitiva in una stretta di mano spetta a chi ha scritto il protocollo, ed è lì che si trova il dettaglio utile. Chiedete l’algoritmo, l’insieme di parametri, il punto della stretta di mano in cui partecipa e le versioni di client e server che supportano questa disposizione. Quattro risposte bastano a mettere alla prova un’affermazione, e la maggior parte non supera la seconda.

L’ibrido è un progetto, quindi chiedete il progetto

L’ibrido combina uno scambio classico con uno post-quantum perché la sessione sopravviva se uno dei due si rivela debole. È una scelta ingegneristica solida e un progetto preciso, non una categoria. Due ibridi possono combinare primitive diverse, insiemi di parametri diversi e ordini diversi di derivazione delle chiavi, e l’etichetta da sola non ne distingue nessuno.

Chiedete la specifica o almeno la combinazione nominata, poi confermate che entrambi i pari la negoziano, perché un client che ricade silenziosamente sulla metà classica finisce con una proprietà più debole di quanto la sua documentazione suggerisca. Il percorso di ricaduta è di solito la parte interessante di un progetto, e raramente è la parte descritta per prima.

La prova che un’implementazione può davvero fornire

Una spiegazione utile nomina tre cose concrete: l’implementazione, il processo di aggiornamento che c’è dietro e la prova che la modalità prevista è attiva nella vostra implementazione. Queste tre un revisore può verificarle, ed è ciò che le distingue dal resto della conversazione. Una cattura di pacchetti non basta da sola, perché può mostrare quale gruppo è stato negoziato lasciando l’implementazione non provata e l’integrità di ogni estremità non esaminata. Leggete le note attuali dello standard e gli avvisi dell’implementazione, perché le pagine di pubblicazione contengono errata e nominare un algoritmo standardizzato non è lo stesso che mantenere il codice che gli sta dietro.

Decidete in base ai dati che proteggete e a quanto a lungo devono restare protetti. Questa impostazione batte sia il rifiuto indiscriminato di ogni novità sia la fiducia indiscriminata in tutto ciò che porta un’etichetta. Produce anche la frase che la maggior parte delle domande di acquisto chiede davvero, quella che nomina l’operazione cambiata e la prova che lo è stata.

Le parti che un’affermazione sulla stretta di mano non copre mai

Niente di tutto questo riguarda l’identità del pari, perché una stretta di mano post-quantum con un certificato verificato male resta una stretta di mano con un pari non verificato. La matematica dello scambio non ripara la politica che lo circonda, e nessun insieme di parametri compensa un controllo disattivato. La sicurezza degli account, l’instradamento, il compromesso degli endpoint e le pratiche sui dati di un operatore restano anch’essi fuori dall’affermazione. Un tunnel che resiste a un computer futuro può ancora essere gestito da qualcuno che registra ogni connessione, e per la maggior parte degli utenti quel divario conta più dell’algoritmo.

Tenete l’affermazione stretta quando la ripetete. La versione onesta nomina l’operazione, cita lo standard, descrive la prova e si ferma lì. Qualunque cosa oltre quel punto è un’altra promessa, e richiede la propria prova.