HIVE-OT: Design, Implementation, and Reproducible Evaluation of a Process-Coupled Industrial Honeypot
تقدم هذه الورقة تصميم وتنفيذ وتقييم قابل لإعادة الإنتاج لـ HIVE-OT، وهو مصيدة عمليات صناعية مقترنة بالعمليات تتحقق من هندستها من خلال اختبار تراجع البروتوكول وتحليل الأحداث التاريخية مع الإقرار صراحةً بالقصور في تحقيق إمكانية إعادة إنتاج المنصة الكاملة أو المحاكاة الفيزيائية الدقيقة.
في عالم التحكم الصناعي، تعتمد الآلات الضخمة مثل محطات معالجة المياه أو شبكات الطاقة على تدفق مستمر من التعليمات الرقمية لضمان استمرار عملها بأمان. تنتقل هذه التعليمات عبر الشبكات باستخدام لغات أو بروتوكولات محددة تخبر المضخات متى تبدأ ومتى تغلق الصمامات. ولحماية هذه الأنظمة الحيوية من المخترقين، يقوم خبراء الأمن غالباً بنشر فخاخ رقمية تُعرف باسم "مصائد الخداع" (honeypots). وهي نسخ مزيفة من الأنظمة الحقيقية، صُممت لتبدو تماماً مثل الأصل بالنسبة للمهاجم. وعندما يتفاعل المخترق مع الفخ، يقوم النظام بتسجيل كل حركة، على أمل تعلم كيفية تفكير المتسلل والأدوات التي يستخدمها. ومع ذلك، فإن بناء فخ مقنع أمر صعب؛ فإذا لم يستجب النظام المزيف للتعليقات بشكل واقعي، أو إذا كانت السجلات التي يحتفظ بها غير مكتملة، فلن يتمكن فرق الأمن من الوثوق بالبيانات التي يجمعونها. ويكمن التحدي الجوهري في ضمان أنه عندما يتم إرسال أمر ما، لا يكتفي النظام بالقول إنه استلمه فحسب، بل يسجل أيضاً بدقة ما حدث بالفعل داخل الآلة نتيجة لذلك.
لقد شرع فريق من الباحثين في بناء واختبار نوع جديد من مصائد الخداع الصناعية يسمى HIVE-OT، المصمم خصيصاً لتتبع سلسلة الأحداث من استقبال الأمر إلى التغيير الفعلي في الآلة المحاكية. كان هدفهم هو تقييم الأدلة المدعومة من النواة البحثية المرتبطة بالعملية والاصدارات التاريخية، والتمييز بين المنصة الموثقة والتنفيذ المحلي. قاموا ببناء نموذج رقمي لعملية معالجة مياه، يضم خزانات ومضخات وفلاتر، وربطوه بواجهة شبكة تتحدث لغة "مودباص" (Modbus)، وهي لغة قياسية تُستخدم في العديد من المصانع الحقيقية. ثم أجرى الباحثون سلسلة من التجارب المنضبطة حيث أرسلوا أوامر إلى هذه المحطة المزيفة. أرادوا معرفة ما إذا كان بإمكان النظام التمييز بين مجرد تأكيد استلام رسالة وبين تنفيذ الإجراء الفيزيائي الذي طلبته الرسالة فعلياً. في مجموعة من الاختبارات، وجهوا النظام عمداً لقبول أمر ما ولكن مع تجاهل الجزء الذي من شأنه أن يغير تدفق المياه. ووجدوا أنه بدون وجود نوع معين من التحقق النهائي، ستبدو سجلات النظام متطابقة سواء تغير تدفق المياه أو ظل كما هو. وهذا يعني أن سجل البيانات القياسي لا يمكنه إخبار المحلل ما إذا كان الأمر قد نجح حقاً أم أنه تم تجاهله بصمت.
ولحل هذه المشكلة، صمم الفريق نظاماً يسجل ثلاثة أشياء متميزة لكل تفاعل: الأمر المطلوب، والرد الفوري للنظام، وقراءة نهائية للحالة الفعلية للآلة بعد معالجة الأمر. ومن خلال مقارنة هذه القطع الثلاث من المعلومات، استطاعوا رؤية ما حدث بالضبط. وفي اختباراتهم، أجروا ستين سيناريو مختلفاً حيث أرسلوا نفس الأوامر ولكن مع تغيير ما إذا كانت الآلة ستتحرك فعلياً أم ستظل ساكنة. واكتشفوا أنه إذا نظروا فقط إلى الطلب الأولي ورسالة "الموافقة" من النظام، فلن يتمكنوا من التمييز بين الإجراء الناجح والإجراء الفاشل. ومع ذلك، عندما أضافوا القراءة النهائية لحالة الآلة إلى سجلاتهم، أصبح الفرق واضحاً. وقد أثبت هذا أنه لكي يكون مصيد الخداع مفيداً حقاً، يجب أن يلتقط النتيجة النهائية، وليس مجرد المحادثة.
كما اطلع الباحثون على كميات هائلة من البيانات التي جُمعت من نشر حقيقي لهذا المصيد على الإنترنت، والذي كان يعمل لعدة أشهر. وقارنوا بين مجموعتين كبيرتين من السجلات من هذا النشر، إحداهما من شهر يوليو والأخرى أكبر من شهر سبتمبر. ووجدوا أنه بينما تضاعف إجمالي عدد الأحداث المسجلة أكثر من ثلاث مرات، حيث قفز من حوالي 274,000 إلى أكثر من 842,000، فإن عدد السجلات التي تحتوي على بيانات مفيدة لم ينمُ على الإطلاق. فقد احتوت كلتا المجموعتين على 77,865 سجلاً فقط ببيانات فعلية. وهذا يعني أن مجموعة البيانات الأحدث والأكبر كانت مليئة في الغالب بأغلفة فارغة، وانخفضت نسبة البيانات المفيدة بشكل كبير. كما لاحظ الباحثون أن السجلات تفتقر إلى تفاصيل حاسمة مثل معرفات الجلسات (session identifiers)، وهي المعرفات اللازمة لربط الإجراءات المختلفة بمهاجم واحد. وبدون هذه الروابط، من المستحيل إعادة بناء قصة كاملة لهجوم أو إثبات أن أمراً معيناً قد غير حالة الآلة بالفعل.
تخلص الدراسة إلى أنه بينما نجح نظام HIVE-OT في إثبات تصميم هندسي موثق، وتنفيذ قابل للفحص، وأدوات تقييم قابلة للتكرار فيما يتعلق بسلوك البرمجيات المحلية والبيانات المصدرة، إلا أنه لا يثبت قابلية التكرر الكامل للمنصة، أو الاتساق عبر البروتوكولات، أو الدقة الفيزيائية، أو التفوق الدفاعي. يعمل النظام بشكل جيد كأداة بحثية لفهم كيفية تسجيل الأدلة بشكل صحيح، لكن البيانات التي أنتجها في الواقع لا يمكن استخدامها لإثبات من هاجم النظام أو ما هو الضرر المادي الذي تسببوا فيه بشكل قاطع. ويؤكد الباحثون أن مجرد امتلاك حجم كبير من البيانات لا يجعلها أفضل؛ فإذا كانت البيانات تفتقر إلى الروابط الصحيحة وفحوصات الحالة النهائية، فلا يمكنها الإجابة على أهم الأسئلة حول الهجوم. إن عملهم يعد بمثابة مخطط لبناء مصائد أفضل في المستقبل، موضحاً أن قيمة مصيدة الخداع لا تكمن في عدد التنبيهات التي تولدها، بل في مدى قدرتها على توضيح الفرق بين الطلب والنتيجة.
ملخص تقني: تصميم وتقييم وتنفيذ HIVE-OT القابل للتكرار
بيان المشكلة تتناول الورقة تحدي تصميم وتقييم مصائد الاختراق (honeypots) الصناعية حيث يكون التمييز بين الأمر المستلم، وقبول البروتوكول له، وتأثيره الفعلي على حالة العملية المحاكية، أمراً غامضاً في كثير من الأحيان. غالباً ما تخلط تقييمات مصائد الاختراق التقليدية بين التفاعل مع الواجهة وبين التلاعب بالعملية، أو تعتمد على حجم الأحداث كمؤشر لجودة البيانات دون التحقق من اكتمال حقول الأدلة (مثل تغطية الحمولة، ومعرفات الجلسة). ويرى المؤلفون أن معاملة الإقرارات (acknowledgments)، والقيم المطلوبة للمشغلات (actuators)، وحالات النموذج الفعالة ككميات هندسية قابلة للتبادل يمكن أن يؤدي إلى سجلات غير كافية للإجابة على الأسئلة المتعلقة بـ "الأمر والنتيجة". علاوة على ذلك، هناك نقص في المكونات الشفافة والقابلة للتكرار التي تربط تنفيذات برمجية محددة بتصديرات البيانات التاريخية.
المنهجية تستخدم الدراسة نهجاً مزدوج المسار: تقييماً للتنفيذ المحلي القابل للتكرار، ومراجعة تدقيقية لتصديرات البيانات التاريخية.
التنفيذ المحلي ("المنفذ" - The Executable):
البنية: قام المؤلفون بتنفيذ نواة بحثية من نوع Modbus-to-Rust. يربط هذا النظام محول Python Modbus TCP مع بديل عملية معالجة مياه مطور بلغة Rust، مع حفظ الحالة في سجل SQLite.
بديل العملية: تحاكي وحدة Rust محطة معالجة مياه تحتوي على 12 متغيراً للعملية (مثل مستويات الخزانات، الضغوط، التدفقات) و4 أوامر للمشغلات. تتضمن مجموعة منطقية منقحة مع عمليات نقل محدودة السعة، وسجل محاسبة مياه، وقواعد محددة للتحكم التناسبي التكاملي التفاضلي (PID) والترابط (interlock).
التصميم التجريبي:
اختبار تراجع البروتوكول (Protocol Regression): تم اختبار 15 حالة تراجع للبروتوكول و4 حالات تراجع للنقل للتحقق من الطلبات الصالحة وغير الصالحة والتجزئة.
التحكم المزدوج (Paired Control): أجرت تجربة تحكم سلبية لـ 60 تكويناً حيث يتم إما تطبيق الأمر أو كبحه (مع الحفاظ على قبول الطلب وصد الكتابة/write echo). اختبر هذا ما إذا كانت رسائل التطبيق المحتفظ بها يمكنها التمييز بين تطبيق أمر ناجح وبين أمر تم كبحه.
التحليل المقارن: تمت مقارنة التنفيذ بمعالج Conmodbus قياسي للتحقق من سلوكيات الاستجابة لمجموعة مشتركة من الطلبات.
التدقيق التاريخي ("المتن" - The Corpus):
مصادر البيانات: تم تحليل تصديرين متعلقين بصيغة CSV من عملية نشر واحدة: أحدهما من يوليو 2026 (273,978 حدثاً) والآخر من سبتمبر 2026 (842,638 حدثاً).
المقاييس: ركز التدقيق على تغطية الحقول (عدد الحمولات غير الفارغة مقابل إجمالي الأحداث)، وتكوين البروتوكول، وحساسية نسب تكنولوجيا المعلومات (IT) إلى التكنولوجيا التشغيلية (OT) لوحدات العد (الأحداث مقابل مجموعات البادئات) والنطاق (العناوين العالمية مقابل غير العالمية).
فصل الكائنات: فصل المؤلفون صراحةً بين البيانات التاريخية والتنفيذ المحلي. لم تُستخدم نتائج النموذج المحلي للتحقق من الهجمات التاريخية، كما لم تُستخدم أحجام البيانات التاريخية للتحقق من الكود المحلي.
المساهمات الرئيسية
توثيق التصميم الهندسي: مواصفات قائمة على المتطلبات لـ HIVE-OT تفصل سطح التفاعل عن الملاحظات المخزنة، مع التركيز على مسار دليل "الطلب إلى النموذج".
تنفيذ قابل للفحص: إصدار تنفيذ Modbus-to-Rust مرتبط بأدلة التشغيل، مما يسمح للمراجعين بالتحقق من سلوكيات محددة (مثل انتقالات الحالة) دون استنتاجها من حجم المتن.
مكونات تقييم قابلة للتكرار: إصدار مشتقات تحليلية مبسطة (منزوعة الهوية) وسكريبتات تسمح بتكرار النتائج العددية وملفات التغطية دون الكشف عن الحمولات الخام أو بيانات الاعتماد.
تحليل تغطية الأدلة: تفكيك دقيق لكيفية عدم ارتباط نمو مجموعة البيانات (حجم الأحداث) بالضرورة بتطوير الأدلة (تغطية الحمولة)، مما يسلط الض\على أهمية توفر الحقول فوق العدد الإجمالي.
النتائج
التنفيذ المحلي:
اجتاز النظام جميع اختبارات تراجع البروتوكول الـ 15 وتراجع النقل الـ 4.
طابقت عملية التحقق 507 من روابط حالة العمليات و480 من استلامات العميل دون أي تباينات.
النتيجة الحاسمة: في التحكم المزدوج، أظهرت 60 تهيئة أن طلبات كتابة متطابقة، وإقرارات، وقراءات عكسية لسجل الأوامر (command-register readbacks) يمكن أن تصاحب نتائج نماذج مختلفة (مطبقة مقابل مكبوحة). أظهرت الدراسة أن تضمين قراءة التدفق النهائية (حالة النموذج الفعلية) فقط هو ما ميز بين هذه النتائج. وهذا يثبت أن الإقرار وقراءة القيمة المطلوبة وحدهما غير كفيان لاستنتاج تطبيق الأمر.
التدقيق التاريخي:
الحجم مقابل الأدلة: بينما زاد عدد الأحداث بمقدار 3.08 ضعف (من ~274 ألف إلى ~843 ألف)، ظل عدد حقول الحمولة غير الفارغة ثابتاً عند 77,865. ونتيجة لذلك، انخفضت تغطية الحمولة من 28.42% إلى 9.24%.
بيانات الجلسة: كانت جميع معرفات الجلسة في كلا التصديرين فارغة.
حساسية النسب: تباينت نسبة أحداث تكنولوجيا المعلومات (IT) إلى التكنولوجيا التشغيلية (OT) بشكل كبير بناءً على تعريف البادئات "العالمية" وتصنيف بروتوكولات مثل SNMP وMQTT. على سبيل المثال، تغيرت نسبة الأحداث العالمية من 288.60 إلى 1243.44 اعتماداً على الإصدار والنطاق، لكن نسبة مجموعات البادئات (وهي مقياس للمصادر المتميزة) كانت أقل بكثير (من 20.79 إلى 45.26)، مما يشير إلى تعددية عالية للأحداث داخل المجموعات.
أدلة OT: لم تحتوِ أي سجلات OT على قيم خطورة غير صفرية، ولم يربط أي سجل عملية كتابة محددة بتغيير عملية أو تأثير مادي تم التحقق منه.
الأهمية والادعاءات تدعي الورقة بتواضع أنها تساهم في دراسة حالة هندسية ذات أدلة قابلة للفحص بدلاً من كونها تقنية خداع مبتكرة أو إثباتاً قاطعاً للتفوق الدفاعي.
القابلية للتكرار: المساهمة الأساسية هي القدرة على فحص الرابط بين الأمر، وقبوله، وتغيير الحالة الناتج في بيئة محكومة، وكذلك تدقيق البيانات التاريخية بحثاً عن اكتمال الأدلة.
محدودية البيانات: توضح الدراسة أن زيادة حجم الأحداث لا تعني زيادة القدرة التحليلية. إن غياب معرفات الجلسة وانخفاض تغطية الحمولة في التصدير الأكبر يحد من القدرة على إعادة بناء الجلسات أو عزو التلاعب بالعملية.
تمييز الادعاءات: يؤكد المؤلفون أن تأثيرات النموذج المحلي (مثل تغيرات التدفق) لا يمكن عزوها إلى نشاط خارجي تاريخي. ولا تدعي الدراسة أن اقتران العملية هو أمر جديد، ولا تتحقق من الفائدة الدفاعية للنشر التاريخي.
معايير التقارير: تدعو الورقة إلى نشر ملفات تعريف التغطية جنباً إلى جنب مع الإصدارات، مصنفة حسب البروتوكول ونطاق المصدر، للسماح للمستهلكين بتحديد ما إذا كانت مجموعة البيانات مناسبة لأسئلة تحليلية محددة (مثل عد الأحداث مقابل التحليل السببي) قبل استخدامها.
ختاماً، يوفر HIVE-OT إطاراً للتمييز بين استلام أمر وبين تطبيقه في عملية، ويقدم منهجية لتدقيق ما إذا كانت تصديرات مصائد الاختراق التاريخية تحتفظ بالأدلة اللازمة لدعم ادعاءات جنائية أو تحليلية محددة.