الخلاصة

  • يختصر RFC 5296 إعادة المصادقة إلى جولة واحدة بين الطرف وخادم ER، لكنه لا يوحد قرار الخادم ونقل AAA وتركيب المفتاح ونجاح الوصول في نتيجة واحدة.
  • يجب أن يربط السجل كل SEQ مقبول بوجهة rMSK وإقرار التركيب واختيار TSK والنتيجة النهائية، من دون حفظ مادة المفاتيح.

الجولة الواحدة تعبر عدة سلطات

يتيح ERP للطرف الانتقال إلى مصادق جديد من دون إعادة طريقة EAP كاملة. يمر Initiate عبر المصادق إلى خادم ER ويرجع Finish. ومع ذلك يظل المصادق ناقلاً للرسائل، والخادم صاحب قرار rIK والتسلسل، وAAA ناقل rMSK، والطبقة الأدنى صاحبة إقامة TSK وفرض الوصول.

السرعة خاصية زمنية وليست ضماناً للذرية.

قبول SEQ يغير حالة الخادم

يحمل Initiate رقم SEQ من 16 بت وkeyName-NAI واحداً ومجموعة تشفير ووسم مصادقة. يبدأ SEQ من الصفر مع rRK جديدة. يتحقق الخادم من القيمة المتوقعة أو نافذة القيم غير المستخدمة، ثم من المجموعة والسلامة.

بعد القبول يشتق rMSK ويرسل Finish بالرقم نفسه، ويزيد الرقم المتوقع أو يحدث النافذة. قد يبقى هذا التغيير إن ضاعت الاستجابة أو رسالة AAA. لذلك يسجل الدليل الحالة قبل القرار وحدود النافذة وعدم الاستخدام والقرار والحالة بعده.

Identifier يميز الإعادة من الطلب الجديد

إعادة الإرسال تحتفظ بـ EAP Identifier، أما Initiate الجديد فيستخدم قيمة أخرى. يجب أن يطابق Finish الطلب المعلق. Identifier يربط محاولة جارية؛ SEQ يمنع الإعادة ويدخل في الاشتقاق.

دمجهما في معرف داخلي واحد يخفي الفرق بين إعادة النقل ومنح جديد. ومسح حالة المصادق بعد 300 ثانية لا يثبت مسح حالة الخادم والطرف.

Finish يثبت نهاية ضيقة

يتأكد الطرف من توقع SEQ تحت keyName-NAI ثم يتحقق من السلامة ويشتق rMSK. عندئذ فقط تصبح علاقة الطبقة الأدنى جاهزة للبدء.

لا يثبت Finish أن AAA أوصل المفتاح، أو أن المصادق ركبه، أو أن الطرفين اختارا الجيل نفسه، أو أن TSK نجحت. يلزم فصل إنشاء Finish والتحقق منه وإرسال AAA والاستلام والتركيب وبدء الطبقة الأدنى ونتيجة الوصول.

rMSK لمصادق واحد

تشتق rMSK من rRK وSEQ ووسم ثابت وطول، ولا يجوز مشاركتها بين عدة مصادقين. عمرها لا يتجاوز rRK. بعد جذر جديد تأتي المفاتيح اللاحقة منه، لكن مفاتيح قديمة موزعة قد تبقى حتى الانتهاء.

وفي bootstrap قد تتجاهل الطبقة الأدنى rMSK الجديدة لأن TSK قائمة على MSK سابقة، أو تبدأ TSK جديدة. الوصول إلى المصادق لا يساوي الدخول في الاستخدام.

التوازي يحول الرقم إلى نافذة

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

لا يكفي SEQ لتفسير الحكم. احفظ حدود النافذة وجيلها ومجموعة المستهلك ومسار المصادق ونسخة السياسة. تغيير عرض النافذة يغير سلطة القبول من دون تغيير المفتاح.

الفشل غير القابل للتحقق لا يحدد خصماً

يرسل الخادم Finish بالفشل ويحميه إن امتلك rIK، ويمكنه عرض مجموعات بديلة. إذا تغيرت PRF يعاد اشتقاق السلسلة المناسبة.

قد يعني فشل السلامة أو منع الإعادة رسالة مزورة، وقد يعني عدم وجود مجموعة مشتركة. لا يستطيع الطرف الفصل، فيواصل مؤقتات الإعادة قبل إعلان الفشل. يجب أن يبقى هذا الشك في التنبيه.

الحيازة الحالية شرط البداية

حل RFC 6696 محل 5296 مع توافق خلفي، ووضح وجوب تحقق المصادق أو خادم ER المحلي من حيازة مادة جذر حالية وصالحة في bootstrap الضمني. العثور على سياق قديم لا يكفي.

الحيازة تؤهل للرد ولا تثبت التركيب أو الوصول. يجب ربط جيل الجذر بالتسلسل والوجهة والنتيجة الأدنى.

إيصال المعاملة

اربط rRK وعمرها؛ keyName-NAI والنطاق؛ Identifier؛ SEQ والنافذة؛ المجموعة والسلامة؛ قبول الخادم وانتقال العداد؛ rMSK والمصادق الوحيد؛ Finish؛ معاملة AAA؛ الاستلام والتركيب؛ تحقق الطرف؛ المفتاح المختار لـ TSK؛ نتيجة الارتباط والوصول؛ العودة إلى EAP؛ الإعادات؛ وchannel binding. لا تسجل الأسرار.

Sources