Comparative Timing Characterization of Early-Exit and Fixed-Work Secret Comparisons on ESP32 and ESP8266

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

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

رسمت النتائج صورة واضحة للضعف في الطريقة القياسية. ففي رقاقة ESP32 الأسرع، في كل مرة كان فيها رمز الاختبار يطابق حرفاً واحداً إضافياً من السر قبل الفشل، كانت الرقاقة تستغرق أربعين دورة ساعة إضافية بالضبط لإنهاء المهمة. وعلى رقاقة ESP8266 الأبطأ، كان التأخير قدره خمس وعشرون دورة لكل حرف إضافي متطابق. خلق هذا "درجاً" زمنياً مثالياً ومتوقعاً. فإذا تطابق الرمز مع صفر من الحروف، تنتهي الرقاقة بسرعة؛ وإذا تطابق مع خمسة عشر، فإنها تستغرق وقتاً أطول بكثير. في الواقع، كان التوقيت ثابتاً للغاية لدرجة أنه في كثير من مجموعات الاختبار، أنتجت كل محاولة من أصل ثلاثمائة محاولة نفس عدد دورات الساعة بالضبط. وبالنسبة لـ ESP32، كانت عملية قياس واحدة للوقت المستغرق كافية لإخبار الباحث بدقة عدد الحروف التي تطابقت مع السر في تلك الجلسة المحددة. وقد أكد هذا أن طريقة "التوقف المبكر" القياسية تسرب المعلومات مباشرة من خلال الوقت الذي يستغرقه التشغيل.

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

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

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