TL;DR
- چکیده:.
- پروتکلهای ارتباطی استاندارد برای وسایل نقلیه هوایی بدون سرنشین (پهپاد)،.
- مانند MAVLink،.
چه اتفاقی افتاد
چکیده:. پروتکلهای ارتباطی استاندارد برای وسایل نقلیه هوایی بدون سرنشین (پهپاد)،.
مانند MAVLink،. فاقد قابلیت اعمال اعتبار متنی دنبالههای پیام هستند.
بنابراین،. خلبانهای خودکار در برابر حملات مخفیانه آسیبپذیر میمانند،.
جایی که دستورات صحیح نحوی اما بهموقع معنایی،. حالتهای ناامن را بدون ایجاد آشکارسازهای ناهنجاری فیزیکی ایجاد میکنند.
کار قبلی (DATUM) نشان داد که انواع جلسات چندجانبه پالایش شده جهانی (RMPSTs) یک زبان مشخصه موثر برای. اجرای متمرکز پروتکل MAVLink هستند،.
اما از دو نقص مهندسی رنج میبرند:. اصطلاحات اثبات دستی با تعاریف پروتکل در هم آمیخته،.
و یک باطن استخراج OCaml که زمان اجرا مدیریت شده با منبع سختافزار UAV ناسازگار است. ما Platum را ارائه میدهیم،.
چارچوبی که هر دو خرابی را با حداقل DSL که فقط به پنج جزء معنایی نیاز دارد،. رسیدگی میکند.
از یک نوع جلسه سراسری (فرستنده،. گیرنده،.
برچسب،. متغیر محموله،.
محمول پالایش)،. که شرایط شکلگیری ساختاری آن از طریق رویههای تصمیم بازتابی در Meta-F* تأیید میشود.
مشخصات تایید شده مستقیماً در ماشینهای حالت محدود C (FSM) مسطح و بدون تخصیص جمعآوری میشوند که بهعنوان. مانیتور پروکسی متمرکز در مرز ارتباطی GCS/UAV مستقر شدهاند.
ارزیابی ما کاهش 4 برابری در تاخیر کلی مانیتور و سربار حافظه کمتر را در مقایسه با DATUM. نشان میدهد که از طریق شبیهسازی ArduPilot SITL اندازهگیری میشود.
برای حضور در سمپوزیوم روشهای رسمیناسا 2026 (NFM'26) رمزنگاری و امنیت (cs. CR)؛ زبانهای رسمیو تئوری خودکار (cs.
FL) استناد بهعنوان: (یا v1 [cs. CR] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Arthur Amorim [مشاهده ایمیل] [v1] شنبه،.
4 آوریل 2026،. 22:.
45:. 02 UTC (211 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.