الخلاصة

  • يبني RFC 9261 الـ Exported Authenticator من Certificate وCertificateVerify وFinished المرتبطة بمادة سرية من اتصال TLS أو DTLS محدد. يثبت امتلاك هوية X.509 إضافية ولا يغير حالة TLS.
  • لا يحمل الإثبات وقت إنشاء داخلياً ولا رقم تدفق تطبيقي. يمنع سياق الطلب الفريد إعادة الاستخدام داخل الاتصال، لكن على التطبيق ربط العملية ووقت السريان والصلاحية.
  • يتطلب التشغيل الآمن سجلات منفصلة للطلب والاتصال والتحقق المشفر وسياسة الشهادة والرفض الفارغ الموثق وقرار التفويض. يشكل إنهاء TLS حداً صلباً حتى مع ظهور الشهادة نفسها.

نجح التحقق وفشل التاريخ

بدأ الاتصال عند 13:58 بهوية المصافحة العادية، ثم تحركت طلبات كثيرة بالتوازي. بعد خمس دقائق وصل الرد على طلب هوية إضافية ونجحت فحوص RFC 9261. الخطأ كان تحويل النتيجة إلى ملكية رجعية للاتصال كله.

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

تعرض Certificate سلسلة X.509، ويثبت CertificateVerify امتلاك المفتاح، ويحمي Finished النص بمفتاح مشتق من الاتصال. لا تبدأ مصافحة جديدة ولا توجد أغلفة TLS records. في TLS 1.3 يستخدم exporter_master_secret لا السر المبكر، وفي TLS 1.2 يلزم PRF وExtended Master Secret.

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

سياق الطلب حد محلي

يبلغ certificate_request_context حتى 255 بايت، ويجب أن يكون فريداً على مستوى الاتصال بين أنواع طلبات RFC 9261، ويفضل أن يصعب على الطرف توقعه. يعيده الرد، فلا يفي إثبات واحد بطلب ثانٍ.

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

قد يكون العداد فريداً لكنه متوقع، وقد تعيد استعادة snapshot حالة مولد عشوائي. يسجل النظام تجزئة السياق وعصر المولد والاتصال والامتدادات والهدف والوقت المحلي، ولا يسجل exporter secrets أو المفاتيح الخاصة.

لا يرسل العميل موثقاً بلا طلب سابق، بينما يستطيع الخادم تقديمه تلقائياً. هذه اللا تماثلية جزء من الدليل التشغيلي.

الاتصال لا يحدد التدفق أو الزمن

يعدد HTTP/2 تدفقات كثيرة داخل اتصال. ويحظر RFC 9001 مصادقة عميل TLS بعد المصافحة في QUIC لأن CertificateRequest لا يرتبط بثقة بالحدث التطبيقي الذي سببه.

ينقل Exported Authenticator الطلب والإثبات إلى طبقة تستطيع التعبير عن الارتباط، لكنه لا ينشئه. يجب أن يقول البروتوكول إن السياق X يخص التدفق 41 والعملية Y ولا يسري إلا بعد التحقق Z.

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

لا يتضمن الموثق وقت إنشائه. وقت الاستلام والتحقق والسريان ثلاثة أحداث. جمعها في authenticated_at يخفي التأخير وإعادة الإرسال واختلال الترتيب.

وكيل إنهاء TLS ينشئ اتصالاً آخر

يشتق Handshake Context من الاتصال الأول. يفشل إثبات أنشئ على A إذا تحقق على B. يملك وكيل إنهاء TLS سياقين حتى لو استخدم الاسم أو الشهادة نفسها.

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

الرفض الفارغ موثق

إذا لم يملك الطرف هوية مناسبة أو لم يرد تقديمها، يعيد empty authenticator: يبقى Finished وتغيب Certificate وCertificateVerify. يوثق MAC الرفض ولا يقدم هوية صالحة.

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

أربعة سجلات

يسجل الأول الاتصال والمصافحة وEMS. يسجل الثاني السياق والهدف والوقت والقناة. يسجل الثالث Certificate وCertificateVerify وFinished وسياسة X.509 والاتصال والرفض. ويسجل الرابع صاحب القرار والتدفق أو العملية والصلاحية القديمة والجديدة والسريان والانتهاء والتراجع.

لا تكفي نسبة نجاح واحدة؛ فقد ترتفع مع تكرار السياقات وتوسيع السلطة. وقد يكون فشل wrong connection دليلاً على أن الحد عمل كما ينبغي.

تسجل IANA labels، ويعرض OpenSSL وBoringSSL أساس exporter في الكود. لا يثبت ذلك نشر RFC 9261 أو صحة التفويض. لا تصبح المواصفة واقعاً إلا حين يمكن إعادة بناء التنفيذ من الطلب إلى القرار.

المصادر