Summary

  • نشر Azat Davliatshin في 2 نوفمبر تقريراً مستقلاً نفّذ فيه أداة تحقق ونموذجاً رسمياً لمسودتي AAT -01 وAsor -02 الفرديتين.
  • تلزم AAT -01 بتوقيع الرمز الابن بواسطة المفتاح الذي يسميه الرمز الأب لحامله. ووفق قراءة التقرير، تقبل Asor -02 مفتاح إصدار أدرجه المتحقق ضمن مفاتيحه المعتمدة، من دون مشاركة حامل الأب في التوقيع.
  • في نموذج التقرير، يستطيع من يسيطر على مفتاح توقيع معتمد إضافة ابن إلى سلسلة سليمة. يثبت DPoP امتلاك مفتاح الحلقة الأخيرة، ولا يثبت موافقة حامل الحلقة السابقة. هذه نتيجة نموذجية مشروطة وليست واقعة اختراق منشورة.

السلسلة تضيق، ودائرة الموقّعين قد تتسع

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

تعطي مسودة Niki Aimable Niyikiza الجواب لحامل الرمز الأب. قاعدة I1 في AAT -01 تشترط أن يوقّع الابن بالمفتاح المذكور في الأب. أما في قراءة Davliatshin لمسودة Asor -02، فيكفي مفتاح يقبله المتحقق ضمن إعداده المحلي. يُسمّى حامل الأب في الرمز، لكن خطوة التحقق لا تشترط توقيعه على الابن.

فصل التقرير بين مفتاحين. مفتاح حامل الأب الصادق بقي آمناً. مفتاح آخر يقبله المتحقق وقع بيد خصم. في نموذج Asor يكفي المفتاح الثاني ليوقّع الخصم ابناً تحت الرمز الصادق. ثم يضع مفتاحه في الحلقة الأخيرة ويجتاز فحص DPoP. الفحص يثبت امتلاكه المفتاح الأخير. لا يثبت أن صاحب الرمز الأب وافق على الإضافة.

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

صدرت Asor -03 في 27 أكتوبر، قبل التقرير. يفحص نصها التوقيعات بمفاتيح وخوارزميات يحددها المتحقق محلياً، ثم يفحص حامل المفتاح الأخير في خطوة منفصلة. نموذج التقرير يخص -02؛ والملاحظة عن -03 مأخوذة من نصها الجديد. لا توثق المصادر اختراق خدمة فعلية. سيحسم الأمر نص يحدد موقّع الابن بالاسم واختبار لتطبيق ذلك الشرط.

المصادر الرسمية