תרגול אמון אתחול ובידוד חומרה

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

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

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

מתכננים ניסוי attestation ברמת הפרוטוקול: מי שולח challenge, מה קושר את התשובה לאתחול שנמדד ואיך הצד המאמת מחליט שהמדיניות מספקת. אין צורך לממש TPM כדי להסביר למה צילום של דוח ישן אינו ראיה חיה.