Limiting Cross-Session Reuse of Table-Specific Attack Information: Session Diversification of S-Boxes with Per-Instance Cryptographic Guarantees
تقدم هذه الورقة البحثية QSD-SBox، وهو مخطط لتنويع الجلسات يقوم بإنشاء صناديق تبديل (S-boxes) فريدة من نوعها بحجم (8×8) لكل جلسة باستخدام تحويلات تآلفية مشتقة من بذرة (seed)، وذلك لمنع إعادة استخدام معلومات الهجوم الخاصة بالجدول عبر الجلسات بشكل فعال مع الحفاظ على ضمانات تشفيرية صارمة لكل حالة دون عبء البحث أثناء وقت التشغيل.
المؤلفون الأصليون:Annas Malik, Ghulam Mustafa, You-Rak Choi, Ki-Il Kim
في عالم الأمن الرقمي، تعتمد الطريقة الأكثر شيوعاً لإخفاء الرسائل على كتاب قواعد محدد وغير متغير لخلط الحروف. تخيل قاموساً ضخماً وثابتاً حيث يتم استبدال كل حرف من حروف الأبجدية بحرف آخر محدد بشكل دائم. هذه الأداة، المعروفة في علم التشفير باسم "صندوق الاستبدال" (substitution box)، هي المحرك الذي يجعل التشفير الحديث صعب الاختراق. ولعقود من الزمن، كان الإصدار الأكثر موثوقية لهذه الأداة عبارة عن جدول واحد ثابت تستخدمه المليارات من الأجهزة. تكمن المشكلة في أنه نظرًا لأن هذا الجدول لا يتغير أبدًا، فإن المهاجم الماهر الذي يدرسه مرة واحدة يمكنه بناء خريطة مفصلة لنقاط ضعفه. وبمجرد رسم هذه الخريطة، يمكن إعادة استخدامها مراراً وتكراراً لكسر رسائل مختلفة، حتى لو تغير المفتاح السري المستخدم لقفلها؛ فالجدول نفسه يبقى كما هو، وبالتالي تظل الثغرات التي يحملها مفتوحة.
اقترح فريق من الباحثين حلاً يحافظ على قوة الأداة الأصلية مع القضاء على خطر إعادة استخدام الخرائط القديمة. فقد طوروا نظاماً يسمى (QSD-SBox)، يقوم بتوليد جدول خلط جديد وفريد لكل جلسة اتصال على حدة. فبدلاً من الاعتماد على قاموس واحد ثابت، ينشئ النظام قاموساً جديداً في كل مرة يبدأ فيها جهازان بالتواصل. ومن الأهمية بمكان أن هذه الجداول الجديدة ليست تخمينات عشوائية، بل هي مضمونة رياضياً لتكون بنفس قوة النسخة الأصلية الموثوقة. ومن خلال تغيير الجدول الملموس مع كل جلسة، وجد الباحثون أن أي معرفة تفصيلية قد جمعها المهاجم من جلسة سابقة تصبح عديمة الفائدة؛ إذ إن نقاط الضعف المحددة في الجدول القديم لا تنتقل إلى الجدول الجديد، مما يجبر المهاجم على بدء عمله من الصفر في كل مرة.
بنى الباحثون هذا النظام عبر أخذ النواة الرياضية للجدول الثابت الموثوق وتغليفها بطبقة من العشوائية تتغير مع كل جلسة. وقد استخدموا مصدراً للعشوائية مستمداً من ميكانيكا الكم — وتحديداً سلوك الجسيمات دون الذرية — لضمان أن تكون الجداول الجديدة غير قابلة للتنبؤ حقاً. تتضمن هذه العملية أخذ البيانات الخام من هذه الأحداث الكمومية، وتنظيفها لإزالة أي انحيازات صغيرة، ثم استخدامها لخلط المدخلات والمخرجات لعملية التشفير. والنتيجة هي جدول يبدو مختلفاً على السطح ولكنه يحتفظ بنفس الدرع الرياضي العميق للجدول الأصلي. وقد اختبر الفريق هذا النهج من خلال توليد ما يقرب من مليون زوج من الجلسات لمعرفة ما إذا كان يمكن استخدام الأنماط الموجودة في إحدى الجلسات لكسر الجلسة التالية. وكانت النتائج واضحة: أنماط الهجوم المحددة التي نجحت في الجلسة الأولى فشلت تماماً في الجلسة الثانية، ولم تكن أفضل من التخمين العشوائي.
لإثبات نجاح هذه الطريقة في العالم الحقيقي، بنى الفريق نظاماً نموذجياً لتأمين المكالمات الصوتية. في هذا الاختبار، أنشأ جهازان اتصالاً آمناً وبدآ في تبادل البيانات الصوتية. وفي كل بضع ثوانٍ، كانا ينتقلان تلقائياً إلى جدول خلط جديد، مع التزامن بدقة دون أن يلاحظ المستخدم ذلك. نجح النظام في حماية الصوت، حتى عندما فُقدت بعض حزم البيانات في الشبكة أو حدثت تأخيرات. وقاس الباحثون الوقت المستغرق لإنشاء جدول جديد ووجدوا أن حاسوباً قياسياً يمكنه توليد جدول جديد في غضون 136 ميكروثانية فقط، وهي سرعة كافية للتعامل مع المحادثات في الوقت الفعلي دون أي تأخير. وقد أثبت ذلك أن الترقية الأمنية لا تأتي على حساب الأداء أو سهولة الاستخدام.
كما تناولت الدراسة مخاوف شائعة بشأن الأنظمة الديناميكية، وهي أن جعل الأشياء تتغير قد يؤدي بالخطأ إلى إضعافها. فقد تحقق الباحثون بدقة من الخصائص الرياضية لكل جدول جديد قاموا بتوليده، وأكدوا أن كل جدول يحافظ على أعلى مستويات المقاومة ضد أنواع الهجمات الرياضية المعروفة. لم تكن الجداول الجديدة مختلفة فحسب، بل كانت متينة بنفس القدر. الشيء الوحيد الذي تغير هو الترتيب المحدد للأرقام، مما يعني أن "البصمات" التفصيلية للجدول القديم لا يمكن تطبيقها على الجدول الجديد. هذا النهج يحد بفعالية من قيمة العمل السابق للمهاجم، محولاً إياه من ميزة طويلة الأمد إلى سلسلة من التحديات القصيرة والمعزولة.
بينما أظهر النظام وعداً كبيراً في عمليات المحاكاة والاختبارات المنضبطة، فقد كان الباحثون حذرين في تحديد حدوده. فأمن الجداول الجديدة يعتمد على سرية "البذرة" (seed) المستخدمة لتوليدها، ويفترض النموذج الحالي أن مصدر الكم المستخدم لإنشاء هذه البذور هو مصدر موثوق. كما أشار الفريق إلى أنه بينما يهزم النظام الهجمات القائمة على التخطيط المحدد للجدول، فإنه لا يحمي من الهجمات التي تستهدف البيانات المدخلة قبل تشفيرها. علاوة على ذلك، أُجريت الاختبارات في بيئة محاكاة، ويخطط الباحثون للتحقق من النتائج على أجهزة مادية في المستقبل. ورغم هذه القيود، فإن هذا العمل يوفر مساراً واضحاً نحو نوع من الأمن يتطور مع كل محادثة، مما يضمن أن الأدوات المستخدمة لحماية حياتنا الرقمية تظل دائماً متقدمة بخطوة على أولئك الذين يحاولون اختراقها.
ملخص تقني: الحد من إعادة استخدام معلومات الهجوم الخاصة بالجداول عبر الجلسات
بيان المشكلة تسمح صناديق الاستبدال (S-boxes) ثابتة البنية، مثل تلك المستخدمة في معيار AES، بإجراء تحليل تشفيري دقيق، ولكنها تخلق ثغرة تتعلق بإعادة استخدام معلومات الهجوم الخاصة بالجداول عبر الج sessions (الجلسات) المختلفة. فبمجرد أن يقوم المهاجم بتوصيف (profiling) صندوق S-box معين — من خلال توليد الخصائص التفاضلية، أو التقريبات الخطية، أو المسارات المفضلة، أو قوالب القنوات الجانبية — تظل هذه المعلومات صالحة عبر جميع الجلسات والمفاتيح اللاحقة، طالما ظل صندوق S-box دون تغيير. ولا يعد تغيير المفتاح (rekeying) وحده كافيًا لتخفيف هذه المخاطر. وبينما توجد مخططات لصناديق S-box ديناميكية تهدف لتنويع الجداول، إلا أن العديد منها يعتمد على خرائط فوضوية (chaotic maps)، أو استدلالات (heuristics)، أو عمليات بحث وقت التشغيل التي غالبًا ما تضعف الجودة التشفيرية (مثل عدم الخطية أو الانتظام التفاضلي) أو تفشل في تقديم ضمانات لكل حالة (per-instance). هناك فجوة في المخططات التي تقدم في الوقت ذاته ضمانات تشفيرية مثبتة لكل حالة مُولدة، وتقيم صراحةً مدى تقليل انتقال بيانات الهجوم الخاصة بالجداول بين الجلسات.
المنهجية: QSD-SBox يقدم البحث QSD-SBox، وهو مخطط لتنويع الجلسات لصناديق S-box بحجم 8×8. البناء الأساسي يولد صندوق S-box متميزًا لكل جلسة باستخدام الصيغة S=Aout∘I∘Ain، حيث:
I هو المعكوس الضربي في GF(28) (الأصل الأساسي لصندوق AES S-box).
Ain و Aout هما تحويلان خطيان تقابليان (affine permutations) قابلان للعكس، ويتم اشتقاقهما من بذرة (seed) الجلسة.
يتم اشتقاق البذرة من مولد أرقام عشوائية كمي (QRNG) بناءً على إطار عمل OTQuSbox، رغم أن المخطط مستقل عن مصدر البذرة (تم التحقق منه مقابل CSPRNGs).
الميزات التقنية الرئيسية:
التكافؤ الخطي (Affine Equivalence): من خلال بناء صندوق S-box كتحويل خطي لدالة المعكوس، يضمن المخطط أن كل حالة مُولدة تنتمي إلى نفس فئة التكافؤ الخطي لصندوق AES، مما يعني أن كل نسخة ناتجة تتبع نفس الخصائص الرياضية.
ضمانات لكل حالة (Per-Instance Guarantees): نظرًا لأن الخصائص التشفيرية ثابتة تحت التكافؤ الخطي، فإن كل صندوق S-box مُولد يضمن رياضيًا:
عدم الخطية (Nonlinearity - NL) = 112
الانتظام التفاضلي (δ) = 4
الدرجة الجبرية (Algebraic Degree) = 7
انتظام البوميرانج (Boomerang Uniformity) = 6 يتم تحقيق هذه الخصائص دون الحاجة إلى بحث أو تحسين وقت التشغيل.
تكييف البذرة (Seed Conditioning): تتضمن عملية توليد البذرة اختبارات صحة (SP 800-90B)، وتبييض (whitening) عبر عملية XOR لتقليل الانحياز، وتكييف عبر SHAKE-256 لإنتاج بذرة بحجم 128 بايت. تقود هذه البذرة اشتقاق الخرائط الخطية والثوابت (α,β).
التنفيذ: يقوم تنفيذ بلغة C بتوليد صندوق S-box في حوالي 136 ميكروثانية. تم دمج المخطط في تشفير (QSD-BC) يحاكي هيكل AES-128، وفي دراسة حالة جدوى (QSD-Audio) للوسائط الصوتية الموثقة والمقاومة للحوسبة الكمية.
المساهمات الرئيسية
تنويع الجلسات بضمانات مثبتة: على عكس صناديق S-box الديناميكية السابقة التي تضحي بالأمن مقابل التنويع، يوفر QSD-SBox جدولاً متميزًا لكل جلسة مع الحفاظ على الحدود التشفيرية الراسخة لبناء المعكوس.
التقييم الكمي لانتقال المعلومات عبر الجلسات: يقيس البحث صراحةً مقدار المعلومات "الخاصة بالجدول" التي تنتقل بين الجلسات. ويميز بين المعلومات الثابتة (التي تظل قابلة للانتقال حسب التصميم) والمعلومات الخاصة بالجدول (مثل مواقع أفضل الخصائص، أو مسارات محددة، أو قوالب القنوات الجانبية).
التحقق التجريبي:
الحدود التشفيرية: تم التحقق منها عبر 1,000 جلسة محاكاة و488 جلسة تعتمد على بذور عتادية (hardware-seeded).
تحليل انتقال البيانات عبر الجلسات: تم تقييم 999,000 زوج مرتب من الجلسات.
محاكاة القناة الجانبية: تم إجراء هجمات القوالب (template attacks) بمقارنة صناديق AES الثابتة مع QSD-SBox.
النتائج
القوة التشفيرية: حافظ كل صندوق S-box مُولد على NL=112، وδ=4، والدرجة=7، وانتظام البوميرانج=6. كما طابق الحد الأدنى لعدد صناديق S-box النشطة عبر جولتين حد AES (5 صناديق نشطة) في جميع الجلسات المختبرة.
انتقال المعلومات عبر الجلسات:
الخصائص التفاضلية، والتقريبات الخطية، والمسارات عبر جولتين التي تم توصيفها في جلسة واحدة، لم تنتقل إلى جلسة أخرى إلا بمستوى "الصدفة" (chance level).
في هجوم قالب محاكى باستخدام صندوق AES ثابت، كانت 50 عملية تتبع كافية لاستعادة مفتاح كامل. أما عند استخدام QSD-SBox، فإن القالب المبني على جلسة واحدة لم يستعد أي بايتات مفتاح أكثر من التخمين العشوائي في الجلسة التالية، حتى مع استخدام 2,000 عملية تتبع.
يشير البحث إلى أن الهجمات التي تعتمد فقط على الثوابت الخطية أو تسريب مدخلات S-box (الذي لا يتضمن الجدول) تظل فعالة، وهذا هو المقصود؛ فالهدف هو تحديدًا إبطال مفعول التوصيف (profiling) الخاص بالجدول.
الأداء: يقوم تنفيذ لغة C بتوليد صندوق S-box في 136 ميكروثانية. في نموذج QSD-Audio الأولي، كان العبء الإضافي لتدوير S-box ضئيلاً للغاية (عامل وقت حقيقي قدره 6.1×10−4 في لغة C)، رغم أن تنفيذات Python كانت أبطأ بكثير.
التحقق الرسمي: تم التحقق من منطق المصافحة والإطارات (handshake and frame logic) في QSD-Audio باستخدام ProVerif، مما أثبت خصائص المصادقة، والسرية، والسرية الأمامية (forward secrecy). وقد تم تحديد وإصلاح خلل في إعادة التشغيل (replay flaw) يتعلق بمعالجة فهرس الإطار أثناء هذه العملية.
الأهمية والادعاءات يدعي البحث بتواضع أن QSD-SBox ليس "أداة غير خطية" (nonlinear primitive) جديدة مصممة لتكون أقوى من AES S-box. بدلاً من ذلك، تكمن أهميته في كونه آلية لتنويع الجلسات التي:
تحافظ على الضمانات التشفيرية المثبتة لكل حالة.
تحد بفعالية من إعادة استخدام معلومات الهجوم الخاصة بالجدول (التفاضلية، الخطية، المسارات، وقوالب القنوات الجانبية) عبر الجلسات إلى مستوى الصدفة.
تثبت أن هذا النوع من التنويع يمكن تحقيقه عمليًا بتكلفة حوسبية منخفضة ودون الاعتماد على الاستدلالات التي تضعف الأمن.
يؤكد المؤلفون أن الهدف الأمني أضيق من الادعاء بوجود تشفير "أقوى"؛ بل الهدف هو ضمان أن المعرفة المكتسبة عن جدول ملموس لجلسة واحدة لا تنطبق تلقائيًا على الجلسة التالية، مما يجبر المهاجم على إعادة التوصيف (re-profiling) لكل جلسة بينما تظل القوة الجبرية الأساسية ثابتة.