Policy-Gated Firmware Trust and Anti-Rollback Resilience for Autonomous UAV Edge Platforms: A Formal Security and Software Validation
تقدم هذه الورقة وتثبت رسمياً آلية ثقة للبرامج الثابتة محكومة بالسياسات للطائرات بدون طيار ذاتية القيادة، والتي تفرض منع التراجع (anti-rollback) والإغلاق الآمن (fail-closed) من خلال التحقق القائم على البيان (manifest-based verification)، مع تحديد التبعيات الحرجة لسلامة الحالة المستمرة ورسم خارطة طريق للتصديق المدعوم بالأجهزة.