מבט מעמיק יותר על הנדסה הפוכה עבור ביטחון רכב אוטונומי

המירוץ לפרוס כלי רכב אוטונומיים מלאים (AVs) הוא מאיץ, להביא איתו גבול חדש של אתגרים אבטחת סייבר. AV מודרניים הם לא רק מכוניות; הם רשתות של חיישנים, מקבץ מחשוב ביצועים גבוהים, וערימות תוכנה מורכבות לשלוט בכל דבר מלהיגוי כדי להשחית את המערכות האלה דורש הבנה עמוקה של איך התוקף חושב ופועל - והיכן הנדסה הפוכה הופכת לבלתי נמנעת בהקשר של אבטחה מקורית, עיצוב מחדש של רכיבי אבטחה או תכנות לאחור, ללא שינוי, עיצוב אופטיים, ללא שינוי, או שינוי, הוא מסוגל לשנות את כל רכיבי מערכת ההפעלה של מערכת ההפעלה של מערכת ההפעלה של כלי רכב, או עיצוב אופטיים, או עיצוב מחדש, ללא שינוי, ללא שינוי, עיצוב מחדש, ללא שימוש בממשקים של כלי רכב, או ניהולית, או ניהולית, עיצוב מחדש, או ניהולית, או ניהולית, או ניהול כלי רכב אוטומטיים, הוא מסוגל לשנות את כל רכיבי אבטחה אופטיקה, ללא שינוי, ללא שינוי, עיצוב מחדש, ללא שינוי, עיצוב מחדש, עיצוב מחדש של כלי רכב, ללא שימוש יעיל, הוא מסוגל לשנות את כל רכיבי אבטחה, עיצוב מחדש, עיצוב מחדש, ללא שימוש חוזר, עיצוב מחדש של מערכת ההפעלה של מערכת ההפעלה של מערכת ההפעלה של מערכת ההפעלה של מערכת ההפעלה של כלי רכב, ללא שינוי, עיצוב מחדש, עיצוב מחדש

מאמר זה הולך מעבר לבסיסים לחקור את התפקיד המוקצב של הנדסה הפוכה באבטחת כלי רכב אוטונומיים.אנו נבחן את הטכניקות המעשיות המשמשות חוקרי אבטחה, אתיקה ומשפטית ששולטים בעבודה זו, וכיצד התובנות שהתקבלו מכונן הנדסה הפוכה עיצובים חזקים יותר, בטוח יותר AV.המטרה היא לספק משאב מקיף לאנשי מקצוע בתחום הביטחון, מהנדסים, קובעי מדיניות אשר צריכים להבין את הכוח ואת האחריות שמגיע עם הכלי האנליטי הזה.

הטבע הכפול של הנדסה הפוכה ב- AV Security

הנדסה הפוכה במערכת AV היא חרב כפולה. בצד אחד, זה כלי הגנת חיוני המאפשר לחוקרים ו- OEM לחשוף פרצות נסתרות לפני ששחקנים זדוניים יכולים לנצל אותם. בצד השני, את אותם טכניקות ניתן להשתמש על ידי יריבים כדי לגלות ניצולים של אפס יום או כדי לשכט מערכות קנייניות אלה חיוני לפיתוח אסטרטגיות אבטחה יעילות.

גילוי Vulnerability

חוקרי אבטחה משתמשים בהנדסה הפוכה לביצוע הערכות מעמיקות של רכיבי AV.זה כולל:

  • ניתוח:0 (Firmware analysis: 1FLT 1 Extracting and decompiling theקושה מ- ECUs (יחידות בקרה אלקטרונית), מודולים חיישן (LiDAR, מכ"ם, מצלמות), ויחידות טלמטיות כדי לזהות buffer overflows, יישום קריפטוגרפי לא מאובטח, או אחוריים.
  • (FLT:0) introspection:FearLT:1; שבבי שבבים, לוחות מעגלים פרובינג, וניתוח פליטות של ערוץ צד (כוח, קרינה אלקטרומגנטית) כדי לחלץ מפתחות סודיים או להבין מצבים חומרה לא מפוכחים.
  • ניתוח:0 (Protocol analysis: FLT:1 Sniffing and reverse Engineering the Controller Area Network (אוטובוס CAN), תא Ethernet רכב ופרוטוקולים אחרים של תקשורת קניינית בתוך תחזוקתית כדי למצוא נקודות זריקה או פערים אימות.

כאשר פעילויות אלה מבוצעות במסגרת תוכנית גילוי פגיעות מתואמת (CVD), הם מניבים תיקונים קריטיים המונעים התקפות בעולם האמיתי.לדוגמה, חוקרים ממעבדת האבטחה של Keen השתמשו בהנדסה הפוכה כדי לגלות פרצות מרובות בכלי רכב של BMW וטסלה, מה שמוביל לתיקונים המוגנים מפני פשרה מרחוק.

סימבולציה Defensive Simulation and Red Teaming

יצרנים גם מעסיקים הנדסה הפוכה בבית כדי לדמות התקפות יריבות.על ידי בניית מודל מפורט של המערכת שלהם מניתוח בינארי, צוותי אבטחה יכולים לבצע תרגילים צוות אדום כי לבדוק את החוסן של הרכב המוגדר תוכנה. גישה זו מסייעת לזהות לא רק פגמים טכניים אלא גם חולשות אדריכליות כי ניתן להחמיץ ביקורות קוד מסורתיות.

טכניקות הנדסה הפוכה ליישום AVs

הכלים והשיטות המשמשים לתהליכי המהנדס המהנדס ההפוך הם מגוונים, הדורשים מומחיות על פני תחומים מרובים. להלן אנו שוברים את קטגוריות הניתוח הראשוניות.

הנדסה הפוכה

התוכנה היא המוח של רכב אוטונומי.הערימה כוללת בדרך כלל מערכת הפעלה בזמן אמת, תוכנה בינונית (כגון AUTOSAR או ROS 2), אלגוריתמים של תפיסה, מודולים תכנון ושליטה לוגיקה. הנדסה הפוכה תוכנה זו כוללת:

  • ניתוח:0 (Static Analysis:FLT:1 Disassembling or decompiling בינארי באמצעות כלים כמו Ghidra, IDA Pro, או Binary Ninja החוקרים מחפשים אישורים קודמים, טיפול בזיכרון ללא ביטחון, פגמים לוגיים במודלים מסווגים.
  • (FLT:0) ניתוח דינמי: FLT:1hil להפעיל את התוכנה בסביבה חיקוי או חול-boxed (למשל, באמצעות QEMU או חיקויים קושחה מותאם אישית) כדי לפקח על זרימת ההוצאה להורג, לפונקציות להתקשר מחסניות, ואינטראקציות רשת. Debuggers כמו GDB ו JTAG מתאםים משמשים לעתים קרובות כדי לשבור נתיבי קוד קריטיים.
  • (FLT:0) ייצור מודל למידה מקנה: FLT:1 מערכות Perception משתמשות ברשתות עצביות עמוקות לאיתור אובייקטים ונתיב שמירה. הנדסה הפוכה מודלים אלה כרוכים במיצוי משקל, אדריכלות, ואימון נתונים באמצעות ניתוח ערוצים צדדי או על ידי ניצול פורמטים סידוריים מודל (למשל, ONNX, TensorFlow).

הנדסה הפוכה

גישה פיזית ליחידות בקרה אלקטרוניות (ECUs) ו-Slemblies חיישן נדרש לעתים להבין באופן מלא מנגנונים ביטחוניים.טכניקות הנדסה לאחור חומרה משותפת כוללות:

  • (FLT:0) צ'יפ מפונקציה והדמיה:ראה LT:1 (שימוש בחומצה או שיטות מכניות כדי להסיר את האריזה epoxy ממיקרובקרים ולחשוף את המוות.SEM) או מיקרוסקופים אופטיים ניתן להשתמש כדי לקרוא נתונים מאוחסנים, לזהות תצורה אבטחה, או אפילו לשחזר קוד מעמיסתחול.
  • (FLT:0) קידום והזרקת תקלות:FLT:1 שימוש במיקרופרובים כדי לפקח על רמות המתח על קווי אוטובוס, או הפעלת מתח / שעון גירוד כדי לעקוף בדיקות אימות במהלך ההזרקה של לייזר (LFI) הוא טכניקה מתקדמת יותר המשמש למטבטים בזיכרון בזמנים מדויקים.
  • ניתוח ערוצים:0 (FLT:1) Measuring צריכת חשמל או emanations אלקטרומגנטי במהלך פעולות קריפטוגרפיים (למשל, אימות חתימה של עדכוני קושחה).

רשת ותקשורת הנדסה הפוכה

כלי רכב אוטונומיים מסתמכים על ערוצי תקשורת פנימיים וחיצוניים רבים.הנדסה הפוכה, רשתות אלה מסייעות לזהות משטחים של התקפה כגון:

  • ניתוח האוטובוס:0in-vehicle:FreaLT:1 [Capturing and decoding CAN, CAN FD, FlexRay, ו-Mobile Ethernet תעבורת כלי כמו CANalyzer, וקטורת ופלטפורמות קוד פתוח (למשל, Can-utils, Scapy) מאפשר לחוקרים להפוך את תעודות הזהות, נתונים, בוררות וסדרי עדיפויות.
  • (FLT:0) ניתוח פרוטוקולWireless:FLT:1 Testingining V2X תקשורת (DSRC, C-V2X), Bluetooth, Wi-Fi ו- LTE/5G קישוריות. Using radios המוגדרים בתוכנות (SDRs) ו- פרוטוקול מנתחים, החוקרים יכולים לגלות ערוצי בקרה לא מקודמים, להפעיל הודעות פגיעות, או נתוני phoof.

אתגרים ב הנדסה הפוכה AVs מודרניים

ככל שהמודעות הביטחונית גדלה, יצרני AV יישמו מספר רב של שכבות של הגנה שהופכות את ההנדסה לאחור לקשה משמעותית יותר. מכשולים אלה דורשים מחוקרים להתאים את שיטותיהם באופן קבוע.

הצפנה וקוד obfuscation

תמונות קושחה מודרניות מוצפנים לעתים קרובות באמצעות סימטרי או מפתחות סימטריים המאוחסנים ב ⁇ מאובטח (למשל, מודולי אבטחה קשיחים או מודולים פלטפורמה אמין) גם אם התמונה מוצפנת נלכדה, ללא המפתח, ניתוח סטטי הוא בלתי אפשרי.בנוסף, קוד עשוי להיות obscated דרך החלפת הוראה, שליטה בזרימה, וקידוד זבל כדי לבלבל יצרנים מסוימים להשתמש בהדרכה לאחור.

מאובטח בוטה ושרשרת של אמון

רוב AV ECUs ליישם תהליך מנעול מאובטח כי אימות החתימה ההצפנה של כל שכבת תוכנה לפני ביצוע.זה מונע הפעלת קוד מקוד מטומטמת. עקפה מאובטח לעתים קרובות דורש ניצול פגיעה במגף ROM (למשל, באג בשגרת אימות החתימה) או ביצוע הזרקת תקלות חומרה.

גדרות משפטיות ומצוינות

הנדסה הפוכה למחקר אבטחה קיים בתוך נוף משפטי מורכב. בארצות הברית, חוק זכויות היוצרים של Digital Millennium (DMCA) כולל פטורים למחקר אבטחה בתנאים מסוימים (למשל, מכשירים שנרכשו באופן חוקי, בדיקות טובות-דתיות) עם זאת, הפטורים הם צרים ואינם מכסים את כל התרחישים.ההנחיות של האיחוד האירופי על זכויות יוצרים בשוק הבודד הדיגיטלי מכילות באופן דומה, אך עשויים לדרוש אישורים על ידי קריטריונים לחוקרים בקפידה.

בנוסף, יצרני AV רבים כוללים הסכמי הפסקת עישון או הסכמי רישוי למשתמש קצה (EULAs) האוסרים במפורש הנדסה הפוכה, בעוד כמה בתי משפט שלטו כי הסכמים כאלה אינם מבטלים את השימוש ההוגן או פטורים למחקרי אבטחה, הסיכון המשפטי נשאר הרתעה משמעותית.

שיקולים אתיים וגילויים אחראיים

המסגרת האתית סביב הנדסה הפוכה של AVs בנויה על העיקרון כי ידע שנצבר צריך לשמש כדי להגן ולא לנצל.תעשייה שיטות הטובות ביותר, כגון תקן גילוי פגיעות ISO 2914747 לספק מבנה למחקר אחראי.

חשיבות גילוי הפגיעות המתואמת (CVD)

חוקרי אבטחה שגלו פגם באמצעות הנדסה הפוכה צריכים לעקוב אחר תהליך CVD:

  1. באופן פרטי להודיע ליצרן עם דיווח מפורט והוכחה לתפיסה.
  2. אפשרו לתקופה סבירה (בדרך כלל 90 יום) עבור היצרן לפתח תיקון.
  3. מחיקת הממצאים רק לאחר שהתיקון הוקצה כדי להגן על משתמשי הקצה.

גישה זו מאוזנת את הצורך במודעות ציבורית עם הסיכון לאפשר התקפות.כמה גילויי רכב גדולים (למשל, ג'יפ צ'ירוקה פריצה מרחוק על ידי מילר ו Valasek) עקבו אחר המודל הזה, המוביל לשיפורים קריטיים בפרקטיקה של אבטחה בתעשייה.

בניית מערכת אבטחה שיתופית

יצרנים קדימה חושבים שהם נעים מיריבות למעורבות משותפת עם קהילת הנדסה הפוכה.תוכניות כגון פלטפורמות בוני באגים (למשל, תוכנית בוני באג של טסלה, אשר שילמה תגמולים משמעותיים) והזמנות בלבד האקרים (למשל, תחרויות רכב Pwn2Own) תוכניות ערוץ לעבר תוצאות חיוביות.

בנוסף, יוזמות קוד פתוח כמו FLT:0 (AUTOSARERFLT) 1 פיתוח השותפות ו-FLT:2Robot הפעלה System (ROS 2)FLT 3 לטפח שקיפות.כאשר OEM חולקים יישום או סביבות חולות, הנדסה הפוכה יכולה לעבור מתיבת קוד זדונית ניחושים לבדיקות, מניבה דוחות של פגיעות באיכות גבוהה יותר.

מחקרים מעשיים: הנדסה הפוכה בפעולה

כדי להמחיש את ההשפעה בעולם האמיתי, אנו בודקים שתי דוגמאות בולטות שבהן הנדסה הפוכה שיפרה באופן ישיר את אבטחת AV.

מקרה מחקר 1: האם ניתן לזריקת אוטובוסים במודל S של טסלה

בשנת 2020, חוקרים מאוניברסיטת KU Leuven השתמשו בהנדסה הפוכה כדי להפגין התקף כניסה חסר מפתח על כלי רכב טסלה.על ידי הנדסה הפוכה פרוטוקול Bluetooth נמוך אנרגיה (BLE) בשימוש על ידי מפתח הטלפונים של טסלה, הם גילו התקף הודעה שיכול לפתוח ולהתחיל את המכונית.הפגיעות לא היה באלגוריתם הקריפטוגרפי עצמו, אבל בתזמון של לחיצת התקשורת, טסלה הגיב עם עדכון קושחה אשר אפשר למשתמשים "לה" אפילו כדי לחשוף את האלגוריתם ההצפנה לאחור.

מקרה מחקר 2: LiDAR Spoofing and Sensor אימות

חוקרים מאוניברסיטת מישיגן ואחרים הנדסו מחדש את ערכות הנתונים שנוצרו על ידי חיישני LiDAR מסחריים (כגון אלה מוולדין ו-Ouster) על ידי ניתוח פלט הענן של נקודת הגלם וצנרת העיבוד הפנימית, הם זיהו נקודות שבהן שחקן זדוני יכול להזריק נתונים כוזבים - לדוגמה, סימול אובייקט phantomate כדי לגרום לחידוד חירום.

מגמות עתידיות: AI, Quantum, and the Evolveנוף

התרגול של הנדסה הפוכה עבור אבטחת AV אינו סטטי.כמה מגמות מתעוררות יעצבו את עתידו.

הנדסה הפוכה של AI ו-Nural Networks

בעוד AVs יותר ויותר להסתמך על למידה עמוקה עבור תפיסה וקבלת החלטות, התוקפים ימקדו את המודלים עצמם. טכניקות הנדסיות הפוכה כגון חברות בהקצאה, מודל הסתה, והעברות אדמירליות יהפכו לכלים הגנתיים קריטיים. החוקרים מפתחים שיטות לגילוי מודלים מחוסנים או לאמת כי רשת עצבית מתקדמת כמצופה תחת קלטות מגוונות.

הנדסה הפוכה אוטומטית

המורכבות של מחסניות התוכנה AV (לעתים קרובות מיליוני שורות קוד) הופכת את ההוראה לאחור הנדסה ללא קיום.כלים עתידיים ישתמשו בביצוע סמלי, סחרחורת ובדיקה אקונקולית כדי לחקור באופן אוטומטי קושחה של מכשירים לזהות נתיבי קוד קריטיים אבטחה. מסגרות כמו FLT:0BootStompFLT:1 ו-FLT2angrLT3 כבר משמשים כדי לנתח קושחה, אנחנו יכולים לצפות לפלטפורמות רכב מיוחדות יותר.

פוסט-קוטן Cryptography Implications

ככל שמחשוב קוונטי מתקדם, רבים מהאלגוריתמים ההצפנה כיום מגנים על AV תקשורת (RSA, ECC) יהפכו לניתוק. הנדסה הפוכה תהווה תפקיד מרכזי בהערכה של החוסן של יישום קריפטוגרפיים שלאחר ה-quantum יואומץ על ידי תעשיית הרכב. החוקרים יצטרכו לנתח אלגוריתמים חדשים ליישום פגמים, דליפות צד, והתאמה עם מגבלות בזמן אמת.

בניית תרבות של הנדסה הפוכה

בסופו של דבר, האסטרטגיה היעילה ביותר לאבטחת כלי רכב אוטונומיים היא לא למנוע הנדסה הפוכה לחלוטין – מטרה כמעט בלתי אפשרית – אלא ליצור מערכת אקולוגית שבה היא מתאמנת באופן אחראי ובונה.

  • (ב) [13] מסגרות משפטיות ברורות: FLT:1 Legislatures וגופים רגולטוריים צריכים לעדכן פטורים כדי להגן במפורש על מחקר אבטחה בתום לב על מערכות רכב מוטבעות, כפי שממליץ ארגונים כמו FLT:2 ,Internet Freedom FoundationFLT 3: 3.
  • (FLT:0) השקעה חינוכית: FLT:1LAC ותכניות הכשרה צריכים לכלול הנדסה הפוכה כמו יכולת הליבה של תוכניות הלימודים בתחום אבטחת סייבר, עם מעבדות המשתמשות בחומרה רכב אמיתית (או גבוהה דמיון סימולציה).
  • שיתוף פעולה בין חברות:0 (Industry Cooperation: FLT:1 OEM, tier-1 ספקים, וחברות אבטחה צריכות לשתף נתונים סטטיסטיים מצטברים באמצעות קבוצות שיתוף מידע מהימן (למשל, Auto-ISAC) תוך הגנה על עיצובים קנייניים.

על ידי אימוץ הנדסה הפוכה כמשמעת שמגבירת את הבטיחות ולא לסכן אותה, תעשיית הרכב האוטונומית יכולה להישאר צעד אחד קדימה של התוקפים.הטכנולוגיה שבסופו של דבר תספק תחבורה בטוחה ויעילה יותר תלויה בנכונות שלנו לחקור, לשאול ולחזק כל שכבת העיצוב שלה.