ادعاءات VPN ما بعد الكم: أي عملية تغيّرت فعلاً؟

عبارة VPN ما بعد الكم عبارة ناقصة ما لم يقل أحدهم أي عملية تغيّرت. مفاتيح الجلسة تأتي من عملية، ومصادقة الأقران من عملية أخرى، وحماية حركة المرور من عملية ثالثة. يمكن لمنتج أن يغيّر واحدة من هذه الثلاث بينما يوحي تسويقه بأن الثلاث كلها تغيّرت. لذلك فإن فصل الثلاث هو المهمة الأولى عند وصول ادعاء، وهو أيضًا آخر ما يفعله الناس.

مفاتيح الجلسة، هوية القرين، حماية الحركة: اختر واحدة

تسمّي العبارة خاصية لا يملكها أي مكوّن بمفرده. مفاتيح الجلسة تخرج من خطوة إنشاء المفاتيح، وهوية القرين من توقيع أو سلسلة شهادات، وحماية الحركة من شفرات متناظرة يستخرجها الطرفان بعد انتهاء الخطوة الأولى. يمكن لمورّد أن يرقّي واحدة منها ويصف النتيجة بأنها VPN ما بعد الكم دون أن يقول شيئًا غير صحيح. وعلى القارئ أن يستنتج أي عبارة قيلت.

إنشاء المفاتيح ينتج المادة السرية المشتركة للجلسة، وهو ما يهاجمه حاسوب كمّي مستقبلي بأكثر مباشرة، ولهذا يحظى بالاهتمام. المصادقة وظيفة مختلفة، ولا يجعل أي قدر من تبادل المفاتيح ما بعد الكم التوقيعَ ما بعد كمّي. والترقيتان مستقلتان، ومعظم عمليات النشر ستفعل ذلك بالضبط، واحدة في كل مرة.

ما يحدده المعياران وما لا يحددانه

تحسم المعايير المصطلحات، وتحسم أيضًا كم يثبت الاسم القليل. إن ML-KEM، المعياري باسم FIPS 203، آلية لتغليف المفاتيح: يستخرج طرفان سرًّا مشتركًا عبر قناة عامة حين لا يكون لديهما سر مشترك مسبقًا. وإن ML-DSA، المعياري باسم FIPS 204، مخطط توقيع، يجيب عن سؤال الهوية لا عن سؤال إنشاء المفاتيح.

لا تسمّي أي من الوثيقتين بروتوكول VPN ولا تطبيقًا ولا موضعًا في مصافحة، لذا فالقول عن إنشاء مفاتيح ما بعد الكم ليس تلقائيًا قولًا عن توقيعات ما بعد الكم. أما موقع البدائية داخل المصافحة فيعود إلى من كتب البروتوكول، وهناك تكمن التفصيلات المفيدة. اسأل عن الخوارزمية ومجموعة المعاملات وموضعها في المصافحة وإصدارات العميل والخادم التي تدعم هذا الترتيب. أربعة أجوبة تكفي لاختبار ادعاء، ومعظم الادعاءات لا تصمد أمام الجواب الثاني.

الهجين تصميم، فاسأل عن التصميم

يجمع الهجين بين تبادل كلاسيكي وآخر ما بعد كمّي كي تصمد الجلسة إن تبيّن أن أحدهما ضعيف. وهذا خيار هندسي سليم وتصميم محدد لا فئة. ويمكن لهجينين أن يجمّعا بدائيات مختلفة ومجموعات معاملات مختلفة وترتيبات مختلفة لاشتقاق المفاتيح، والاسم وحده لا يميّز أيًّا منها.

اطلب المواصفة أو على الأقل التوليفة المسمّاة، ثم تأكد من أن كلا القرينين يتفاوضان عليها، لأن عميلًا يتراجع بصمت إلى الشق الكلاسيكي ينتهي بخاصية أضعف مما توحي وثائقه. ومسار التراجع هو عادة الجزء المثير في التصميم، وهو نادرًا الجزء الذي يُوصف أولًا.

دليل يستطيع النشر فعلاً تقديمه

يسمّي التفسير المفيد ثلاثة أشياء ملموسة: التطبيق، وعملية التحديث خلفه، والدليل على أن الوضع المقصود مفعّل في نشرك. وهذه الثلاثة يستطيع مراجع فحصها، وهذا ما يفصلها عن بقية الحديث. والتقاط الحزم لا يكفي بذاته، لأنه قد يبيّن أي مجموعة فُووض عليها بينما يترك التطبيق غير مُثبت وسلامة كل طرف غير مفحوصة. اقرأ ملاحظات المعيار الحالية وتنبيهات التطبيق، لأن صفحات النشر تحمل تصحيحات، ولأن تسمية خوارزمية معيارية ليست مثل صيانة الشيفرة خلفها.

قرّر بحسب البيانات التي تحميها وكم يجب أن تبقى محمية. هذا الإطار أفضل من الرفض الشامل لكل جديد والثقة الشاملة بكل ما يُوسم بوسم. وهو ينتج أيضًا الجملة التي تطلبها معظم أسئلة الشراء فعلاً، والتي تسمّي العملية التي تغيّرت والدليل على أنها تغيّرت.

ما لا يغطيه ادعاء المصافحة أبدًا

لا يعالج أي من ذلك هوية القرين، لأن مصافحة ما بعد كم مع شهادة سيّئة التحقق تبقى مصافحة مع قرين غير متحقق منه. ورياضيات التبادل لا تصلح السياسة المحيطة بها، ولا مجموعة معاملات تعوّض عن فحص أُوقف. وأمن الحسابات والتوجيه واختراق الأطراف وممارسات بيانات المشغّل تقع خارج الادعاء أيضًا. فالنفق الذي يقاوم حاسوبًا مستقبليًا يمكن أن يديره من يسجّل كل اتصال، ولمعظم المستخدمين تلك الفجوة أهم من الخوارزمية.

اجعل الادعاء ضيقًا حين تكرره. النسخة الأمينة تسمّي العملية، وتستشهد بالمعيار، وتصف الدليل، وتتوقف عند هذا الحد. وكل ما بعد ذلك وعد مختلف، ويحتاج إلى دليله الخاص.