الخلاصة

  • تضيف النسخة 06 من مسودة Agent Audit Trail الفردية قاعدة تقول إن غياب سجل ختامي من نوع session_end يمنع وصف الجلسة المقدَّمة بأنها مكتملة، مهما نجحت فحوص تجزئة السلسلة السابقة.
  • وفي السلسلة الموقّعة، ينبغي أن تحمل علامة استبدال السجل المحذوف توقيعًا جديدًا على محتواها هي، صادرًا عن جهة الحذف المخوّلة، لا توقيع السجل القديم.

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

نشر Raza Sharif النسخة 06 من مسودته الفردية في 29 سبتمبر. وأضيفت إلى القسم 6.3 خطوة تحقق عاشرة: إذا لم يكن آخر سجل معروض هو سجل إغلاق يحمل الحدث session_end، فلا يجوز للمتحقق إعلان اكتمال الجلسة. عليه أن يصف اكتمالها بأنه غير محسوم وأن ذيلها غير قابل للتحقق، ولو اجتازت المادة المعروضة الخطوات التسع السابقة. وتذكر المسودة سجل الإغلاق، وتواتر نبضات معلنًا مسبقًا، أو تثبيتًا خارجيًا، وسائل لتحديد حدود الذيل. أما تسلسل التجزئات وحده فيثبت اتساق الجزء الموجود، ولا يثبت عدم اقتطاع ما بعده.

كانت النسخة 05 تتحدث أصلًا عن إغلاق الجلسة ونبضات المتابعة. ما استُحدث الآن هو إلزام المتحقق بالاحتفاظ بالفارق في النتيجة. ربما توقّف الوكيل بعطل ولم ينتج سجل الإغلاق؛ وهذا لا يساوي تلقائيًا وجود تلاعب. غير أن سبب الغياب، أيًا كان، لا يبيح تحويل «الروابط سليمة» إلى «الجلسة مكتملة». والقول الثاني أوسع من الدليل المتاح.

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

هنا يظهر حدّان للمساءلة: مَن يستطيع إقامة دليل على نهاية الجلسة، ومَن يملك سلطة استبدال دليل قائم؟ يقترح Daniel Kade أن يرافق تسليم سجل التدقيق بيانٌ يذكر آخر تسلسل، وحالة الإغلاق أو النبض والتثبيت الخارجي، وحكم المتحقق بشأن الاكتمال، وهوية الجهة التي وقّعت أي حذف. هذا اقتراح تحريري لإدارة القرار، لا نموذجًا مفروضًا في المسودة.

تصف صفحة Datatracker الوثيقة بأنها Internet-Draft فردية نشطة في حالة I-D Exists، بلا مسار RFC أو اعتماد رسمي من IETF. ولا تسجل المصادر واقعة اختراق تشغيلية. المعلومة الجديرة بالنشر أدق من ادعاء الخطر المحقق: أصبح على نتيجة التدقيق أن تفصل بوضوح بين سلامة السجلات المقدمة، واكتمال الجلسة، وشرعية الحذف.

المصادر