זוהתה פגיעות נוספת במעבדי AMD המאפשרת התקפות Meltdown

צוות חוקרים מהאוניברסיטה הטכנית של גראץ (אוסטריה) וממרכז הלמהולץ לאבטחת מידע (CISPA) חשף מידע על פגיעות (CVE-2021-26318) בכל מעבדי AMD המאפשרת לבצע Meltdown-class התקפות ערוץ צדדי (בתחילה ההנחה הייתה שמעבדי AMD אינם מושפעים מפגיעות Meltdown). מבחינה מעשית, ניתן להשתמש במתקפה להקמת ערוצי תקשורת סמויים, לנטר פעילות בליבה או לקבל מידע על כתובות בזיכרון הקרנל כדי לעקוף את הגנת KASLR תוך ניצול נקודות תורפה בליבה.

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

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

במהלך הניסוי הצליחו החוקרים להדליף מידע מהקרנל לתהליך בחלל המשתמש במהירות של 52 בתים לשנייה, לאור נוכחות של גאדג'ט בליבה שמבצע את הפעולה "if (offset < data_len) tmp = LUT[נתונים[היסט] * 4096];" . הוצעו מספר שיטות לאחזור מידע דרך ערוצים צדדיים שמגיעים למטמון במהלך ביצוע ספקולטיבי. השיטה הראשונה מבוססת על ניתוח סטיות בזמן הביצוע של הוראת המעבד "PREFETCH" (Prefetch+Time), והשנייה על שינוי השינוי בצריכת האנרגיה בעת ביצוע "PREFETCH" (Prefetch+Power).

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

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

מקור: OpenNet.ru