GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

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

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

طبق الباحثون هذه الطريقة الجديدة على أحدث جيل من المعايير التشفيرية، وتحديداً تلك المصممة للصمود أمام الهجمات من الحواسيب الكمومية المستقبلية. لقد أخذوا نظاماً محدداً واسع الاستخدام يسمى ML-KEM وقارنوه بنظام كلاسيكي معروف جيداً وهو AES. وتحت القواعد القياسية المستخدمة من قبل المعهد الوطني للمعايير والتكنولوجيا الأمريكي (NIST)، والتي تحسب فقط الوقت المستغرق لتنفيذ الهجوم، بدا النظام الجديد أضعف قليلاً من النظام الكلاسيكي. ومع ذلك، عندما عدل الباحثون القواعد لتشمل تكلفة الذاكرة — وهو عامل تعتبره بعض الوكالات الأمنية الأوروبية أمراً بالغ الأهمية — بدا النظام الجديد فجأة أقوى بكثير. لقد أثبتت الدراسة أن تغيراً طفيفاً في كيفية تسعير الذاكرة، بنسبة 4.5% فقط من قيمتها بالنسبة للوقت، كافٍ لقلب الترتيب تماماً. وهذا ليس خطأً أو خطأً في الحساب؛ بل هو حقيقة هندسية أساسية حول كيفية سلوك هذه الأنظمة. وقد أوضح الباحثون أنه لا يمكن لأي رقم واحد مثالي أن يلتقط الحقيقة للجميع، لأن الأنظمة تتقاطع فعلياً فيما بينها اعتماداً على المنظور.

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

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

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

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