يُعد استنتاج حالة البروتوكول من خلال المعلومات القابلة للملاحظة تحديًا كبيرًا في الهندسة العكسية للبروتوكولات (PRE)، وخاصة عند جمع حركة المرور بشكل سلبي مما يؤدي إلى عدم اكتمال مساحة حالة البروتوكول بسبب فقدان الرسائل. يقترح هذا البحث طريقة جديدة للاستدلال النشط على حالة البروتوكول استنادًا إلى إطار المعلم الكافي الأدنى (MAT). من خلال دمج استكمال الجلسة وتقنيات التحول الحتمي، قام هذا الأسلوب بتوسيع أنواع رسائل البروتوكول، مما يسمح ببناء مساحة إدخال أكثر شمولًا للحالة استنادًا إلى مجالات الرسائل غير المكتملة. بالإضافة إلى ذلك، من خلال تحسين خوارزمية LM+، بما في ذلك إزالة التكرار في حركة المرور، وبناء مستقبل شجرة البادئة الموسعة (EPTA)، وتحسين الاستعلامات القائمة على الاستجابة، وتوليد حالات الأعيان العشوائية المستندة إلى انتقال الحالة، تم تحسين كفاءة الاستدلال النشط. وقد أظهرت التجارب التي أجريت على إصدارات متعددة من Live555 وExim، وفي بروتوكولات البث الحي (RTSP) وبروتوكول نقل البريد البسيط (SMTP)، أن هذه الطريقة تستطيع استنتاج حالة البروتوكول بشكل أكثر اكتمالًا وبتنفيذ أكثر كفاءة. مقارنة بخوارزمية LM+ المُنفذة في AALpy، فإن زمن التنفيذ لـ Act_Infer انخفض بمعدل حوالي 40.7٪، وتم تقليل عدد الاتصالات والتفاعلات بنسبة حوالي 28.6٪ و 46.6٪ على التوالي.

الهندسة العكسية للبروتوكول (PRE); حالة البروتوكول; الاستدلال النشط; مجالات الرسائل غير المكتملة; مساحة الإدخال