From Public-Key Linting to Operational Post-Quantum X.509 Assurance for ML-KEM and ML-DSA: Registry-Driven Policy, Mutation-Based Evaluation, and Import Validation
تقدم هذه الورقة إطار عمل لضمان الجودة يعتمد على السجل والتحوير، والذي ينجح في التحقق من ML-KEM وML-DSA في شهادات X.509 لما بعد الكوانتوم وعمليات استيراد المفاتيح الخاصة، مبرهناً على دقة كشف فائقة وصفر من الإيجابيات الكاذبة مقارنة بالنماذج المرجعية الحالية لتدقيق الأخطاء البرمجية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تبني حصناً لحماية أسرارك الأكثر قيمة من عدو مستقبلي: الحواسيب الكمومية. ستكون هذه الحواسيب الخارقة قوية لدرجة أنها ستتمكن من كسر الأقفال الرقمية اليوم. ولإيقاف ذلك، اخترع علماء التشفير أقفالاً جديدة "ما بعد كمومية" (تسمى ML-KEM و ML-DSA).
لقد انتهت الحكومات والهيئات المعيارية أخيراً من كتابة كتيب القواعد. قالوا: "هذا هو المخطط. إذا اتبعت هذه القواعد، فإن قفلك سيكون آمناً".
ولكن تكمن المشكلة هنا: مجرد امتلاك مخطط لا يعني أن المنزل آمن.
- هل اتبع البنّاء المخطط بدقة؟
- هل استخدم نوع الخشب الصحيح؟
- هل قام بتركيب مقبض الباب بشكل صحيح؟
- والأهم من ذلك: من المسؤول عن فحص كل جزء؟
هذه الورقة البحثية تدور حول بناء مفتش خارق لا يكتفي بقراءة المخطط فحسب، بل يتجول فعلياً في موقع البناء، ويفحص كل عارضة، ويخبر البنّاء بالضبط ما الذي يجب إصلاحه قبل فتح المنزل للجمهور.
إليك الورقة البحثية مقسمة إلى مفاهيم بسيطة:
1. بوابات الحصن الثلاث
أدرك المؤلفون أن فحص "المفتاح" الرقمي ليس مجرد وظيفة واحدة، بل هو في الواقع ثلاث وظائف مختلفة، يتولاها ثلاثة أشخاص مختلفين. أطلقوا عليها اسم "الأسطح" (Surfaces):
البوابة الأولى: الشهادة (بطاقة الهوية)
- من يفحصها؟ الجهة المُصدرة (مثل الحكومة التي تصدر جواز السفر).
- ماذا يفحصون؟ هل تحتوي بطاقة الهوية على المعلومات الصحيحة؟ هل تحتوي على "استخدام المفتاح" الصحيح (على سبيل المثال: "هذا المفتاح مخصص للتوقيع، وليس لقفل الأبواب")؟
- التشبيه: التحقق مما إذا كانت صورة جواز السفر تطابق الشخص وما إذا كان نوع التأشيرة صحيحاً.
البوابة الثانية: المفتاح العام (القفل نفسه)
- من يفحصها؟ الجهة المُصدرة (لا تزال هي نفسها).
- ماذا يفحصون؟ هل تم بناء القفل مادياً بشكل صحيح؟ هل معدن القفل بالسمك الصحيح؟ هل شكله مثالي؟
- التشبيه: التحقق مما إذا كانت آلية القفل قد صُبّت بشكل صحيح وليست نسخة رخيصة ومقلدة.
البوابة الثالثة: المفتاح الخاص (المفتاح الرئيسي)
- من يفحصها؟ المستورد (الشخص الذي يحاول استخدام القفل).
- ماذا يفحص؟ عندما أحاول وضع هذا المفتاح في جهازي، هل يناسبه؟ هل المفتاح منحنٍ؟ هل الآلية الداخلية متسقة؟
- التشبيه: عندما تحاول استخدام مفتاح منزلك، هل يدور بالفعل في القفل، أم أنه مفتاح مزيف يبدو حقيقياً ولكنه ينكسر في الداخل؟
الرؤية الجوهرية: الأدوات السابقة كانت تفحص فقط بطاقة الهوية (البوابة 1). تقول هذه الورقة: "يجب علينا فحص القفل (البوابة 2) والمفتاح الرئيسي (البوابة 3) أيضاً، وإلا سيفشل النظام بأكمله".
2. "السجل" (قائمة التحقق الرئيسية)
بدلاً من مجرد امتلاك قائمة بـ "أشياء للبحث عنها"، أنشأ المؤلفون سجلاً. فكر في هذا كقائمة تحقق ذكية وحية حيث يتم وسم كل قاعدة بـ:
- مَن هو المسؤول (الجهة المُصدرة أو المستورد).
- متى يتم الفحص (قبل إصدار الهوية أو قبل استيراد المفتاح).
- مدى الصرامة المطلوبة (هل يجب إيقاف العملية فوراً، أم مجرد إرسال تحذير؟).
لقد حولوا 17 قاعدة معقدة من المعايير الحكومية الرسمية إلى قائمة تحقق واضحة وقابلة للتنفيذ هذه.
3. اختبار "الطفرة" (اختبار الإجهاد)
كيف تعرف أن مفتشك جيد؟ عليك أن تخدعه.
أنشأ المؤلفون مختبراً مجمداً يحتوي على 48 حالة اختبار:
- 21 حالة مثالية: مفاتيح وهويات خالية من العيوب.
- 27 حالة مكسورة: أخذوا مفاتيح مثالية وأفسدوها عمداً بـ 27 طريقة مختلفة (مثل: "قطع المفتاح إلى نصفين"، "وضع صورة خاطئة في جواز السفر"، "ثني آلية القفل").
قاموا بتشغيل مفتشهم الجديد ضد هذه الـ 48 حالة.
- النتيجة: اكتشف كل حالة مكسورة (27/27).
- النتيجة: سمح بمرور كل حالة مثالية (21/21).
- النتيجة: لم يرتبك أو يتعطل.
4. وضعي "الصرامة" مقابل "القابلية للنشر"
تقدم الورقة طريقة ذكية للتعامل مع الأخطاء:
- وضع الصرامة (Strict Mode): "إذا كسرْتَ أي قاعدة، نتوقف فوراً". هذا مخصص للمدققين وخبراء الأمن الذين يريدون كمالاً بنسبة 100%.
- وضع القابلية للنشر (Deployable Mode): "إذا كسرْتَ قاعدة ثانوية، نسمح بمرورها ولكن نرسل تحذيراً". هذا مخصص للاستخدام في العالم الحقيقي حيث لا تريد إيقاف الإنترنت بأكمله بسبب خطأ مطبعي بسيط وغير ضار.
يمكن للنظام التبديل بين هذين الوضعين فوراً، باستخدام نفس عمليات الفحص الأساسية.
5. لماذا فشلت الأدوات القديمة
اختبر المؤلفون نظامهم الجديد مقابل أداة موجودة (تسمى JZLint).
- الأداة القديمة أغفلت العديد من المفاتيح المكسورة.
- والأسوأ من ذلك، أن الأداة القديمة تعطلت (انهارت) عندما حاولت فحص بعض المفات keys الجيدة تماماً (لقد رفضت مفاتيح صالحة!).
- النظام الجديد كان مستقراً، واكتشف جميع الأخطاء، ولم يرفض أي مفتاح صالح أبداً.
الخلاصة
هذه الورقة ليست مجرد كتابة المزيد من الأكواد البرمجية. إنها تتعلق بـ العملية (Process).
إنها تجادل بأنه في عصر الحواسيب الكمومية، لا يمكننا الاعتماد فقط على "الأمل" أو "القواعد القياسية". نحن بحاجة إلى سير عمل قابل للتكرار وخاضع للمساءلة. نحن بحاجة لمعرفة بالضبط من يفحص ماذا، ومتى، وكيف.
باختصار:
- الطريقة القديمة: "إليكم القواعد. حظاً موفقاً".
- الطريقة الجديدة: "إليكم قائمة التحقق. إليكم من سيقوم بالفحص. وإليكم الاختبار لإثبات نجاحه. وإليكم الخطة لما يجب فعله إذا انكسر شيء ما".
هذا يضمن أنه عندما تصل الحواسيب الكمومية، سيكون حصننا الرقمي مبنياً بالفعل ليصمد أمامها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.