تشهد الأنظمة الذكية تطورًا سريعًا نحو تنفيذ مستمر وحالة دائمة عبر التطبيقات المختلفة، حيث تتجمع حالات التنفيذ وآثار خارجية تتطلب بطبيعتها إعادة تكوين مكلفة بعد الفشل. أصبحت آلية التحقق والعودة (Checkpoint/rollback) أساسية للتعافي، إلا أن تداعياتها الأمنية لا تزال غير مستكشفة بالشكل الكافي. في دراسة حديثة، تم تقديم أول دراسة منهجية حول جوانب الأمان لمشاكل التحقق والعودة في الأنظمة المعنية.

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

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

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