Physics-Guided Security-Aware Co-Design of SAC-OCDMA Links with Design-Held-Out SSFM Validation
تقدم هذه الورقة إطار عمل للتصميم المشترك متعدد الأهداف وموجه بالفيزياء لروابط SAC-OCDMA الآمنة، يدمج نمذجة المتنصت التحليلية مع التحقق باستخدام طريقة فورييه للخطوات المتتالية المستبعدة في التصميم لتحديد التكوينات المثلى في منحنى باريتو التي تحقق إرسالاً آمناً وموثوقاً لمسافة تصل إلى 65 كم.
في الطرق السريعة غير المرئية للاتصالات الحديثة، تنتقل البيانات كنبضات من الضوء عبر الألياف الزجاجية، حاملةً كل شيء من التحويلات المصرفية إلى مكالمات الفيديو. وللحفاظ على حركة هذا المرور بسلاسة، يستخدم المهندسون طريقة تسمى الوصول المتعدد بتقسيم الكود البصري (optical code-division multiple access)، والتي تسمح للعديد من المستخدمين بمشاركة نفس الليف الضوئي في الوقت ذاته من خلال منح كل شخص بصمة طيفية فريدة، مثل نمط لوني متميز. ومع ذلك، فإن هذه المساحة المشتركة تخلق ثغرة أمنية: فإذا تمكن مستمع خبيث، أو متصنت، من مراقبة الضوء بدقة كافية، فقد يحاول هندسة هذه الأنماط عكسياً لسرقة البيانات. ويتمثل التحدي الذي يواجه العلماء ليس فقط في جعل النظام يعمل، بل في تصميمه بحيث يظل آمناً ضد مهاجم مصمم، مع الاستمرار في تقديم معلومات موثوقة إلى المستقبل المقصود. يتطلب هذا عملية توازن دقيقة، حيث إن زيادة قوة الإشارة لمساعدة المستقبل قد تؤدي بالخطأ إلى خلق تشوهات تساعد المهاجم، أو حيث إن تشديد الأمن قد يجعل الاتصال هشاً للغاية بحيث لا يصمد خلال الرحلة.
لقد عالج فريق من الباحثين هذه المشكلة المعقدة من خلال إنشاء إطار عمل تصميمي جديد يعامل البنية الفيزيائية لأكواد البيانات وظروف الإرسال كنظام واحد مترابط. وبدلاً من اختبار إعداد ثابت واحد، استكشفوا آلاف التوليفات الممكنة من أطوال الأكواد، وعدد المستخدمين، وقوة الإشارة، وأنواع الألياف. كان هدفهم هو العثور على الإعدادات المحددة التي يكون فيها النظام سريعاً بما يكفي للاستخدام العملي وآمناً بما يكفي لمقاومة مهاجم يمكنه القيام بما يصل إلى مليون تخمين للكود السري. لقد بنوا مسار اختبار صارم استخدم أولاً نماذج رياضية لتصفية الخيارات المستحيلة أو غير الآمنة، ثم استخدم محاكاة حاسوبية عالية الدقة للتحقق من المرشحين الأكثر واعدية، وأخيراً أخضعوا أفضل النتائج لعملية تحقق متعددة الطبقات وصارمة لضمان صمودها أمام المتغيرات الواقعية.
بدأ الباحثون بمراجعة ثمانية وأربعين تصميماً هيكلياً مختلفاً لأكواد البيانات. وطبقوا قواعد صارمة لضمان إمكانية الوجود الفيزيائي للأكواد، ثم فحصوا آلاف نقاط التشغيل المحتملة، مع تغيير المسافة التي سيقطعها الضوء، والتباعد بين القنوات المختلفة، ومقدار تشتت الألياف، وهو ميل النبضات الضوئية للانتشار عبر المسافة. قاموا بمحاكاة مهاجم يمتلك ميزانية قدرها مليون محاولة لتخمين نمط الكود الصحيح. ومن خلال عملية الفحص الهائلة هذه، قلصوا المجال إلى بضعة آلاف من المرشحين القابلين للتطبيق. ومن بينهم، حددوا ستة وتسعين حلاً مثالياً قدمت أفضل المقايضات بين السرعة، وكفاءة الطاقة، والأمن. لم تكن هذه الحلول نظرية فحسب؛ بل أخضعها الفريق لتدقيق مستهدف حيث أعادوا تشغيل أكثر عمليات المحاكاة حرجاً من البداية للتأكد من النتائج.
كشفت النتائج النهائية عن حدود واضحة للمسافة التي يمكن أن تصل إليها هذه الاتصالات الآمنة. ففي ظل ظروف تشتت الألياف المنخفض، يمكن للنظام نقل البيانات بشكل موثوق حتى مسافة خمسة وستين كيلومتراً. وعندما تكون الألياف ذات تشتت أعلى، مما يؤدي إلى تدهور الإشارة بشكل أسرع، تنخفض النطاق الآمن إلى خمسة وخمسين كيلومتراً. تمثل هذه الأرقام المسافة القصوى حيث لا يزال بإمكان المستقبل المقصود فك تشفير الرسالة بوضوح بينما يظل المهاجم غير قادر على استعادة الكود السري، حتى مع ملايين تخميناته. كما وجدت الدراسة أن النظام يكون أكثر أماناً عند استخدام أوزان أكواد محددة، أو عدد ترددات الضوء النشطة لكل مستخدم، مما يقلل بشكل كبير من فرصة نجاح المهاجم في تخمين النمط.
ولضمان أن هذه النتائج لم تكن مجرد نتاج تشغيل حاسوبي واحد، اختبر الباحثون أفضل سبعة وعشرين نقطة تحت ظروف متعددة. أجروا عمليات المحاكاة باستخدام بذور عشوائية وفترات زمنية مختلفة لمعرفة ما إذا كانت النتائج ستصمد، وتحققوا من مدى حساسية النظام لطول البيانات المرسلة. واكتشفوا أنه بالنسبة للنقاط الأكثر حساسية، كانت نافذة بيانات تبلغ 512 بت كافية للحفاظ على الاستقرار، في حين أن نافذة أكبر تبلغ 1024 بت لم تقدم أي ميزة تذكر. كما أجروا فحصاً منفصلاً ومبسطاً باستخدام برنامج محاكاة تجاري للتحقق من أن منطق المستقبل يعمل بشكل صحيح عند تطابق أنماط التأخير مقابل عدم تطابقها. في هذا الاختبار، نجح المستقبل المقصود في فك تشفير الإشارة بينما فشل المهاجم المحاكى، الذي يستخدم نمطاً غير متطابق، في استخراج أي معلومات مفيدة.
تستبعد الدراسة صراحةً فكرة أن تصميماً واحداً يصلح لجميع المواقف. فقد وجدوا أن ما ينجح لمسافة قصيرة مع تشتت منخفض لا ينجح بالضرورة للمسافات الأطول أو لأنواع الألياف المختلفة. علاوة على ذلك، أوضحوا أن ادعاءاتهم الأمنية تستند إلى نموذج محدد لمهاجم يخمن الأكواد بشكل مستقل؛ ولم يدعوا إلى إثبات سرية تشفيرية مطلقة ضد كل أنواع الهجمات الممكنة، مثل تلك التي تتضمن قنوات جانبية أو متصنتين متعاونين. يعمل هذا العمل كنموذج لكيفية بناء هذه الأنظمة، موضحاً أنه من خلال التصميم المشترك بعناية لهيكل الكود وبيئة الإرسال، يمكن إنشاء روابط بصرية قوية وآمنة في آن واحد. وخلص الباحثون إلى أنه بينما توفر محاكاتهم الحاسوبية أساساً قوياً، فإن القرارات النهائية بشأن مكان تشغيل هذه الأنظمة يجب أن يتم تأكيدها دائماً من خلال اختبار مباشر عالي الدقة لضمان أن فيزياء الضوء تسلك تماماً كما هو متوقع.
ملخص تقني: التصميم المشترك الموجه بالفيزياء والآمن أمنياً لروابط SAC-OCDMA
بيان المشكلة يتطلب الوصول الآمن عبر تقنية الوصول المتعدد بتقسيم الكود البصري ذو الترميز الطيفي-السعوي (SAC-OCDMA) تحسيناً مشتركاً لبنية الكود، وموارد الإرسال، وأمن الطبقة الفيزيائية. لقد تعاملت الأبحاث الحالية إلى حد كبير مع بناء الكود وقمع التداخل بشكل منفصل عن الادعاءات الأمنية، أو اعتمدت على طرق التحسين العشوائية التي تفتقر إلى القابلية للتدقيق. علاوة على ذلك، فإن المحاكاة عالية الدقة للانتشار غير الخطي في الألياف (عبر طريقة شاشة فوريه المجزأة - SSFM) عبر كامل فضاء التصميم المشترك لمعلمات الكود، وأحمال المستخدمين، ومسافات الإرسال، تعد أمراً باهظ التكلفة من الناحية الحسابية. هناك حاجة إلى إطار عمل يدمج تصميم الكود التوافقي، ونمذجة المتنصت التحليلية، ومحاكاة الانتشار القائمة على الفيزياء لإنتاج حدود تشغيل آمنة وموثوقة وقابلة للتدقيق دون الاعتماد على أدوات تحسين عشوائية غير موثقة.
المنهجية يقترح المؤلفون إطار عمل للتصميم المشترك متعدد الأهداف "موجه بالفيزياء" يقوم بتوزيع سلطة القرار عبر سير عمل مهيكل بدلاً من دمج معادلة شرودنجر غير الخطية مباشرة في دالة هدف بديلة. وتتقدم المنهجية عبر المراحل التالية:
1. الفرز الهيكلي والتحليلي:
تدقيق الكود: يتم تصفية نطاق أولي من 48 تصميماً هيكلياً (تتنوع فيها طول الكود L، والوزن w، وحمل المستخدم K) بواسطة معيار جدوى الارتباط المتبادل الصفري (Kw≤L)، مما يقلص المجموعة إلى 23 مرشحاً.
نمذجة الأمن: تم تعريف نموذج كمي للمتنصت (Eve) بناءً على إحصائيات التداخل ذات الوزن الثابت. يُفترض أن لدى (Eve) ميزانية تصل إلى 106 من التخمينات المستقلة. وتشمل القيود الأمنية حدود معدل تسرب المعلومات (ILR)، واحتمالية التسرب الموجبة، واحتمالية الأمان والموثوقية، واحتمالية استعادة الكود الكامل.
الفرز شبه التحليلي: يتم تقييم شبكة خشنة مكونة من 3,450 نقطة موارد (مزيج من القدرة، والمسافة، وتباعد القنوات، والتشتت) مقابل النموذج الأمني التحليلي وقيود الرابط الأساسية، مما يستبقي 330 نقطة عبر ستة تصميمات أكواد قابلة للتطبيق.
2. النمذجة البديلة الموجهة بالفيزياء:
توليد البيانات: يتم إنشاء مجموعة بيانات طبقية مكونة من 108 نقاط تشغيل متعددة التصاميم باستخدام محاكاة SSFM المباشرة. تتضمن هذه المجموعة نقاطاً آمنة، وإخفاقات في الحدود الفيزيائية، وإخفاقات في الحدود الأمنية.
بناء النموذج البديل: يتم تدريب نماذج بديلة من نوع (quadratic-ridge) تعتمد على الميزات الفيزيائية للتنبؤ بمعامل Q الناتج عن SSFM و log10(BER). ومن الأهمية بمكان أن النماذج تستخدم "التحقق من التصميم المستبعد" (leave-one-design-out) لضمان عدم إفراط النموذج البديل في ملاءمة هياكل أكواد محددة (overfitting).
دور النموذج البديل: يقتصر دور النموذج البديل بدقة على فحص وترتيب المرشحين ضمن النطاق المدعوم؛ ولا يقوم بتقديم شهادة اعتماد للحدود التشغيلية النهائية.
يقوم إطار العمل بإجراء حصر دقيق لـ 25,092 مرشحاً مدعوماً عبر التصميمات الستة القابلة للتطبيق.
يحدد التحسين متعدد الأهداف 96 نقطة مثالية لباريتو بناءً على الإنتاجية الآمنة، والكفاءة الطيفية، وسعة السرية، وإجمالي قدرة الإطلاق.
4. التدقيق المباشر وتأهيل المتانة:
التدقيق المستهدف: يتم إعادة تقييم مجموعة محددة من 39 نقطة من نقاط باريتو والحدود باستخدام محاكاة SSFM المباشرة للتحقق من تنبؤات النموذج البديل.
آلية الإنقاذ: إذا فشلت نقطة باريتو في التدقيق المباشر، يتم تفعيل بحث "الإنقاذ التكيفي" المحلي لإيجاد نقطة مجازة قريبة.
التأهيل العددي: تخضع المجموعة النهائية من النقاط لاختبارات متانة صارمة، بما في ذلك محاكاة متعددة الفتحات/متعددة البذور، وفحوصات تقارب خطوات الانتشار (بتدقيق أحجام الخطوات للحالات الحساسة)، وتحليل حساسية نافذة البت (مقارنة نوافذ 512 بت مقابل 1024 بت).
5. فحص التنفيذ المستقل:
يتم إجراء محاكاة مخفضة باستخدام برنامج OptiSystem 23.0 على نموذج تجريبي أحادي المسار بأربعة أطوال موجية عند مسافة 39 كم. يعمل هذا كفحص لمكون واحد للتحقق من منطق الاستقبال في حالات التطابق وعدم التطابق في التأخير، دون التحقق من كامل فضاء البحث متعدد المستخدمين أو السرية التشفيرية.
النتائج الرئيسية
تقليص فضاء التصميم: من فراد 48 تصميماً أولياً، تم دعم 6 تصميمات فقط بواسطة مجموعة بيانات SSFS متعددة التصاميم بعد تطبيق القيود الأمنية والفيزيائية.
مجموعة باريتو: ينتج عن التركيب النهائي 15 نقطة فريدة من نقاط باريتو المدققة مباشرة، و25 تعييناً لدور الهدف عبر خمسة سيناريوهات مسافة وتشتت قابلة للتطبيق.
حدود الأمان والموثوقية: تحدد الدراسة حدوداً مشتركة تم التحقق منها مباشرة للتشغيل الآمن والموثوق:
65 كم لتشتت D=2 ps/(nm·km).
55 كم لتشتت D=17 ps/(nm·km). هذه الحدود هي حدود مركبة حيث تتطابق موثوقية (Bob) المباشرة عبر SSFM (حيث Q≥6 و BER≤10−9) مع القيود الأمنية التحليلية.
أداء النموذج البديل: حقق النموذج البديل الهجين المتداخل اتفاقاً في القرار بنسبة 92.31% في مجموعة التدقيق المستهدفة. وقد كان النموذج متحفظاً عن قصد، حيث سجل صفر حالات إيجابية خاطئة في مجموعة التطوير ولكنه أغفل 46 حالة مجازة (سلبية خاطئة)، مما يؤكد فائدته كأداة فحص وليس كأداة اعتماد.
نجاح الإنقاذ: فشلت نقطة واحدة من نقاط باريتو في التدقيق المباشر (بسبب Q<6). نجح بحث الإنقاذ التكيفي في تحديد نقطة بديلة بزيادة قدرها 0.25 dBm في القدرة، مما أعاد Q إلى 6.3057 مع خسارة ضئيلة في الإنتاجية.
التحقق عبر OptiSystem: في النموذج التجريبي المصغر لـ 39 كم، حافظ المستقبل الشرعي (Bob) على Q≈6.46 مع وجود عملية تنصت (Eve) بنسبة 1% وتأخير غير متطابق، بينما فشلت (Eve) في فك التشفير (Q=0). ومع ذلك، عندما تطابق تأخير (Eve)، استُعيدت عملية فك التشفير، مما عزل تأثير نمط التأخير دون إثبات السرية التشفيرية.
الأهمية والادعاءات يدعي البحث تقديم بنية اتخاذ قرار شاملة وقابلة لتتبع الادعاءات لتصميم SAC-OCDMA المشترك. وتكمن أهميته الأساسية في:
التكامل: الربط الناجح بين تصميم الكود الهيكلي، والنمذجة الأمنية التحليلية، ومحاكاة الفيزياء عالية الدقة في سير عمل واحد.
القابلية للتدقيق: استبدال التحسين العشوائي بالحصر الدقيق وتدقيق SSFM المباشر، مما يضمن أن كل نقطة باريتو تم الإبلاغ عنها هي مؤهلة عددياً وقابلة لإعادة الإنتاج.
التواضع في الادعاءات: يصرح المؤلفون صراحة بأن النتائج تدعم الادعاءات المحوسبة والتنفيذية المحدودة. هم لا يدعون إرساء سرية تشفيرية، حيث يعتمد نموذج (Eve) على ميزانية تخمين محدودة ولا يأخذ في الاعتبار القنوات الجانبية أو المتنصتين المتعاونين. ويُقدم فحص OptiSystem كتحقق محدود على مستوى المكون، وليس كإثبات لأمن النظام الكامل لمتعدد المستخدمين.
الدقة المنهجية: إن استخدام التحقق من التصميم المستبعد للنماذج البديلة والفصل الصريح بين طبقات الفحص (النموذج البديل) والاعتماد (SSFM المباشر) يضمن أن الطبيعة "الموجهة بالفيزياء" لإطار العمل تمنع القبول المتفائل للتصاميم غير الآمنة أو غير الموثوقة.
توسع هذه الدراسة الدراسات السابقة ذات المرجع الواحد من خلال مقارنة هياكل أكواد متعددة وإنتاج مسار عمل قابل للتعميم والتدقيق لتحديد حدود التشغيل الآمنة في ظل وجود اللاخطية في الألياف والتهديدات المحددة للتنصت.