Twierdzenia o VPN postkwantowym: która operacja naprawdę się zmieniła?

VPN postkwantowy to niepełne określenie, dopóki ktoś nie powie, która operacja się zmieniła. Klucze sesji pochodzą z jednej operacji, uwierzytelnianie partnera z innej, a ochrona ruchu z trzeciej. Produkt może zmienić jedną z tych trzech, podczas gdy jego marketing sugeruje, że zmieniły się wszystkie. Rozdzielenie tych trzech jest więc pierwszym zadaniem, gdy pojawia się twierdzenie, i zarazem ostatnim, które ludzie wykonują.

Klucze sesji, tożsamość partnera, ochrona ruchu: wybierz jedną

To określenie nazywa właściwość, której nie ma żaden pojedynczy komponent. Klucze sesji wychodzą z kroku ustalania kluczy, tożsamość partnera z podpisu lub łańcucha certyfikatów, a ochrona ruchu z szyfrów symetrycznych, które obie strony wyprowadzają po zakończeniu pierwszego kroku. Dostawca może ulepszyć jedną z nich i opisać wynik jako VPN postkwantowy, nie mówiąc nic fałszywego. Czytelnik sam musi ustalić, jakie twierdzenie zostało postawione.

Ustalanie kluczy wytwarza wspólny tajny materiał dla sesji i właśnie na to przyszły komputer kwantowy atakuje najbardziej bezpośrednio, dlatego to skupia uwagę. Uwierzytelnianie to inne zadanie, a żadna ilość wymiany kluczy postkwantowych nie czyni podpisu postkwantowym. Oba są ulepszane niezależnie i większość wdrożeń zrobi dokładnie tak, po jednym na raz.

Co dwa standardy określają, a czego nie

Standardy ustalają słownictwo, a także ustalają, jak niewiele dowodzi nazwa. ML-KEM, standaryzowany jako FIPS 203, to mechanizm kapsułkowania kluczy: dwie strony wyprowadzają wspólny sekret kanałem publicznym, gdy jeszcze go nie mają. ML-DSA, standaryzowany jako FIPS 204, to schemat podpisu, który odpowiada na pytanie o tożsamość, a nie na pytanie o ustalanie kluczy.

Żaden z dokumentów nie nazywa protokołu VPN, implementacji ani miejsca w uścisku dłoni, więc twierdzenie o postkwantowym ustalaniu kluczy nie jest automatycznie twierdzeniem o podpisach postkwantowych. To, gdzie w uścisku dłoni siedzi prymityw, należy do autora protokołu, i tam jest przydatny szczegół. Pytaj o algorytm, zestaw parametrów, punkt w uścisku dłoni, w którym uczestniczy, oraz wersje klienta i serwera, które obsługują ten układ. Cztery odpowiedzi wystarczą, by sprawdzić twierdzenie, a większość twierdzeń nie przetrwa drugiej.

Hybryda to projekt, więc pytaj o projekt

Hybryda łączy wymianę klasyczną z postkwantową, aby sesja przetrwała, jeśli jedna z nich okaże się słaba. To rozsądny wybór inżynierski i konkretny projekt, nie kategoria. Dwie hybrydy mogą łączyć różne prymitywy, różne zestawy parametrów i różną kolejność wyprowadzania kluczy, a sama etykieta nie odróżnia żadnej z nich.

Poproś o specyfikację lub przynajmniej o nazwaną kombinację, a następnie potwierdź, że obie strony ją negocjują, bo klient, który po cichu wraca do połowy klasycznej, kończy ze słabszą właściwością, niż sugeruje jego dokumentacja. Ścieżka powrotu jest zwykle ciekawą częścią projektu i rzadko jest częścią opisywaną jako pierwsza.

Dowód, który wdrożenie naprawdę może przedstawić

Przydatne wyjaśnienie nazywa trzy konkretne rzeczy: implementację, proces aktualizacji za nią i dowód, że zamierzony tryb jest aktywny w twoim wdrożeniu. Te trzy może sprawdzić recenzent, i to odróżnia je od reszty rozmowy. Sam zrzut pakietów nie wystarcza, bo może pokazać, która grupa została wynegocjowana, ale pozostawia implementację nieudowodnioną, a integralność każdego punktu końcowego niezbadaną. Czytaj aktualne uwagi standardu i komunikaty implementacji, bo strony publikacji zawierają errata, a nazwanie znormalizowanego algorytmu to nie to samo co utrzymywanie stojącego za nim kodu.

Decyduj według danych, które chronisz, i tego, jak długo muszą być chronione. Ta rama bije zarówno zbiorcze odrzucanie wszystkiego, co nowe, jak i zbiorcze zaufanie do wszystkiego z etykietą. Daje też zdanie, o które naprawdę prosi większość pytań zakupowych, czyli to, które nazywa zmienioną operację i dowód, że się zmieniła.

Części, których twierdzenie o uścisku dłoni nigdy nie obejmuje

Nic z tego nie dotyczy tożsamości partnera, bo postkwantowy uścisk dłoni ze słabo zweryfikowanym certyfikatem wciąż jest uściskiem dłoni z niezweryfikowanym partnerem. Matematyka wymiany nie naprawia otaczającej jej polityki, a żaden zestaw parametrów nie rekompensuje wyłączonego sprawdzenia. Bezpieczeństwo kont, trasowanie, kompromitacja punktu końcowego i praktyki danych operatora również leżą poza twierdzeniem. Tunel, który wytrzyma przyszły komputer, nadal może być prowadzony przez kogoś, kto rejestruje każde połączenie, a dla większości użytkowników ta luka znaczy więcej niż algorytm.

Trzymaj twierdzenie wąskie, gdy je powtarzasz. Uczciwa wersja nazywa operację, cytuje standard, opisuje dowód i na tym się zatrzymuje. Wszystko dalej to inna obietnica, a ona wymaga własnego dowodu.