rollback_car_attack_proverif

التحقق الرسمي من هجوم الاسترجاع إثبات مفهوم باستخدام ProVerif لهجوم الاسترجاع على جهاز التحكم بمفتاح السيارة CVE-2022-37418, CVE-2022-36945 and CVE-2022-37305، مقدَّم في1 إخلاء مسؤولية ليست لي أي صلة بمؤلفي 1. وأنا ممتن لهم لإتاحة ورقتهم البحثية للوصول المفتوح. تثبيت ProVerif الطريقة الرسمية لتشغ...