الخلاصة

  • ينشر RFC 9529 مدخلات ورسائل وبصمات transcript وPRK وciphertext وexporter ومعلمات OSCORE وأمثلة غير صالحة للمقارنة الدقيقة بين التنفيذ والمرجع.
  • يثبت التطابق الكامل إعادة إنتاج مسار الحساب المحدد، ولا يثبت عشوائية جديدة أو حفظ المفاتيح أو شمول التحقق أو صلاحية صاحب الاعتماد أو أثر جلسة فعلية.
  • يحتاج الضمان القابل للاستخدام إلى خمسة إيصالات: إعادة إنتاج المتجه، تغطية المدخلات السلبية، entropy وحفظ المفتاح، الهوية والسياسة، ثم النتيجة التشغيلية.

لم يجد نظام البناء فرقاً واحداً. تطابقت message_1 وTH_2 وCIPHERTEXT_3 وPRK_exporter وسر OSCORE الرئيسي. اختُصرت مئات المقارنات في عبارة واحدة: تم التحقق من EDHOC.

لكن الجهاز كان يعيد استخدام المفتاح الخاص المؤقت نفسه بعد كل إعادة تشغيل.

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

أما الخاصية التي ظلت ثابتة، فلا يستطيع المتجه أن يشهد عليها.

سلسلة الحساب تصبح مرئية

صُمم EDHOC للبيئات المقيدة، لكنه يصل اختيار الطريقة وcipher suite ومعرفات الاتصال وDiffie-Hellman المؤقت والاعتمادات وبصمات transcript ومدخلات MAC أو التوقيع والتشفير الموثق وexporter وOSCORE.

يستخدم الأثر الأول توقيعات واعتمادات X.509 معرفة بواسطة x5t، مع X25519 وEdDSA. ويستخدم الثاني static DH واعتمادات CCS معرفة بواسطة kid وP-256، ويعرض تفاوضاً يمر برسالة خطأ ثم message_1 ثانية.

يطبع المستند TH_2 وTH_3 وTH_4 وPRK الوسيطة والنص الصريح وciphertext وassociated data وPRK_out وPRK_exporter وOSCORE Master Secret وMaster Salt ونتائج KeyUpdate. يمكن إرجاع الاختلاف إلى CBOR أو اعتماد أو suite أو سياق KDF.

هذه هي الجملة التي يملكها المرجع: مع هذه المدخلات، تنتج العملية المحددة هذه البايتات.

الأسرار المنشورة تخص المختبر

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

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

يجب أن يسجل الملف رقم الأثر ونسخة التنفيذ والمنصة والمترجم إلى جانب صحة entropy ومصدر المفتاح وحفظه واختبارات إعادة التشغيل والاستنساخ والتزامن. لا تكفي عبارة «نجح RFC 9529».

transcript المتطابق ليس هوية حية

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

لكن المرجع يقدم الاعتماد والمفتاح مسبقاً. في التشغيل يجب حل x5t أو kid والتحقق وفق السياسة المناسبة وربط الاعتماد بجهاز أو principal وتحديد ما يحق له فعله. قد تنجح المصادقة الرياضية مع ربط محلي خاطئ أو صلاحية زائدة.

كما أن exporter ليس نتيجة التطبيق. اشتقاق مادة OSCORE لا يثبت قبول الرسالة التالية أو منع replay أو حداثة قراءة حساس أو تنفيذ actuator للأمر. هذه أحداث لاحقة تحتاج سجلاً خاصاً.

الأمثلة غير الصالحة ليست سطح الهجوم كله

يعرض القسم الرابع CBOR array بدلاً من sequence، وأغلفة زائدة، وعدداً أو نوعاً خاطئاً من العناصر، ومفتاحاً مؤقتاً كنص، وترميزات غير حتمية. وتشمل الأخطاء المشفرة طولاً غير صحيح، وإحداثياً خارج المجال، ونقطة لا تقع على المنحنى، ونقطة Curve25519 منخفضة الرتبة، وMAC قصيراً، وغياب صفر بادئ.

يسمي RFC المجموعة صغيرة. قد تقع أخطاء مماثلة في حقول أخرى. رفض كل الأمثلة لا يثبت الأمان لكل عمق أو طول أو انتقال حالة أو استهلاك موارد. تبقى fuzzing وproperty tests والاختبار التفاضلي والحدود ومراجعة الشفرة أدلة مستقلة.

«يرفض أمثلة RFC 9529 غير الصالحة» ادعاء قابل للتدقيق. أما «مقاوم لكل EDHOC مشوه» فيحتاج برنامجاً أوسع.

CBOR الحتمي جزء من الحالة المشفرة

يميز RFC بين البايتات الخام وترميز CBOR. قد تبدو الأعداد الطويلة بلا حاجة أو arrays غير محددة الطول مكافئة بعد التحليل، لكنها تغير مدخلات hash والتوقيع وMAC وKDF.

لذلك يجب حفظ الرسالة الخام وقرار الترميز وأول قيمة وسيطة مختلفة والـsuite وشكل الاعتماد. حفظ object بعد parsing فقط قد يمحو السبب.

للتشغيل البيني نطاق محدد

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

لكنه اتفاق على أمثلة مختارة، لا كل suite وطريقة واعتماد وEAD ومسار خطأ. يمنح سجل IANA لـEDHOC المعنى للقيم؛ ولا يشهد أن منتجاً يدعمها أو أن نشرها آمن.

المعيار والآثار حد أدنى قابل للنقل. يبقى نطاق التنفيذ والسياسة ودورة الحياة وسلوك الفشل مسؤولية محلية.

خمسة إيصالات بدلاً من شارة

يسجل الأول المتجه والنسخة والمنصة والمترجم وbackend وأول اختلاف. ويسجل الثاني المدخلات السلبية وموضع الرفض وتكلفته وحالة الجلسة بعده.

يغطي الثالث entropy والمفاتيح: الصحة والتكرار والمصدر والعزل والمسح. ويغطي الرابع الهوية: حل x5t أو kid وtrust anchor والقاعدة والـprincipal والصلاحية. ويغطي الخامس الواقع: peer وreplay واستخدام exporter وسياق OSCORE والرسالة المحمية والأثر الفعلي.

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

ما لا تثبته المصادر

لا تسمي المصادر مورداً كرر المفاتيح، ولا تقدم أرقام اعتماد أو معدل فشل أسطول أو نتيجة شاملة عن side channels. البداية فرضية رقابية.

لا يقلل الحد من RFC 9529، بل يوضح قيمته: يجعل الحساب الخفي قابلاً للتنفيذ والمقارنة. وعلى التشغيل إنتاج بقية الإيصالات.

المصادر