الخلاصة

  • يبقى CRL Number إلزامياً في قائمة إبطال RPKI، لكن الطرف المعتمد يفحص فقط أنه غير حرج وأنه عدد صحيح غير سالب ضمن الحد 2^159-1، ولا يستخدم قيمته للترتيب.
  • القائمة المنطبقة هي الكائن الوحيد الذي تشير إليه CRLDP في الشهادة ويظهر أيضاً في البيان الحالي لجهة الإصدار ببصمة محتوى مطابقة.
  • اختيار الكائن لا يثبت وحده عدم إبطال الشهادة أو صحة الكائن الموقّع أو صلاحية أصل المسار أو تنفيذ سياسة الموجّه أو نتيجة المرور.

عندما صار الرقم السليم دليلاً غير مختص

لنبنِ اختباراً لا واقعة تشغيلية. يستلم RP قائمتين موقعتين من الجهة نفسها. تحمل القائمة غير المدرجة في البيان الرقم الأكبر، بينما تتطابق الأخرى مع اسم الملف والبصمة في البيان الحالي وتشير إليها CRLDP في الشهادة. إذا اختار البرنامج الرقم الأكبر، فقد قبل صياغة صحيحة ومنحها اختصاصاً لم يعد لها.

هذا هو التصحيح الذي تقرره RFC 9829. تسجل صفحة RFC Editor وDatatracker أنها وثيقة Standards Track صدرت في يوليو 2025 وتحدّث RFC 6487. ويعرض السجل التاريخي والمراجع والوثائق اللاحقة وبحث التصويبات منشأ النص. لم يظهر تصويب مطابق عند تجميد المصادر، ولا يعني ذلك إثبات أي تطبيق.

تشرح RFC 5280 أصل الحدس: CRL Number متتالية متزايدة تساعد في تعيين القائمة التي تتجاوز أخرى حين يمكن استعمال عدة قوائم. أما RFC 6481 فتنظم نقطة نشر RPKI، وتعرّف RFC 9286 بياناً موقّعاً يسرد اسم كل كائن حالي وبصمة محتواه، ومن بينها أحدث CRL لجهة الإصدار.

عندما يحدد البناء قائمة حالية واحدة، لا يعود العداد ناخباً.

الوجود والصحة والسلطة ثلاث حالات

يجب أن تتضمن كل CRL في RPKI امتدادين بالضبط: AKI وCRL Number. يعالج RP امتداد AKI. وفي CRL Number يتحقق من الوسم غير الحرج ومن عدد صحيح غير سالب لا يتجاوز الحد، ثم يتجاهل القيمة عند اختيار الأحدث.

يمكن للحقل إذاً أن يكون مطلوباً وصحيحاً من دون أن يكون مخولاً بالقرار. يجب أن تفصل سجلات التشغيل بين نجاح التحليل وبين استهلاك القيمة داخل خوارزمية الاختيار.

توصي RFC 9829 بأن يساوي CRL Number قيمة manifestNumber للبيان الذي سيضم القائمة. يفيد التطابق في المصالحة والتشخيص، لكنه لا ينشئ مساراً احتياطياً. إذا اختلف الرقمان، يُفحص النشر ولا يُنتخب الأكبر.

مرجعان يلتقيان عند البايتات نفسها

تعرّف RFC 6487 شهادات الموارد وCRL Distribution Points. وبعد التحديث، تُحدد CRL الحالية ذات الصلة معاً بواسطة البيان الحالي للمُصدر وCRLDP في الشهادة.

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

للبيان ترتيب مستقل. تتزايد manifestNumber، وتضبط thisUpdate وnextUpdate الزمن، وتُفحص التوقيعات وشهادة EE والمقارنة مع البيانات السابقة. لذلك انتقلت وظيفة الترتيب إلى البيان. المقال السابق عن RFC 9981 يملك موضوع بلوغ حد رقم البيان وفتح حقبة جديدة باسم ملف جديد؛ أما هنا فالموضوع هو منع CRL Number من منافسة البيان داخل الحقبة السليمة.

البصمة تثبت قصد الناشر ضمن حدود

تتيح RFC 9286 كشف حذف الكائن أو تغييره أو استبداله بنسخة قديمة. وتصف RFC 9829 بصمة fileList بأنها ضمان تشفيري لقصد CA بشأن أحدث CRL، وبأنها تزيل مسارات إعادة محتملة تنشأ من تعدد قواعد الاختيار.

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

تحدد RFC 3779 امتدادات موارد IP وAS. ولا تحول نتيجة الشهادة إلى ادعاء بأن مسار BGP جارٍ أو أن الحزم تصل.

النقل ينشئ نسخة لا حكماً

تعرّف RFC 8182 RRDP، ويوجد مسار rsync أيضاً. يثبت التنزيل وصول البايتات، لا كونها الحالية. قد تحتفظ الأطراف المعتمدة ببيانات مخبأة من حقب مختلفة؛ لذا تُفسر الاختلافات بالبيان الذي تم التحقق منه وبصمته وقرار التخزين، لا بالرقم الظاهر.

تظل مقالة RFC 9589 السابقة مسؤولة عن signing-time وmod-time والتحول بين RRDP وrsync. استخدمت RFC 9829 كحد مساعد لمنع وقت الملف من اختيار CRL. هذه المقالة تفكك الآلية نفسها: سحب سلطة الترتيب من CRL Number واجتماع مرجعَي الشهادة والبيان.

بعد قرار الإبطال، تجمع RFC 6811 بيانات الأصل التي تم التحقق منها مع مسار BGP لتنتج حالة محلية. وتنقل RFC 8210 بيانات المخبأ إلى الموجّهات. الاستلام والسياسة وRIB وFIB والنتيجة المرصودة سجلات مستقلة.

يتكون الإيصال من نشر CA، ونقل المستودع، واختيار البيان، والتقاء CRLDP والاسم والبصمة، والتحقق من CRL، والبحث عن الرقم التسلسلي، والتحقق من الكائن، وحالة الأصل، واستلام الموجّه، والقرار والنتيجة.

إزالة أداة قرار قد تقوي النظام

تضيق RFC 9829 السطح المشترك بدلاً من توسيعه. توضح Minimum Initial Specification لدى Heng Lu قيمة إبقاء الثابت المشترك في الحد الأدنى. وتمنع Reality Layers خلط الرقم بالقصد والتحقق والنتيجة. وتطلب Running-Code Primacy دليلاً على ما نفذه RP والموجّه بالفعل.

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

المصادر