On the Figures of Merit for Quantum Software Security: Toward a Benchmarking Rubric
تعالج هذه الورقة الافتقار إلى مقاييس أمنية موحدة للبرمجيات الكمومية من خلال اقتراح مجموعة منظمة من معايير جودة الأمن (S-FoMs) المتوافقة مع معيار ISO/IEC 25010، ونموذج تقييم لحساب درجة موحدة لوضع الأمن البرمجي الكمومي (QSSP).
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل عالماً لا تكتفي فيه الحواسيب بمعالجة الأرقام عبر مفاتيح صغيرة، بل ترقص مع نسيج الواقع باستخدام جسيمات يمكنها التواجد في مكانين في آن واحد. هذا هو مجال الحوسبة الكمية، وهو مجال ينتقل بسرعة من حلم نظري إلى ممارسة هندسية واقعية. اليوم، معظم الناس لا يمتلكون هذه الآلات القوية؛ بدلاً من ذلك، يستأجرون وقتاً عليها عبر السحابة، وهي خدمة تُعرف باسم "الكم كخدمة" (QaaS). الأمر يشبه استئجار سيارة سباق فائقة السرعة: يمكنك قيادتها، لكنك لا تملك المحرك، وعليك أن تثق في المرآب الذي صنعها.
في الوقت الحالي، عندما نتحدث عن مدى جودة هذه الحواسيب الكمية، لدينا قائمة مرجعية واضحة جداً. نحن نقيس السرعة (مدى سرعة تشغيلها)، والنطاق (عدد البتات الكمية، أو "الكيوبتات"، التي تمتلكها)، والجودة (مدى موثوقية حفاظها على حالتها الكمية). الأمر يشبه تقييم سيارة بناءً على سرعتها القصوى، وقوة حصانها، ومدى سلاسة تحكمها في المنعطفات. ولكن هناك فجوة كبيرة: الأمن. بينما نعرف مدى سرعة السيارة، ليس لدينا طريقة معيارية لقياس مدى حمايتها ضد المتسللين، أو الجواسيس، أو الجيران المتلصصين في السحابة الذين قد يحاولون سرقة أسرارك أو تخريب سباقك. لدينا بعض الأدوات المتفرقة للتحقق من حيل معينة، ولكن لا يوجد نظام موحد ليقول: "هذا البرنامج أكثر أماناً من ذاك".
هنا يأتي دور ورقة البحث "حول مقاييس جدارة أمن البرمجيات الكمية". يرى المؤلفون، بادون رحمان، وماجد هاغباراست، وتومي ميكونين، أنه قد حان الوقت للتوقف عن التخمين والبدء في قياس أمن البرمجيات الكمية بنفس الدقة التي نستخدمها لقياس الأداء. إنهم يقترحون نظام "تقرير درجات" جديداً يسمى مقاييس جدارة الأمن (S-FoMs).
فكر في الوضع الحالي كأن مجموعة من الأشخاص يحاولون مقارنة قوة دروع مختلفة. يقف شخص ما ويحمل درعاً ويقول: "فعاليته 28.83%!" بينما يقول آخر: "درعي فعال بنسبة 1.92!". المشكلة هي أنهم يستخدمون مساطر مختلفة وتعاريف مختلفة لـ "الفعالية". أحدهم يقيس مدى تشويه الدرع لصورة، بينما يقيس الآخر مدى تحمله للضغط. لا يمكنك مقارنتهما مباشرة. يشير المؤلفون إلى أن هذا الارتباك هو السائد حالياً في الأمن الكمي. فبعض الأدوات تقيس مدى قدرتها على إخفاء منطق البرنامج (التعمية)، بينما تحاول أدوات أخرى قياس ما إذا كان بإمكان المتسلل سرقة الكود، لكنها جميعاً تتحدث لغات مختلفة.
لإصلاح ذلك، يبني الفريق إطاراً مهيكلاً يعتمد على معيار دولي شهير لجودة البرمجيات (ISO/IEC 25010). لقد قسموا الأمن إلى فئات مألوفة مثل السرية (الحفاظ على الأسرار)، والسلامة (التأكد من عدم العبث بالنتائج)، والموثوقية (إثبات هويتك)، والمقاومة (مقاومة الهجمات). ثم قاموا بربط هذه الفئات بمراحل الرحلة الكمية المختلفة، بدءاً من اللحظة التي يكتب فيها المطور الكود وصولاً إلى اللحظة التي تعود فيها النتيجة من السحابة.
تقترح الورقة عملية من ثلاث خطوات لإنشاء درجة واحدة قابلة للمقارنة لأي برنامج كمي:
- تحديد العدو: لا يمكنك قياس الأمان دون تحديد من تحمي نفسك منه. هل هو متسلل يحاول الهندسة العكسية لكودك؟ أم جار على نفس خادم السحابة يحاول التجسس على بياناتك؟ يصر المؤلفون على أن كل درجة أمن يجب أن تأتي مع "نموذج تهديد" واضح.
- توحيد الأرقام: يقترحون طريقة رياضية لتحويل كل تلك القياسات المربكة وغير المتوافقة (مثل مثال 28.83% مقابل 1.92%) إلى درجة معيارية من 0 إلى 1. في هذا النظام الجديد، تعني 1 "آمن للغاية" وتعني 0 "مكشوف تماماً". وهذا يسمح لك بمقارنة أداة تخفي الأسرار بأداة تمنع العبث على نفس المقياس.
- إنشاء درجة مركبة: أخيراً، يقترحون دمج هذه الدرجات الموحدة في رقم واحد يسمى وضع أمن البرمجيات الكمية (QSSP). هذا يعطيك "درجة صحية" لأمن البرنامج. ومع ذلك، فهم ينبهون بحذر إلى أن الأمن غالباً ما يأتي بتكلفة (مثل البطء في السرعة أو تعقيد الكود). لذا، فهم يتتبعون أيضاً هذا "العبء الأمني" بشكل منفصل، لضمان عدم تقييم الأداة بناءً على مدى أمانها فحسب، بل وأيضاً على مدى إبطائها لعملك.
لإثبات وجهة نظرهم، أخذ المؤلفون طريقتين موجودتين لإخفاء الكود الكمي وأعادا تحليلهما باستخدام نظامهما الجديد. وقد أظهرا أنه تحت القواعد القديمة الفوضوية، كانت النتائج مستحيلة المقارنة بشكل عادل. ولكن بمجرد تطبيق "المسطرة" الجديدة والتعاريف المعيارية، تمكنوا بوضوح من رؤية أي طريقة توفر حماية أفضل وبأي تكلفة.
لا تدعي الورقة أنها حلت كل مشاكل الأمن في العالم الكمي. بدلاً من ذلك، هي تقدم مخططاً توجيهياً. إنها تقترح أننا بحاجة للانتقال من القياسات العشوية والمؤقتة إلى طريقة موحدة ومعيارية للتحدث عن الأمن. ومن خلال القيام بذلك، يمكن للمطورين والمستخدمين أخيراً اتخاذ قرارات مدروسة، وهم يعلمون تماماً مدى أمان برمجياتهم الكمية وكيف تقف أمام المنافسة. إنها الخطوة الأولى نحو مستقبل يمكننا فيه الوثوق بالسحابة الكمية بقدر ثقتنا في سرعة المحرك الكمي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.