Security evaluation of quantum distance-bounding protocols via semidefinite programming
تقيم هذه الورقة أمن بروتوكولات تحديد المسافة الكمومية من خلال عزل طورها السريع واستخدام البرمجة شبه المحددة لحساب احتمالات هجمات الاحتيال في المسافة (distance-fraud) وهجمات المافيا (mafia-fraud) ذات الجولة الواحدة المثلى للأنظمة ذات المتغيرات المنفصلة، مع تقديم تقديرات أيضاً لسيناريوهات المتغيرات المستمرة.
المؤلفون الأصليون:Kevin Bogner, Aysajan Abidin, Dave Singelée, Bart Preneel
تخيل عالماً لا تفتح فيه سيارتك إلا إذا كان مفتاح التحكم الخاص بك بجانبك تماماً، حيث لا يستطيع اللص خداع النظام عبر إعادة توجيه الإشارات من مفتاح موجود على بُعد أميال. هذا هو الوعد الذي تقدمه بروتوكولات "تحديد المسافة" (distance-bounding protocols): وهي أنظمة رقمية لا تتحقق فقط من امتلاكك للرمز السري الصحيح، بل تتحقق أيضاً مما إذا كنت تقف بالفعل في المكان الذي تدعيه. في العالم الكلاسيكي، يعتمد هذا على قياس المدة التي تستغرقها إشارة راديوية للارتداد. ولكن مع تقدم التكنولوجيا، ينقل العلماء هذه التحققات إلى المجال الكمي، باستخدام جسيمات الضوء لإنشاء ضمانات زمنية غير قابية للكسر. ومع ذلك، كان التحدي يكمد في أن كل تصميم كمي جديد يتصرف بشكل مختلف، مما يجعل من المستحيل تقريباً مقارنة أمنها بشكل عادل؛ فقد يكون أحد التصاميم قوياً ضد نوع معين من الخداع، بينما يفشل تصميم آخر أمام نوع مختلف، مما يترك الباحثين دون مقياس مشترك للحكم على أي الأنظمة آمنة حقاً.
لقد تمكن فريق من الباحثين في جامعة "كي يو لوفن" (KU Leuven) في بلجيكا الآن من حل مشكلة المقارنة هذه عبر إنشاء ميدان اختبار عالمي لعمليات التحقق من المسافة الكمية هذه. لقد ركزوا على اللحظة الأكثر حرجاً في هذه البروتوكولات: "المرحلة السريعة" (fast phase)، وهي تبادل يحدث في جزء من الثانية حيث يجب على الطرف المُثبِت (prover) الإجابة على تحدٍ ما قبل أن يتمكن الضوء من السفر من موقع بعيد. ومن خلال عزل هذه الجولة الواحدة من الاتصال، طور الفريق طريقة رياضية لحساب أفضل معدل نجاح ممكن لمهاجم يحاول الخداع. وبدلاً من التخمين أو محاكاة حيل محددة، استخدموا أداة تحسين قوية تسمى "البرمجة شبه المحددة" (semidefinite programming) لرسم خريطة لكل استراتيجية يمكن للمهاجم استخدامها، مما يضمن عدم إغفال أي ثغرة محتملة. سمح هذا النهج بتحديد الحدود الأمنية الدقيقة لعدة بروتوكولات كمية رائدة، وكشف عن أي منها يصمد وأيها أكثر عرضة للاختراق مما كان يُعتقد سابقاً.
طبق الباحثون هذه الطريقة على أربعة بروتوكولات كمية متميزة، ثلاثة منها يستخدم جسيمات فردية من الضوء وواحد يستخدم موجات مستمرة من الضوء. بالنسبة للأنظمة القائمة على الجسيمات، قدمت الرياضيات إجابات دقيقة لا تقبل الشك. ووجدوا أنه بالنسبة لأكثر أنواع الخداع شيوعاً، حيث يحاول مستخدم غير أمين التظاهر بأنه أقرب مما هو عليه في الواقع، فإن معدل النجاح هو خمسون بالمائة بالضبط عبر جميع البروتوكولات القائمة على الجسيمات التي درسوها. وهذا يعني أنه في جولة واحدة، ليس لدى المخادع البعيد فرصة أفضل من رمي عملة معدنية. ومع ذلك، تتغير القصة بالنسبة للبروتوكول الذي يستخدم الموجات المستمرة من الضوء، حيث ينخفض معدل النجاح لهذا النوع نفسه من الخداع بشكل ملحوظ إلى حوالي ستة وثلاثين بالمائة. وتتغير القصة أيضاً عند النظر في هجوم أكثر تعقيداً، حيث يعمل فريق من المجرمين معاً — أحدهم يقف بالقرب من الطرف المُحقِّق والآخر بالقرب من المستخدم الصادق — لإعادة توجيه المعلومات. في هذا السيناريو، أدت البروتوكولات أداءً مختلفاً للغاية؛ فقد اكتشف الفريق أن البروتوكول الأكثر دراسة على نطاق واسع، والمعروف باسم (QDB 2019)، هو في الواقع أقل أماناً مما كان يُعتقد سابقاً، حيث أظهر تحليل جديد أن المهاجم يمكنه النجاح بنسبة تسعين بالمائة تقريباً. كما أثبت بروتوكول آخر، يسمى (Mutual QDB)، أنه أضعف من التقديرات السابقة، حيث ارتفع معدل نجاح المهاجمين إلى خمسة وسبعين بالمائة.
ولعل الاكتشاف الأكثر أهمية كان لبروتوكولين لم يخضعا أبداً لاختبار صارم بهذه الطريقة من قبل. فبالنسبة لبروتوكول يعتمد على تصميم "إي 91" (E91) الشهير للتشابك، حسب الباحثون أول أرقام أمنية، ووجدوا أن المهاجم يمكنه النجاح بنسبة تسعة وتسعين بالمائة تقريباً في سيناريو الاحتيال بأسلوب "المافيا". وبالمثل، قدموا تقديرات لأول مرة لبروتوكول يستخدم الموجات المستمرة من الضوء، أظهرت معدل نجاح يبلغ حوالي واحد وتسعين بالمائة لنفس النوع من الهجوم. هذه الأرقام ليست مجرد تخمينات نظرية؛ فبالنسبة للبروتوكولات القائمة على الجسيمات، أنتج الفريق شهادات رياضية تثبت أنه لا توجد استراتيجية أخرى يمكن أن تحقق نتيجة أفضل. الأمر يشبه العثور على أعلى قمة في سلسلة جبال: بمجرد حصولك على الخريطة والبرهان، ستعرف بالتأكيد أنه لا يمكن لأحد تسلق أعلى منها.
كما أوضحت الدراسة سبب عدم إدراج بعض التصاميم القديمة في هذه المقارنة. فقد اعتمد أحد البروتوكولات المبكرة على توقيع رقمي نهائي لإثبات الأصالة، ولكن عندما جرد الباحثون هذا التوقيع لاختبار آلية التوقيت وحدها، انهار النظام تماماً، مما سمح للمهاجم بالنجاح بنسبة مائة بالمائ المئة. وقد أكد هذا مبدأً حيوياً: وهو أن آلية التوقيت نفسها يجب أن تكون قوية بما يكفي للتحقق من هوية المستخدم، وليس مجرد الاعتماد على فحص لاحق. وأكد الباحثون أن هذه النتائج تنطبق على جولة واحدة من الاتصال. وفي نظام حقيقي يتضمن جولات عديدة، سيكون الأمن أعلى بكثير، لكن معرفة الحد الدقيق لجولة واحدة هو الخطوة الأولى والأساسية لبناء نظام كامل وآمن. ومن خلال تقديم هذه الأرقام الدقيقة والقابلة للمقارنة، منح الفريق المهندسين طريقة واضحة لاختيار البروتوكولات الأكثر متانة لمستقبل التكنولوجيا الآمنة القائمة على تحديد الموقع.
العنوان: تقييم أمني لبروتوكولات تحديد المسافة الكمومية عبر البرمجة شبه المحددة
بيان المشكلة تهدف بروتوكولات تحديد المسافة الكمومية (QDB) إلى التحقق من أن المُثبِت (prover) يمتلك مفتاحاً سرياً صالحاً وأنه يتواجد فعلياً ضمن مسافة محددة من المُتحقِّق (verifier). تستخدم هذه البروتوكولات مرحلة "سريعة" (fast phase) من التواصل الكمومي لفرض قيود المسافة. ومع ذلك، فإن مقارنة أمن البروتوكولات المختلفة أمر صعب لأن الهجمات المثلى تعتمد بشكل كبير على البنية المحددة للمرحلة السريعة في كل بروتوكول. تركز الأدبيات الحالية غالباً على هجمات خاصة بكل بروتوكول، مما يفتقر إلى أساس موحد للمقارنة بين مختلف متغيرات الـ QDB (مثل بروتوكولات الإعداد والقياس مقابل بروتوكولات القائم على التشابك). علاوة على ذلك، بينما تمت دراسة التحقق من الموقع الكمومي (QPV) بشكل مكثف، فإن نماذج الهجوم الخاصة بها تتضمن مشاكل تحسين غير محدبة (nonconvex) بسبب انفصال المهاجمين، مما يجعل الحلول الدقيقة صعبة. تعالج هذه الورقة الحاجة إلى إطار عمل موحد لتقييم ومقارنة أمن بروتوكولات QDB ضد احتيال المسافة (DF) واحتيال المافيا (MF) في إطار الجولة الواحدة.
المنهجية يستخدم المؤلفون إطار عمل أمن QDB الذي وضعه [BASP26] لصياغة قدرات الخصوم في سيناريوهات DF و MF. يقومون بعزل المرحلة السريعة للبروتوكول إلى ألعاب من جولة واحدة ونمذجة استراتيجيات الهجوم المثلى باستخدام البرمجة شبه المحددة (SDP).
الـ QDB ذو المتغيرات المنفصلة (DV): بالنسبة لبروتوكولات DV-QDB، يوضح المؤلفون أن مجموعات الاستراتيجيات لكل من DF و MF تقبل تمثيلات دقيقة باستخدام الـ SDP.
احتيال المسافة (Distance Fraud): يجب على المُثبِت البعيد إعداد حالة كمومية دون معرفة تحدي المُتحقِّق. يختزل هذا إلى "SDP الحالة" (state SDP)، حيث يقوم الخصم بتحسين مصفوفة كثافة لتعظيم احتمالية القبول.
احتيال المافيا (Mafia Fraud): يعمل الخصم كزوج متعاون (واحد بالقرب من المُتحقِّق والآخر بالقرب من المُثبِت) ولكن يتم نمذجته كاستراتيجية تسلسلية واحدة في لعبة الجولة الواحدة. يقوم الخصم بعملية "استعلام مسبق" (pre-ask) (استجواب المُثبِت الصادق) قبل وصول التحدي الزمني، ثم يخزن النظام الكمومي، وبعد ذلك يعالج النظام مع تحدي المُتحقِّق. تُمثل هذه الاستراتيجية ذات الخطوتين كـ "مشط ثنائي الفتحات" (two-slot comb)، مما يؤدي إلى "SDP المشط" (comb SDP).
القابلية للحل الدقيق: على عكس QPV، حيث تؤدي الطبيعة المنقسمة للمهاجمين إلى تحسين غير محدب، فإن خصم MF في لعبة الجولة الواحدة لـ QDB ينهار إلى استراتيجية تسلسلية. هذا يسمح لقيمة الـ SDP المثلى بأن تساوي قيمة اللعبة الدقيقة بدلاً من كونها مجرد حد للاسترخاء (relaxation bound). يتحقق المؤلفون من هذه القيم باستخدام شهود (witnesses) أولية (هجوم) وثنائية (شهادة) متطابقة في الحساب الدقيق.
الـ QDB ذو المتغيرات المستمرة (CV): بالنسبة لـ CV-QDB، تمنع فضاءات الحالة ذات الأبعاد اللانهائية صياغة SDP دقيقة. بدلاً من ذلك، يستخدم المؤلفون نموذج هجوم غاوسي مُعاير. يقدمون تقديرات احتمالية النجاح المستمدة من بحث شبكي محدود فوق المعاملات الغاوصية (سعة المجس، زوايا القياس) تحت فرضية عدم إضافة ضوضاء الاستجابة لتعظيم إمكانات المهاجم.
المساهمات الرئيسية
إطار عمل موحد: تضع الورقة طريقة موحدة لمقارنة بروتوكولات QDB عن طريق اختزال مراحلها السريعة إلى ألعاب DF و MF من جولة واحدة قابلة للحل عبر SDP.
صياغات SDP دقيقة: تقدم الورقة أول تمثيلات SDP دقيقة لمساحة الاستراتيجية الكاملة لهجمات DV-QDB ذات الجولة الواحدة، مما يميزها عن نهج الاسترخاء الشائع في QPV.
حدود أمنية جديدة:
QDB 2019: تجد الدراسة هجوماً أقوى لـ MF (pMF∗≈0.9045) مما تم الإبلاغ عنه سابقاً ($0.875$)، وذلك من خلال الحفاظ على الحالة الكمومية سليمة أثناء الاستعلام المسبق بدلاً من إسقاطها إلى تقدير كلاسيكي.
Mutual QDB: تسجل الدراسة قيمة MF جديدة قدرها $0.75،ممايحسنعنالقيمةالمبلغعنهاسابقاًوهي0.625$.
E91 QDB: تقدم الورقة أول قيم مسجلة لـ DF ($0.5)وMF(\approx 0.9332$) لهذا البروتوكول في جولة واحدة.
CV-QDB: تقدم تقديرات أولية لـ DF (≈0.3592) و MF (≈0.9138) لكل جولة لبروتوكول Gaussian CV-QDB.
الاعتماد (Certification): بالنسبة لجميع نتائج DV، يقدم المؤلفون شهوداً أولية وثنائية صريحة تم التحقق منها بالحساب الدقيق، مما يضمن أن القيم المبلغ عنها هي حدود عليا ودنيا صارمة.
النتائج
احتيال المسافة (DF): بالنسبة لجميع بروتوكولات المتغيرات المنفصلة التي تم تحليلها، فإن احتمالية نجاح DF المثلى في جولة واحدة هي بالضبط $0.5$. يشير هذا إلى أن DF لا يميز بين أمن هذه التصميمات المحددة لـ DV-QDB.
احتيال المافيا (MF): تختلف قيم MF بشكل كبير عبر البروتوكولات، حيث تتراوح من $0.75$ (Mutual QDB) إلى $0.9332$ (E91 QDB). يعتمد التباين على مدى فعالية قدرة الخصم على تحويل المعلومات المكتسبة من الاستعلام المسبق إلى استجابة صالحة لتحدٍ جديد.
تقديرات CV-QDB: يظهر بروتوكول CV-QDB احتمالية DF أقل (≈0.36) مقارنة ببروتوكولات DV بسبب الطبيعة المستمرة لعتبة القبول، ولكن احتمالية MF عالية (≈0.91). هذه القيم هي تقديرات تعتمد على معاملات معايرة محددة (الاعتصار/squeezing، العتبة، حدود الطاقة).
QDB 2017: تشير الورقة إلى أن QDB 2017، الذي يعتمد على MAC نهائي للمصادقة بدلاً من المرحلة السريعة نفسها، يعطي قيمة MF تساوي $1$ في لعبة الجولة الواحدة (حيث يتم تجريد الـ MAC). يسلط هذا الضيد الضوء على أن تحديد المدى والمصادقة لا يمكن فصلهما؛ إذ يجب أن توفر المرحلة السريعة وحدها مقاومة لـ MF.
الأهمية والادعاءات تدعي الورقة أن مساهمتها الأساسية هي القدرة على مقارنة بروتوكولات QDB على أرضية مشتركة باستخدام صياغات محدبة دقيقة (SDPs) لأنظمة المتغيرات المنفصلة. وهذا يتناقض مع QPV، حيث يكون تحسين الهجوم بشكل عام غير محدب. يؤكد المؤلفون أن هذه النتائج هي لـ ألعاب المرحلة السريعة المختزلة ذات الجولة الواحدة ولا تعادل مباشرة احتمالات الاحتيال في البروتوكول الكامل، والتي تتضمن ارتباطات متعددة الجولات واستراتيجيات تكيفية. ومع ذلك، فإن قيم الجولة الواحدة المبلغ عنها تعمل كالثوابت الضرورية لتحليلات الأمن متعدد الجولات (على سبيل المثال، عبر حدود التركيز). تعمل هذه الدراسة على تحديث الفهم الأمني للبروتوكولات الحالية (QDB 2019، Mutual QDB) من خلال تحديد هجمات أقوى، وتقدم أول مقاييس كمية لأمن E91 QDB و CV-QDB. يذكر المؤلفون صراحةً أن احتيال الإرهاب (TF) يقع خارج نطاق هذا التحليل ذي الجولة الواحدة.