Summary

  • ناقش BoF المسمى CURRENT استخدام MLS لإدارة مفاتيح طبقة سجلات TLS 1.3، لكنه لم يتحول إلى مجموعة عمل ذات charter، وتقول محاضر IETF 126 إن صياغة المشكلة لم تكن مفهومة بما يكفي.
  • في ملف الطرفين، يرسل الطرف الذي يطبق الـ commit رسالة EpochKeyUpdate موثقة؛ ولا يعتمد المبادر حالته المعلقة قبل استلام هذا التأكيد والتحقق منه.
  • إرسال التحديث، وتركيب المفتاح محلياً، وحذف السر القديم، ونجاح التطبيق في الحقبة الجديدة إيصالات منفصلة.

حالتان محليتان صحيحتان

يرسل A رسالة ConnectionUpdate. يتحقق B من الـ commit ويطبقه، ثم يرسل EpochKeyUpdate ويبدأ استخدام المادة الجديدة. سجل B صحيح، لكن A يبقى في Awaiting EpochKeyUpdate. لا يجوز له جعل الحالة المؤقتة حالته الحالية قبل توثيق الرد بالحالة الناتجة من الـ commit المعلق.

هذا الاختلاف الزمني مقصود؛ فهو يمنع المرسل من تحويل فعله إلى دليل على استلام الطرف الآخر وتطبيقه. يظهر الخطر عندما تختصر لوحة المراقبة المسار كله في عبارة «اكتملت دورة المفتاح».

المستندان الأساسيان Internet-Drafts فرديان في الإصدار 01 ولا يملكان RFC stream. وما زال CURRENT مسجلاً بوصفه BoF غير chartered. وشكك اجتماع فيينا في نطاق المشكلة، وفي ملاءمة بروتوكول ثنائي لحالات متعددة الأطراف، وفي إمكان معالجة بعض المتطلبات بامتدادات TLS الحالية. لذلك لا يوجد معيار معتمد يمكن الادعاء بنشره.

أمن ما بعد الاختراق يبدأ عند المعالجة

يوضح RFC 9420 أن Update proposal لا يحقق PCS وحده؛ يجب أن يدرجه عضو آخر في Commit وأن يعالجه الأعضاء. كما تعتمد forward secrecy على حذف المفاتيح الخاصة القديمة ومفاتيح الرسائل المستعملة.

تجعل المسودات MLS مصدراً لأسرار طبقة سجلات TLS، وتستخدم commits داخل القناة لنقل الحقبة. يؤكد الرد الموثق أن الطرف الآخر يعرف الحالة الجديدة، لكنه لا يثبت حذف كل نسخة قديمة، أو انقطاع وصول المهاجم، أو استمرار صلاحية الهوية، أو نجاح خدمة التطبيق.

عبارة «يدعم PCS» تصف قدرة تصميمية، ولا تحدد لحظة إغلاق نافذة التعرض.

التصادم والاستئناف يتركان مسارين

قد يرسل الطرفان تحديثين معاً. تحسم المسودة التصادم وفق الدور الأولي: يتجاهل طرف الـ commit المنافس، ويتخلى الآخر عن commit معلق ويطبق نسخة نظيره. وعند استئناف الاتصال يمكن إعادة إرسال commit معلق، ويجب عدم تطبيق commit سبق تطبيقه مرة ثانية. أما اكتشاف انقطاع الاتصال فهو خارج نطاق الملف ويعتمد على النقل.

إذا احتفظ التدقيق برقم الحقبة النهائي فقط فلن يميز بين التأكيد العادي، أو التصادم، أو إعادة الإرسال، أو الاستئناف، ولن يقيس مدة بقاء المادة القديمة.

ثمانية إيصالات

تحصر Minimum Initial Specification لدى Lu Heng الطبقة المشتركة في الرسائل والتحولات الحتمية. وتضع Running-Code Primacy الحالة التي تحققت منها الأطراف وركبتها وحذفتها فوق اسم الميزة. ويجب فصل: إنشاء التحديث، إرساله، توثيقه عن بعد، تطبيقه، عودة التأكيد، التركيب محلياً، حذف القديم، وأول سجل تطبيق موثق في الحقبة الجديدة.

النص نفسه غير مكتمل: تحليل الأمان الشامل، والفصل بين البروتوكولات، وبعض framing ما زالت تحمل TODO. يفتح BoF باب العمل ولا يمنحه صفة الإجماع.

المصادر والحدود

لا تثبت هذه المصادر وجود WG ذي charter، أو إجماع IETF، أو draft متبنى، أو RFC، أو تحليل أمان مكتمل، أو تشغيل بيني، أو نشر، أو تعافٍ مقاس، أو PQC تشغيلي، أو حادثة، أو نتيجة خدمة.