ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM

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

لقًد تعلم المخترقون كيفية قراءة آثار الأقدام هذه. فمن خلال مراقبة الوقت الذي يستغرقه الطاهي لإدراك أن تخمينه كان خاطئاً والبدء من جديد، يمكنهم معرفة الوصفات السرية (مثل كلمات المرور أو مفاتيح التشفير) دون رؤية المكونات فعلياً. وهذا ما يُعرف بـ "هجوم القناة الجانبية" (side-channel attack). لفترة طويلة، حاول خبراء الأمن الإمساك بهؤلاء المخترقين عن طريق عدّ عدد المرات التي يلتقط فيها الطاهي سكيناً أو يفتح درجاً (باستخدام العدادات العتادية). لكن المخترقين أصبحوا أكثر دهاءً؛ فقد تعلموا كيفية إخفاء آثار أقدامهم جيداً لدرجة أن العدادات لم تعد قادرة على رؤيتها، خاصة في معالجات RISC-V الجديدة مفتوحة المصدر التي أصبحت تحظى بشعبية في كل شيء، من الهواتف إلى الأقمار الصناعية.

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

بنى الباحثون هذا النظام على معالج BOOM، وهو تصميم شهير مفتوح المصدر يعمل بمثابة مطبخ تجريبي لشرائح RISC-V. في البداية، تركوا الحاسوب يقوم بآلاف مهام الطهي العادية (أعباء العمل الحميدة)، ثم تركوا مخترقاً يحاول سرقة الأسرار باستخدام حيلتين مختلفتين: واحدة بسيطة وأخرى معقدة. ومن خلال تسجيل كل إشارة داخل عقل المعالج، استخدموا تقنية تنقيب عن البيانات تُسمى "تنقيب قواعد الارتباط" (association rule mining). تخيل هذا كتعليم الكمبيوتر التعرف على أنه كلما سقطت ملعقة من الطاهي، وأصدر الفرن صفيراً، وومضت الأضواء جميعها في آن واحد، فهذا ليس حادثاً عرضياً، بل هو إشارة إلى وجود لص في المطبخ.

وجد البحث أن هذه "الرقصات السرية" متسقة للغاية. فعندما يحاول مخترق استغلال آلية التخمين في المعالج، فإن ذلك يؤدي إلى سلسلة ردود فعل محددة: يدرك المعالج أنه أخطأ في تخمينه، ويحاول تصحيح مساره، ثم يتعين عليه مسح لوحه الذهني بالكامل للبدء من جديد. يحدث هذا عبر أجزاء مختلفة من المعالج في وقت واحد. اكتشف الباحثون 16 قاعدة محددة تصف هذا النمط الفوضوي. على سبيل المثال، إذا تطابقت إشارة "خطأ التنبؤ بالفرع" (branch misprediction) في الوحدة الرئيسية مع إشارة "التفريغ" (flush) في وحدة الذاكرة وإشارة "إعادة التوجيه" (redirect) في وحدة الجلب (fetch unit) جميعها في نفس الوقت، فمن المؤكد تقريباً أنها عملية هجوم.

وعندما بنوا مراقباً صغيراً غير اقتحامي داخل تصميم المعالج لمراقبة هذه القواعد الـ 16، كانت النتائج مذهلة. ففي عمليات المحاكاة التي أجروها، أمسك ANTMAN بالمخترقين بنسبة 100%. لم يهم إذا كان المخترق يستخدم حيلة بسيطة أو معقدة؛ فقد رصد النظام الهجوم بعد اكتمال 25% فقط من الهجوم في النسخة البسيطة، بل وأمسك بالمتغيرات المعقدة وغير المرئية قبل أن تُسرق الأسرار بالكامل. والأهم من ذلك، أنه لم يطلق "إنذاراً كاذباً" أبداً أثناء مهام الطهي العادية، محققاً صفراً من الإنذارات الخاطئة.

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