الخلاصة

  • يحدد RFC 9708 طريقة تمثيل مفاتيح وتواقيع HSS/LMS في X.509 وPKIX وCMS. مفتاح LM-OTS الخاص صالح لتوقيع واحد، ولذلك يجب على الموقّع حفظ سجل دائم ودقيق للأوراق التي استُخدمت.
  • نجاح التحقق من توقيع بعينه لا يثبت أن تاريخ الموقّع ظل وحيداً. قد يؤدي فشل الكتابة الدائمة أو استرجاع لقطة آلة افتراضية أو استنساخها إلى إتاحة ورقة سبق أن خرج توقيعها إلى العالم.
  • الحماية الحاسمة هي ترتيب الالتزام: حجز الحالة التالية وتثبيتها قبل إخراج التوقيع، وقصر سلطة الكتابة على جهة واحدة فعالة، وربط كل مخرج باستهلاك لا يمكن التراجع عنه.

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

هذه هي الحدود التشغيلية داخل RFC 9708. نُشرت الوثيقة على مسار المعايير في يناير 2025 لتحديث إدماج نظام التوقيع الهرمي HSS ومخطط Leighton–Micali في الشهادات وفي Cryptographic Message Syntax. وهي تلغي RFC 8708، وتصحح تفاصيل في الترميز، وتعالج أخطاء موثقة، وتضيف مجموعات معاملات. غير أن التحسين في التمثيل لا يحوّل HSS/LMS إلى نظام بلا حالة.

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

لذلك لا يتمثل الأصل المحمي في المادة السرية وحدها، بل في المادة السرية مقترنة بتاريخ صحيح لكل ما استُهلك منها.

التحقق يرى كائناً واحداً، أما التفرد فيشمل التاريخ كله

يربط LM-OTS كل مفتاح خاص بتوقيع واحد. يجمع LMS عدداً كبيراً من هذه المفاتيح تحت جذر شجرة Merkle، ويمكن لـ HSS ترتيب الأشجار في طبقات. ينتج عن ذلك مخزون عملي لكنه محدود. يرى المتحقق موضع الورقة ومسار المصادقة ويستطيع إثبات العلاقة الرياضية بالمفتاح العام.

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

الإيصال النتيجة المحدودة
قبول المفتاح العام السياسة تقبل مفتاح HSS/LMS هذا
فهم معرّف الخوارزمية الترميز ومجموعة المعاملات معروفان
نجاح التحقق الكائن يطابق إجراء التحقق الرياضي
ظهور فهرس الورقة التوقيع يسمّي موضعاً محدداً
تسجيل الحجز كاتب عيّن ذلك الموضع
تثبيت الحالة التالية التخزين غير المتطاير لن يعرض الموضع مجدداً
تصدير التوقيع النتيجة عبرت حدود النظام الآمن
تسوية التاريخ لا يوجد مخرج آخر بالموضع نفسه
رصد الأثر جهة لاحقة تصرفت بناءً على المحتوى

لا تُغني خانة عن أخرى. يطلب RFC 9708 تتبع الأوراق المستخدمة ويحذر من أن فقدان سلامة هذا التتبع قد يعيد استخدام مفتاح لمرة واحدة. ويسمي أسباباً اعتيادية: قد تفشل الكتابة إلى التخزين الدائم، وقد تؤخذ لقطة للآلة الافتراضية أو تُستنسخ. لا يحتاج المهاجم إلى كسر دالة التجزئة إذا جعلت البنية التحتية الزمن يسير إلى الخلف.

يجب تثبيت الحالة قبل أن يغادر التوقيع

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

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

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

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

قد تضاعف الإتاحة العالية سلطة التوقيع

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

يمكن لمكوّن سلطوي واحد تسلسل الإنفاق، أو يمكن منح موقّعين مختلفين أشجاراً فرعية منفصلة. ويمكن لعداد عتادي رتيب كشف التراجع، كما يمكن سياج الكاتب القديم قبل منح السلطة للبديل. لكن الدليل يجب أن يصف الخاصية الفعلية. عبارة «داخل العتاد» لا تثبت تفرد الحالة، وعبارة «عالي الإتاحة» لا تثبت وجود كاتب واحد.

ملف NIST أكثر تقييداً من صيغة IETF العامة: فهو يقصر الاستخدام على مجموعات معتمدة، ويطلب إنشاء المفاتيح والتواقيع داخل وحدات تشفير عتادية، ويمنع تصدير السر. تنطبق هذه الشروط على من يدعي التوافق مع ذلك الملف، ولا يجوز نسبها تلقائياً إلى كل تطبيق لـ RFC 9708. نشر المعيار يثبت وجود المواصفة، لا طريقة تشغيل منتج بعينه أثناء استعادة محددة.

تحمل الشهادة المفتاح العام ولا تحمل ذاكرة الموقّع

يحدد RFC 9708 معرّف الكائن، ويشترط غياب المعاملات في AlgorithmIdentifier، ويحمل المفتاح العام HSS/LMS من دون غلاف ASN.1 إضافي. وفي شهادة X.509 يجب أن يتفق استعمال المفتاح مع التوقيع لا التشفير أو اتفاق المفاتيح. يربط ذلك المخطط بإطار RFC 5280 وبوحدات ASN.1 في RFC 5912.

في CMS الذي تعرفه RFC 5652، تتغير المادة الموقعة بحسب وجود السمات الموقعة. من دونها يوقَّع المحتوى مباشرة، ومعها يُهضم المحتوى ويوقَّع ترميز DER لـ SignedAttributes بما فيه نوع المحتوى وهضم الرسالة. وهكذا تستطيع حاويات مثل حزم البرمجيات الثابتة في RFC 4108 استعمال HSS/LMS ضمن بنى معروفة.

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

المخزون المحدود قضية حوكمة

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

يسجل سجل LMS لدى IANA رموز الأنواع المعيارية. وتوثق صفحة RFC Editor والنسختان النصية وXML وتاريخ IETF وسجل الأخطاء وضع المواصفة ومصدرها. ولا تكشف أياً منها رصيد الأوراق لدى مشغّل معين أو سلامة خطة التعافي لديه.

يعيد مبدأ Heng Lu بشأن الشفرة العاملة السؤال إلى الانتقال التنفيذي: هل أصبح الاستهلاك دائماً قبل خروج التوقيع؟ توفر المواصفة الأولية الدنيا أرضية مشتركة للتشغيل البيني من دون أن تلغي خيارات العزل المحلية. ويمنع فصل طبقات الواقع جمع ثلاثة أمور في إشارة واحدة: وجود معيار، وصحة كائن، وسلامة تاريخ تشغيلي.

لا يلغي HSS/LMS الثقة التشغيلية بل ينقل موقعها. تقلل البنية اعتماداً على افتراضات رياضية قد يهددها الحوسبة الكمية، لكنها تطلب في المقابل ذاكرة لا تتراجع. المفتاح سر، وسجل لا يجوز له أن ينسى كيف استُخدم.

المصادر