NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens

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

لإيقاف هذا، وضع خبراء الأمن قاعدة: "لا تكتفِ باستخدام المفتاح فحسب؛ بل قم بتغييره في كل مرة تستخدمه". وهذا ما يسمى بـ التدوير (rotation). الأمر يشبه امتلاك قفل سحري، في كل مرة تدير فيها المفتاح، يخرج قفلاً جديداً تماماً ويدمر القديم فوراً. إذا حاول لص استخدام المفتاح القديم الذي تم تدميره، يجب أن يصرخ النظام: "مهلاً! هناك شخص يحاول استخدام مفتاح ميت! أغلقوا كل شيء!". ومع ذلك، فإن كتاب القواعد الحالي لهذا النظام يشبه اقتراحاً غامضاً أكثر من كونه دليلاً صارماً. فهو يقول: "يجب عليك تغيير المفاتيح"، لكنه لا يشرح بالضبط كيف تبني القفل، أو ماذا تفعل إذا حاول شخصان تدوير القفل في نفس الميلي ثانية بالضبط، أو كيف تتعامل مع حالة ضياع رسالة في البريد. وبسبب هذا الغموض، تبني الشركات المختلفة أقفالها بطرق متنوعة، وأحياناً، تخلق هذه الاختلافات أبواباً خلفية سرية يمكن للصوص التسلل من خلالها دون أن يلاحظ أحد.

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

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

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

لم يكتفِ المؤلف بكتابة القواعد فحسب؛ بل بنى عشر نسخ مختلفة من هذا القفل باستخدام عشر لغات برمجة مختلفة (مثل بايثون، وجافا، ورست) ليثبت أنها جميعاً تعمل بنفس الطريقة تماماً. كما أنشأ ملف اختبار ضخماً يحتوي على 38 سيناريو مختلفاً — مثل "ماذا يحدث إذا كان الإنترنت بطيئاً؟" أو "ماذا لو حاول شخص استخدام مفتاح تم تغييره بالفعل؟" — وشغلها على النسخ العشر جميعاً. والنتيجة؟ اجتازت كل نسخة كل اختبار.

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

باختصار، لا تهدف NEBULA إلى اختراع نوع جديد من السحر؛ بل تهدف إلى الاتفاق أخيراً على كيفية أداء الخدعة السحرية بدقة حتى لا يترك أحد الباب مفتوحاً عن غير قصد. إنها تحول الاقتراح الغامض إلى معيار دقيق، مختبر، وشديد المتانة للحفاظ على سلامة هوياتنا الرقمية.