الخلاصة

  • تنتج ISAAC في RFC 9986 قيم المصادقة في صفحات تضم كل منها 256 قيمة. إنشاء الصفحة التالية عملية غير قابلة للعكس وتزيل الصفحة الحالية.
  • إذا احتاج فحص حزمة إلى عبور ذلك الحد، فعلى المستقبل أولاً حفظ نسخة من حالة ISAAC كاملة. التطابق يعتمد الحالة الجديدة، والفشل يعيد النسخة السابقة.
  • يثبت هذا النمط استمرار مرسل أصيل في جلسة قائمة بحالة Up، ولا يثبت سلامة محتوى الحزمة كله أو صحة خدمة من طرف إلى طرف. يجب أن يوثّق التشغيل مساري الاعتماد والاستعادة من دون كشف الأسرار.

حين يطلب الإدخال المشكوك فيه من أداة الفحص أن تتقدم

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

تعرّف RFC 9986 نمط Meticulous Keyed ISAAC لهذا المسار الأخف. يبدأ تيار شبه عشوائي من سر مشترك وSeed خاصة بالجلسة ومواد مأخوذة من BFD Discriminators. تخرج ISAAC القيم ذات 32 بت في صفحات من 256 عنصراً. العثور على قيمة داخل الصفحة منخفض التكلفة؛ أما تجاوز آخر عنصر فيستدعي دالة mixing لإنشاء صفحة جديدة.

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

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

يبقى الفحص قابلاً للتراجع إلى أن تكسب الحزمة الثقة.

فقد الحزم يسمح بنظرة محدودة إلى الأمام

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

لكن الإذن محاط بنافذة. بعد معرفة آخر رقم مستلم، يجب أن يقع الرقم الجديد بين القيمة التالية وحتى مسافة تساوي ثلاثة أضعاف Detect Mult، وفق فضاء دائري من 32 بت. ما يقع خارجها يُسقط؛ وما يقع داخلها يمكن اختباره، وقد يدفع الاختبار إلى صفحة جديدة.

سجل يكتفي بعبارة «نجح» أو «فشل» لا يفسر الواقعة. يلزم حفظ الرقم السابق، والرقم الوارد، وDetect Mult، والنافذة المحسوبة، وقاعدة الصفحة وفهرسها، وما إذا حدث mixing. في النجاح يظهر أن checkpoint اكتملت قبل الخلط ثم وقع التطابق واعتمدت القاعدة الجديدة. وفي الفشل يظهر أن بصمة الحالة القديمة غير القابلة لإعادة البناء عادت كما كانت.

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

أصالة المرسل لا تعني مصادقة المحتوى كله

تحمل صيغة ISAAC معرّف المفتاح ورقم التسلسل وSeed وناتجاً من 32 بت. يُرفض النوع أو النمط أو الطول أو المعرّف أو النطاق أو Seed أو Auth Key غير الصحيح.

لكن الناتج لا يتضمن hash أو ملخصاً لحزمة BFD Control. توضح RFC 9986 أن محتوى الحزمة كاملاً لا يخضع للمصادقة. يثبت التطابق أن الطرف الأصيل وحده يستطيع إنتاج إشارة الاستمرار، ولا يثبت سلامة كل حقل.

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

ولـBFD نطاق ضيق أيضاً. إشارة Up لا تثبت عمل التطبيق، أو صحة المسار، أو وصول العميل إلى الخدمة، أو مرور حمولة محددة من طرف إلى طرف. إنها إجابة عن جلسة بعينها، وليست شهادة صحة شاملة.

تجربة تصرّح بثمنها

Ashesh Mishra واحد من خمسة مؤلفين لـRFC 9986 مع Alan DeKok وMahesh Jethanandani وSonal Agarwal وJeffrey Haas. ويظهر اسمه كذلك في المسودة السابقة لعام 2017، وفي RFC 9985، وفي براءة أقدم عن تحسين فحوص سلامة BFD. يربطه هذا السجل بالمشكلة عبر سنوات، لكنه لا يحوّل عملاً جماعياً إلى اختراع فردي.

الوثيقة Experimental ضمن IETF وليست Internet Standard. وهي لا تقدم ISAAC حلاً عاماً؛ فتحليلها المشفّر محدود، واختيرت لأجهزة تفتقر إلى تسريع مناسب. عندما يتوفر التسريع لا تمنح ميزة، وتعدها الوثيقة غير ملائمة لبروتوكولات IETF الأخرى.

توزيع الأسرار خارج النطاق. لا توجد طريقة معرفة لتبديل Auth Key ID أثناء الجلسة وإعادة التزامن؛ تدوير المفتاح يتطلب تعطيل الجلسة إدارياً وإعادة تهيئتها. وقد يقلل فصل مفاتيح النمطين القوي والخفيف من أثر كشف مفتاح، لكنه يرفع خطر اختلاف إعداد الطرفين وسقوط الجلسة عند الانتقال.

لا تلغي المواصفة هذه الاختيارات. إنها تضع الحد المشترك ثم تعيد القرارات الباقية إلى من يملك أدوات التحكم بها.

اختبار ما يحدث بعد كلمة «مرفوض»

الاختبار الأكثر كشفاً يضع حزمة خاطئة بعد حد الصفحة مباشرة، مع إبقائها داخل نافذة الفقد المسموح. يأخذ المختبر بصمة خاصة للحالة، ويحقن Auth Key خاطئة، ثم يثبت الترتيب: اكتملت النسخة، حدث mixing، فشلت المقارنة، وعادت البصمة القديمة نفسها. بعدها تُرسل الحزمة الصحيحة التالية للتأكد من أن المستقبل ما زال يقبلها.

يُكرر ذلك مع Seed ومعرّف ونمط وطول خاطئة، وقفزات داخل النافذة وخارجها، والتفاف عداد 32 بت. كما تُقاس الذاكرة والزمن للنسخ والخلط والاستعادة والعمل العادي. ولا ينبغي لسيل من الحزم المستقبلية الباطلة أن يسبب نمواً بلا حد في CPU أو الذاكرة أو الحالات المرشحة.

يحمل الإيصال العام نسخة البرنامج، والجلسة، وتذكرة التغيير، ومعرّفاً غير سري، والنافذة، والقاعدة، والفهرس، وبصمة مبهمة، والتوقيت، وقرار الاعتماد أو الاستعادة. ويضيف آخر فحص قوي وتجربة تدوير تتضمن إعادة التشغيل. هكذا يُثبت السلوك من دون نشر مادة المصادقة.

سلطة لا تتجاوز سطح التحكم

وفق اختبار agency لدى Lu Heng، يحدد المؤلفون الثابت القابل للتشغيل البيني؛ ويختار المنفذ طريقة تمثيل النسخة وحمايتها؛ ويختار المشغل المفاتيح ودورية الفحص القوي وإعادة التشغيل؛ ويقرر running code لدى النظير تطابق القيمة المحددة. لا يستطيع طرف أن يعد بما يتحكم فيه طرف آخر.

تثبت المواصفة الأولية الدنيا قاعدتي «احفظ قبل أن تدمر» و«استعد بعد الفشل» من دون توحيد كل تخطيط للذاكرة. تبقى القرارات المستقبلية محلية، لكنها تتحرك داخل حد يمكن اختباره.

ويأتي الإيصال الأخير من running code. تصف كلمة MUST الفرع الصحيح، لكنها لا تثبت أن مسار الفشل النادر في جهاز معين يعيد الحالة فعلاً. حقن الأعطال والبصمات قبل الاختبار وبعده وقبول الحزمة الصحيحة التالية تكمل الإثبات.

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

المصادر