الخلاصة

  • تعدّ المراجعة 13 البيانات المصادَق عليها والمرتبطة مع النص الصريح. قياس الحمولة المشفرة وحدها يهمل عملاً يدخل فعلاً في الحد الأمني.
  • الرسائل المحمية ومحاولات التحقق الفاشلة والـnonce وعدد المفاتيح وأكبر تعرض لمفتاح واحد إيصالات منفصلة قد يقطعها عداد محلي لعملية أو اتصال.
  • المعادلات والجداول أمثلة وليست دورة تدوير عامة. يختار التطبيق الخطر، وعلى التشغيل إثبات العد والرفض والتفعيل والسحب.

المعادلة لا تشغّل عداد الإنتاج

نشر Crypto Forum Research Group في 3 سبتمبر 2026 المراجعة 13 من Usage Limits on AEAD Algorithms. يصرح النص الآن بأنه ناتج عن إجماع CFRG، لكنه يبقى Internet-Draft في مسار IRTF، وقد يتغير أو ينتهي أو لا يصبح RFC.

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

توفر المسودة حداً تقنياً مشتركاً. وتظل سلطة اختيار الخطر ودليل التنفيذ عند الجهة التي تدير النظام.

التطبيق يختار معنى «منخفض بما يكفي»

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

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

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

بيانات AAD جزء من الإنفاق

تعرّف المراجعة 13 الرمز s بأنه مجموع النص الصريح والبيانات الإضافية المصادَق عليها، ويشمل L كليهما. لا تُشفّر AAD، لكنها تدخل في حساب المصادقة. وقد تزيد الرؤوس وأرقام التسلسل ووسوم السياق العمل من دون أن تظهر في المتن السري.

عداد يراقب بايتات التطبيق فقط يقلل التعرض الظاهر. وفي CCM يشمل العمل كتل AAD والنص المشفر والنص الصريح وعملية إضافية، وتستعمل المسودة 2L كتقريب محافظ. الدرس التشغيلي هو أن حجم المرور المرئي ليس تلقائياً كمية الأمان.

النجاح والرفض ينفقان رصيدين مختلفين

يمثل q الرسائل التي حماها النظام، ويمثل v محاولات فك التشفير أو التزوير الفاشلة. يرى الكاتب الأول، بينما يرى القارئ وطبقة الدفاع الثاني. إذا لم يجتمعا في دفتر واحد فقد يضبط النظام ميزانية السرية ويغفل ميزانية السلامة.

يوضح AES-CCM_8 الخطر بسبب علامة 64 بت. قيمة 2^13 في مثال المفتاح الواحد ليست قاعدة عامة. المهم أن المرور العدائي الذي رُفض بنجاح يمكن أن يستهلك سلطة تحقق نادرة لا تظهر في عداد المعاملات الناجحة.

يجب تسجيل الفشل قبل أن يختفي في مسار الخطأ. وقد يخفف تحديد المعدل العبء، لكنه لا يحل محل دفتر التشفير ما لم يغط العمليات والمفاتيح نفسها.

إجمالي المجموعة وأشد مفاتيحها حملاً

تخص الحدود في القسم 6 مفتاحاً واحداً ولا تصلح لتعدد المفاتيح، حتى عندما ينشأ التعدد من إعادة التشفير داخل اتصال. في القسم 7 يكفي المهاجم كسر أي مفتاح في المجموعة.

يقلل التدوير العمل تحت مفتاح بعينه ويزيد عدد المفاتيح. يحتاج التحليل إلى مجموع q وv وإلى أكبر عدد كتل تحت مفتاح واحد: B للتشفير أو C للتشفير وفك التشفير. يخفي المتوسط مفتاحاً ساخناً، وتخفي العدادات الفردية أفضلية الاختيار من مجموعة كبيرة.

لا ينبغي لإعادة تشغيل حاوية أو تبديل منطقة أو نقل عميل أن يمنح ميزانية جديدة إذا لم يتغير النموذج التشفيري. يتبع النطاق المفتاح والتحليل لا عمر لوحة المراقبة.

الـnonce بوابة مستقلة

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

وتوضح المراجعة 13 متى يصبح الشرط s + q + v < 2^64 هو القيد الملزم لـGCM. يجب أن يغلق أول قيد يُستنفد باب القبول.

للتدوير أربعة أوقات

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

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

ما لم تثبته المصادر

لم يُختبر تطبيق TLS أو طرف QUIC أو سحابة أو VPN أو قاعدة بيانات أو جهاز أو مدير مفاتيح. المصافحة الناجحة لا تثبت الرصيد، والعلامة الصحيحة لا تثبت تاريخ العد، وسجل التدوير لا يثبت انتقال كل الكتّاب.

لا تثبت المصادر حادثة أو استغلالاً أو انتشاراً أو أداءً أو مطابقة تنفيذ. قيمة المراجعة أنها تجعل سؤال الدليل أدق.

المصادر