Centered Arithmetic Is Not Leakage-Neutral: Finite-Noise Optimal Attacks and Minimax Laws for Modular Representations
تُثبت هذه الورقة أن تقنية قناع حساب المتمم الثنائي المتمركز هي بطبيعتها أكثر عرضة لهجمات القنوات الجانبية من القناع غير الموقّع، وذلك عبر توفير هجمات مثالية ذات ضجيج محدود دقيقة، وقانون تسرب طيفي جديد، وحدود سعة تثبت أن التخزين غير الموقّع يقلل من التسرب لمعظم المقاييس العملية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الخفي للأمن الرقمي، يمثل حماية المفاتيح السرية معركة مستمرة ضد المراقبين غير المرئيين. تخيل خزنة تحتوي على مفتاح رئيسي؛ إذا استطاع لص التلصص على استهلاك الطاقة أو الإشارات الكهرومغناطيسية للكمبيوتر الذي يستخدم ذلك المفتاح، فقد يسرق السر. ولإيقاف ذلك، يستخدم المهندسون تقنية تسمى "التقنيع" (masking). فبدلاً من التعامل مع الرقم السري مباشرة، يقومون بتفكيكه إلى عدة قطع عشوائية، أو "حصص" (shares)، ويجرون الحسابات على هذه القطع بشكل منفصل. وطالما ظلت هذه الحصص مستقلة ومشوبة بالضجيج، يظل السر مخفياً. ومع ذلك، فإن الكمبيوتر لا يخزن هذه الأرقام في فراغ؛ بل يخزنها كأنماط من المفاتيح الكهربائية، المعروفة باسم "البتات" (bits). إن الطريقة التي يختار بها الكمبيوتر كتابة رقم سالب — سواء كقيمة موجبة بسيطة أو بتنسيق محدد ذي إشارة — تغير نمط هذه المفاتيح. هذا الخيار يخلق إشارة ضئيلة وغير مقصودة، أو "تسريباً" (leakage)، قد يستغله المهاجم. لسنوات، تناظر الباحثون حول ما إذا كان استخدام تنسيق معين للأرقام السالبة، وهو أمر شائع في التشفير الحديث، آمناً أم أنه يكشف المعلومات سراً.
لقد حسمت دراسة جديدة أجراها خوسيه لويس ديلجادو من جامعة كاتالونيا المفتوحة (Universitat Oberta de Catalunya) هذا الجدل بإجابة قاطعة: إن كيفية اختيار طريقة تخزين هذه الأرقام أمر بالغ الأهمية، والطريقة الشائعة ليست آمنة كما كان يُعتقد سابقاً. يركز البحث على نوع معين من التشفير يُستخدم لحماية البيانات ضد الحواسيب الكمومية المستقبلية. في هذه الأنظمة، غالباً ما تُخزن الأرقام بتنسيق "مركزي" (centered)، حيث تُمثل القيم السالبة بالعديد من الواحدات في مقدمة كودها الثنائي، بدلاً من التنسيق "غير الموقع" (unsigned) القياسي المستخدم للأرقام الموجبة. ويوضح المؤلف أن هذا التنسيق المركزي يسرب معلومات أكثر بكثير من البديل غير الموقع. ومن خلال تطوير نموذج رياضي دقيق لكيفية سلوك هذه الإشارات تحت تأثير الضجيج، تثبت الدراسة أن التنسيق المركزي يخلق ضعفاً متميزاً وقابلاً للقياس يمكن للمهاجم استغلاله لاستعادة المفاتيح السرية بسرعة أكبر بكثير مما هو عليه في التنسيق غير الموقع.
لم يكتفِ الباحثون بالتخمين بشأن هذا الضعف؛ بل بنوا خريطة كاملة ودقيقة لتسريب المعلومات. لقد عاملوا تخزين الكمبيوتر كقناة تنقل البيانات، ولكن مع لمسة مختلفة: البيانات مشوشة بواسطة ضجيج عشوائي، تماماً كما تتشوه إشارة الراديو بسبب السكون (static). وباستخدام أدوات إحصائية متقدمة، حسبوا الاحتمالية الدقيقة لكل مفتاح سري محتمل بناءً على الإشارات المشوبة بالضجيج المرصودة. سمح هذا بتصميم الهجوم الأكثر كفاءة على الإطلاق، وهو هجوم يقيم كل مرشح سري في وقت ينمو ببطء شديد مع تعقيد النظام. وقد وجدوا أنه بينما يقلل التنسيق غير الموقع من التسريب عند المستوى الأساسي، فإن التنسيق المركزي يقدم نوعاً معيناً من تشويه الإشارة يصبح أكثر خطورة مع زيادة عدد "الحصص" الحمائية.
والأهم من ذلك، أن الدراسة تستبعد فكرة أن هذا التسريب ضئيل أو يمكن تجاهله إذا كان الضجيج مرتفعاً. فقد أثبت المؤلف أنه بالنسبة للتنسيق المركزي، فإن التسريب ليس مجرد خلل بسيط بل هو سمة هيكلية تستمر بغض النظر عن عدد الحصص العشوائية المستخدمة، بشرة أن يكون حجم كلمة الكمبيوتر (computer word size) غير متطابق تماماً مع النظام العددي. لقد حددوا عتبة دقيقة: إذا كان لدى كلمة الكمبيوتر ثلاث بتات إضافية من المساحة تتجاوز ما هو مطلوب بدقة لحمل الرقم، فإن التنسيق المركزي يصبح أسوأ بشكل صارخ من التنسيق غير الموقع. وفي الواقع، بالنسبة للأرقام المستخدمة في معايير التشفير العالمية الحالية، يسرب التنسيق المركزي معلومات أكثر بكHA لدرجة أن المهاجم سيحتاج إلى ملاحظات أقل بكثير للنجاح. وتؤكد الدراسة هذا من خلال اختبارات واقعية، بما في ذلك عمليات المحاكاة والتحليل من قياسات فعلية للأجهزة، مما يظهر أن الضعف النظري يترجم مباشرة إلى ثغرة عملية.
كما تستكشف الورقة البحثية ما إذا كانت هناك طريقة مثالية لتخزين هذه الأرقام لإخفاء كل التسريب. وجد الباحثون أن الطريقة الوحيدة للقضاء تماماً على الإشارة هي استخدام كود خاص حيث يتم تخزين كل رقم بنفس العدد بالضبط من مفاتيح التشغيل (on switches). وبينما يعد هذا ممكناً من الناحية النظرية، إلا أنه يتطلب مساحة تخزين أكبر بكثير مما هو عملي للأنظمة الحالية. وبالنسبة للأحجام القياسية المستخدمة في التطبيقات الواقعية، لا يوجد مثل هذا الكود المثالي. وبدلاً من ذلك، تقدم الدراسة قانوناً واضحاً يصف بالضبط كيف يتصرف التسريب، موضحاً أن التنسيق المركزي يخلق نمطاً قابلاً للتنبؤ به من الأخطاء يمكن للمهاجم استخدامه. هذا النمط متميز للغاية لدرجة أنه يسمح بوجود فصل بين طريقتي التخزين مضمون رياضياً، بغض النظر عن مستوى الضجيج.
إن تداعيات هذه النتائج فورية لتصميم البرمجيات الآمنة. تظهر الدراسة أن الممارسة الشائعة لاستخدام التمثيلات المركزية للأرقام السالبة في التشفير القائم على الشبكات (lattice-based cryptography) ليست محايدة؛ بل إنها تضر بالأمن فعلياً. يقدم المؤلف صيغاً دقيقة يمكن للمهندسين استخدامها لحساب المخاطر لأي تكوين نظام محدد. كما يقدم طريقة جديدة لاختبار الأمن أكثر كفاءة بكثير من التقنيات السابقة، وهي قادرة على تحليل الأنظمة المعقدة في جزء بسيط من الوقت. ومن خلال إثبات أن التنسيق المركزي ليس محايداً تجاه التسريب، تجبر هذه الأبحاث على إعادة تقييم كيفية بناء أنظمة التشفير الحرجة هذه. وهي تشير إلى أنه لتحقيق أعلى مستوى من الأمن، يجب على المطورين تجنب التنسيق المركزي لصالح البديل غير الموقع، أو على الأقل أن يكونوا على دراية تامة بالثغرات المحددة التي يسببها. ويقف هذا العمل كتحليل دقيق وكامل يحول القلق الغامض حول "التمثيل" إلى فهم دقيق وقابل للتطبيق للمخاطر الرقمية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.