الخلاصة

  • يوحّد ‏RFC 9802 معرّفات وترميزات HSS وXMSS وXMSSMT في شهادات X.509 وقوائم إبطال الشهادات، لكنه لا يضع في الشهادة سجل الفهارس أحادية الاستخدام التي استُهلكت بالفعل.
  • قد يكون التوقيع صحيحاً رياضياً مع أن حالة المفتاح الخاص رجعت إلى لقطة قديمة أو انقسمت بين جهازين. لذلك تحتاج الاستمرارية إلى سجل رتيب قابل للتدقيق خارج الشهادة.

توقيعان صحيحان وتاريخ واحد مكسور

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

المفتاح العام لم يتغير، ومعرّف الخوارزمية صحيح، وتركيب X.509 سليم. قد ينجح كل توقيع إذا فُحص منفرداً. الحقيقة الخطرة لا توجد داخل واحد منهما، بل في العلاقة بينهما: رسالتان مختلفتان استخدمتا مفتاح OTS نفسه.

يوضح RFC 9802 أن حصول مهاجم على توقيعين لرسالتين مختلفتين بالمفتاح أحادي الاستخدام نفسه قد يجعل التزوير ممكناً حسابياً. وقد نُشر المستند في يونيو 2025 ضمن مسار معايير IETF، وحدد معرّفات OID وبنى ASN.1 وتمثيل المفاتيح والتوقيعات وحدود Key Usage لأنظمة HSS وXMSS وXMSSMT في بنية X.509. يثبت السجل الرسمي وتاريخ IETF هذا النطاق.

لكن المعرّف يجيب عن الخوارزمية التي تفسر البايتات. ولا يجيب عن عدد نسخ الحالة التي وُجدت، أو أي نسخة استهلكت كل موضع.

للمفتاح الخاص ذاكرة لا يجوز إرجاعها

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

يفرض RFC 8554 استخدام مفتاح LM-OTS الخاص لتوقيع رسالة واحدة كحد أقصى، وينظم HSS عدداً كبيراً من هذه المفاتيح على طبقات. ويعرّف RFC 8391 XMSS وXMSSMT باستخدام WOTS+ وأشجار Merkle وعناوين تفصل المكونات. قد تكون السعة ضخمة، لكنها محدودة، ولا يكون لكل موضع سوى استهلاك آمن واحد.

لهذا تشمل وحدة الاستعادة مادة المفتاح، والفهرس التالي المثبت، والنطاقات المحجوزة، والتوقيعات المفرج عنها، والمواضع المحروقة، وحقبة الاستعادة. فقدان السر يوقف التوقيع؛ أما فقدان التاريخ فقد يسمح له بالاستمرار على نحو غير آمن.

توصي NIST SP 800-208 بـ LMS/HSS وXMSS/XMSSMT ضمن قيود تشغيلية ووحدات تشفير مادية. ويُلزم ‏RFC 9802 بمراعاة تلك المتطلبات، ويقترح تسجيل التوقيعات أو الفهارس، وفحص السجل قبل الإفراج، وحجز الحالات المقبلة، وإبقاء الحجم قابلاً للتدقيق. عند اكتشاف إعادة الاستخدام يجب تجميد التوقيع الجديد، وإعادة تدقيق المخرجات السابقة، والنظر في الإبطال.

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

الإتاحة ليست استنساخاً

قد يكون نسخ مفتاح بلا حالة إلى جهازين محميين تصميماً للإتاحة. أما نسختان لحالة واحدة فهما مالكان محتملان للمستقبل نفسه. يحذر ‏RFC 9802 من أن النسخ والاستعادة التقليديين يؤديان باحتمال مرتفع إلى إعادة استخدام OTS إذا لم يُضمن اتساق الحالة.

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

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

ما الذي يثبته X.509 فعلاً؟

يضع RFC 5280 إطار مسار الشهادة والقيود والاستخدام وقوائم الإبطال. يجعل ‏RFC 9802 الخوارزميات الجديدة قابلة للفهم داخله. يثبت التحقق الناجح أن التوقيع المعروض يطابق المفتاح العام والخوارزمية المعلنة، ويمكنه مع المسار وحالة الإبطال دعم قرار ثقة محلي.

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

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

تفيد أولوية الشيفرة العاملة لدى Lu Heng هنا: الـOID أداة تنسيق، أما الاستهلاك الفريد فواقع يجب أن تحافظ عليه الأنظمة. ويفصل مبدأ المواصفة الأولية الدنيا والقرار المستقبلي المحلي بين الترميز المشترك وحراسة الحالة المحلية. أما حجة طبقة الواقع فتمنع المظهر المنظم للشهادة من إخفاء تاريخ الآلة.

المصادر