حزم بروتوكول سياق النموذج تفوت قيود المعيار: 32 فجوة تتسلل إلى خوادم الوكلاء

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

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

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

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

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