تقنية التنفيذ الموثوقة
تقنية التنفيذ الموثوق من إنتل ( Intel TXT ، والمعروفة سابقًا باسم تقنية لاغراند ) هي تقنية لأجهزة الكمبيوتر، وتتمثل أهدافها الرئيسية فيما يلي:
- إثبات صحة المنصة ونظام تشغيلها .
- ضمان بدء تشغيل نظام تشغيل أصلي في بيئة موثوقة، والتي يمكن اعتبارها موثوقة بعد ذلك.
- توفير نظام تشغيل موثوق به يتمتع بقدرات أمان إضافية غير متوفرة في نظام غير مجرب.
تستخدم تقنية Intel TXT وحدة النظام الأساسي الموثوقة (TPM) وتقنيات التشفير لتوفير قياسات لمكونات البرامج والمنصة، مما يُمكّن برامج النظام وتطبيقات الإدارة المحلية والبعيدة من استخدام هذه القياسات لاتخاذ قرارات موثوقة. وتُكمّل هذه التقنية محرك إدارة Intel . وتستند هذه التقنية إلى مبادرة صناعية أطلقتها مجموعة الحوسبة الموثوقة (TCG) لتعزيز الحوسبة الآمنة. وهي تحمي من الهجمات البرمجية التي تهدف إلى سرقة المعلومات الحساسة عن طريق إتلاف رمز النظام أو BIOS ، أو تعديل تكوين المنصة.
تفاصيل
توفر وحدة النظام الأساسي الموثوقة (TPM)، كما هو محدد من قبل مجموعة التحكم في الاتصالات (TCG)، العديد من وظائف الأمان، بما في ذلك سجلات خاصة (تُسمى سجلات تكوين النظام الأساسي - PCRs) التي تخزن قياسات متنوعة في موقع محمي بطريقة تمنع التزييف. تتكون القياسات من تجزئة تشفيرية باستخدام خوارزمية تجزئة؛ يستخدم إصدار TPM 1.0 خوارزمية التجزئة SHA-1 . أما إصدارات TPM الأحدث (2.0 وما بعدها) فتستخدم SHA-2 . [ 1 ] [ 2 ]
تتمثل إحدى الخصائص المرغوبة لخوارزمية التجزئة المشفرة في أن نتيجة التجزئة (المشار إليها باسم ملخص التجزئة أو التجزئة) لأي وحدتين ستنتج نفس قيمة التجزئة فقط إذا كانت الوحدات متطابقة.
القياسات
يمكن أن تشمل القياسات التعليمات البرمجية، وهياكل البيانات، والإعدادات، والمعلومات، أو أي شيء يمكن تحميله في الذاكرة. يشترط بروتوكول TCG عدم تنفيذ التعليمات البرمجية إلا بعد قياسها. ولضمان تسلسل محدد للقياسات، لا تُكتب قياسات التجزئة في التسلسل إلى سجلات PCR مختلفة، بل يُضاف قياس جديد إلى سجل PCR واحد. وهذا يعني أن وحدة TPM تأخذ القيمة الحالية لسجل PCR والقياس المراد إضافته، وتُجري عملية تجزئة لهما معًا، ثم تستبدل محتوى سجل PCR بنتيجة التجزئة. والنتيجة هي أن الطريقة الوحيدة للوصول إلى قياس معين في سجل PCR هي إضافة القياسات نفسها تمامًا وبالترتيب نفسه. لذلك، إذا تم تعديل أي وحدة يتم قياسها، فسيكون قياس سجل PCR الناتج مختلفًا، وبالتالي يسهل اكتشاف ما إذا كانت أي تعليمات برمجية أو إعدادات أو بيانات، وما إلى ذلك، قد تم تغييرها أو إتلافها. تُعد آلية إضافة سجل PCR أساسية لإنشاء سلسلة ثقة في طبقات البرمجيات (انظر أدناه).
سلسلة الثقة
تدعم هذه التقنية كلاً من سلسلة الثقة الثابتة وسلسلة الثقة الديناميكية. تبدأ سلسلة الثقة الثابتة عند تشغيل النظام الأساسي (أو إعادة ضبطه)، مما يُعيد ضبط جميع سجلات التحكم في النظام (PCRs) إلى قيمها الافتراضية. بالنسبة لمنصات الخوادم، يُجرى القياس الأول بواسطة المعالج لقياس وحدة مُوقّعة رقميًا (تُسمى وحدة رمز مُصادق عليه أو ACM) مُقدمة من مُصنِّع مجموعة الشرائح . يتحقق المعالج من صحة التوقيع وسلامة الوحدة المُوقّعة قبل تنفيذها. ثم تقيس وحدة ACM أول وحدة رمز BIOS، والتي يُمكنها إجراء قياسات إضافية.
تُوسّع قياسات وحدات كود ACM وBIOS لتشمل PCR0، الذي يُقال إنه يحتوي على قياس جذر الثقة الأساسي الثابت (CRTM) بالإضافة إلى قياس قاعدة الحوسبة الموثوقة لنظام BIOS (TCB). يقيس نظام BIOS مكونات إضافية في PCRs على النحو التالي:
- PCR0 – CRTM ، ورمز BIOS، وامتدادات منصة المضيف [ أ ]
- PCR1 – تكوين منصة المضيف
- PCR2 – رمز ROM الاختياري
- PCR3 – تكوين وبيانات ذاكرة القراءة فقط الاختيارية
- PCR4 – رمز IPL (محمل البرنامج الأولي) (عادةً ما يكون سجل التمهيد الرئيسي - MBR)
- PCR5 – تكوين بيانات كود IPL (للاستخدام بواسطة كود IPL)
- PCR6 – أحداث الانتقال بين الولايات وأحداث ما بعد الرحيل
- PCR7 – عنصر تحكم الشركة المصنعة لمنصة المضيف
تبدأ سلسلة الثقة الديناميكية عندما يستدعي نظام التشغيل تعليمات أمان خاصة، تُعيد ضبط سجلات التحكم الديناميكية (PCR17-22) إلى قيمها الافتراضية، وتبدأ عملية القياس. يُجرى القياس الديناميكي الأول بواسطة المعالج لقياس وحدة أخرى موقّعة رقميًا (تُعرف باسم SINIT ACM)، والتي يُوفرها أيضًا مُصنِّع الشريحة، ويتحقق المعالج من توقيعها وسلامتها. يُعرف هذا باسم قياس جذر الثقة الديناميكي (DRTM).
ثم يقيس نظام SINIT ACM وحدة كود نظام التشغيل الأولى (المشار إليها ببيئة الإطلاق المقاسة - MLE). قبل السماح بتنفيذ بيئة الإطلاق المقاسة، يتحقق نظام SINIT ACM من أن المنصة تستوفي متطلبات سياسة التحكم في الإطلاق (LCP) التي يحددها مالك المنصة. تتكون سياسة التحكم في الإطلاق من ثلاثة أجزاء:
- التحقق من أن إصدار SINIT يساوي أو أحدث من القيمة المحددة
- التحقق من صحة تكوين النظام الأساسي (PCONF) عن طريق مقارنة PCR0–7 بالقيم الجيدة المعروفة (يقرر مالك النظام الأساسي أي PCRs سيتم تضمينها).
- التحقق من صحة تقدير الاحتمال الأقصى، من خلال مقارنة قياسه بقائمة من القياسات المعروفة الجيدة.
يتم حماية سلامة LCP وقوائم القياسات المعروفة الجيدة من خلال تخزين قياس التجزئة للسياسة في TPM في موقع غير متطاير محمي لا يمكن تعديله إلا بواسطة مالك النظام الأساسي.
التشغيل كنظام تشغيل موثوق
بمجرد استيفاء متطلبات بروتوكول التحكم المنطقي (LCP)، يسمح نظام إدارة الأمان SINIT ACM لوحدة MLE بالعمل كنظام تشغيل موثوق به من خلال تمكين الوصول إلى سجلات أمان خاصة وتفعيل الوصول إلى مستوى TPM Locality 2. وبذلك، تصبح وحدة MLE قادرة على إجراء قياسات إضافية على سجلات PCR الديناميكية. تحتوي سجلات PCR الديناميكية على قياسات لما يلي:
- PCR17 – DRTM وسياسة التحكم في الإطلاق
- PCR18 – رمز بدء تشغيل نظام التشغيل الموثوق به (MLE)
- PCR19 – نظام تشغيل موثوق (على سبيل المثال، تكوين نظام التشغيل)
- PCR20 – نظام تشغيل موثوق (على سبيل المثال نواة نظام التشغيل ورموز أخرى)
- PCR21 – كما هو محدد من قبل نظام التشغيل الموثوق
- PCR22 – كما هو محدد من قبل نظام التشغيل الموثوق
توفر هذه التقنية أيضًا طريقة أكثر أمانًا لنظام التشغيل لتهيئة المنصة. فبدلاً من تهيئة المعالج التقليدية [التي تتضمن إرسال معالج التمهيد (BSP) إشارة مقاطعة بدء التشغيل بين المعالجات (SIPI) إلى كل معالج تطبيق، مما يؤدي إلى بدء تشغيل كل معالج في "الوضع الحقيقي" ثم الانتقال إلى "الوضع الافتراضي" وأخيرًا إلى "الوضع المحمي"]، يتجنب نظام التشغيل هذه الثغرة الأمنية من خلال تنفيذ عملية تشغيل آمنة (تُعرف أيضًا باسم التشغيل المُقاس) والتي تضع معالجات التطبيقات في حالة سكون خاصة، حيث يتم بدء تشغيلها مباشرةً في الوضع المحمي مع تفعيل الترحيل، ولا يُسمح لها بمغادرة هذه الحالة. [ 3 ]
طلب
تتوفر قيم PCR محليًا وعن بُعد. علاوة على ذلك، يتمتع TPM بالقدرة على توقيع قيم PCR رقميًا (أي، اقتباس PCR) بحيث يمكن لأي جهة التحقق من أن القياسات صادرة من TPM ومحمية بواسطته، مما يُمكّن خاصية التحقق عن بُعد من اكتشاف التلاعب والتلف والبرامج الضارة. بالإضافة إلى ذلك، يمكن استخدام هذه القيم لتحديد بيئة التشغيل (إصدار BIOS المحدد، ومستوى نظام التشغيل، والتكوين، وما إلى ذلك) ومقارنتها بقوائم القيم الموثوقة الخاصة بها لتصنيف النظام الأساسي بشكل أدق. تُعرف هذه القدرة على تقييم الأنظمة الأساسية وتحديد مستويات الثقة بها باسم مجموعات الحوسبة الموثوقة.
بعض الأمثلة على كيفية استخدام مجموعات الحوسبة الموثوقة:
- العزل - القدرة على التحكم فيما إذا كانت المنصة تتصل بشبكة الإنتاج أو يتم عزلها بناءً على مستوى الثقة بها أو فشلها في اجتياز سياسة التحكم في الإطلاق.
- سياسة قائمة على الثقة – مثل تقييد التطبيقات الحيوية بحيث لا تعمل إلا على المنصات التي تستوفي مستوى ثقة محددًا
- الامتثال والتدقيق – إثبات أن البيانات الحساسة أو الشخصية أو الهامة لم تتم معالجتها إلا على منصات تلبي متطلبات الثقة
تتضمن العديد من منصات الخوادم تقنية Intel TXT، ويستفيد منها موردو البرامج مثل HyTrust و PrivateCore و Citrix و VMware . كما تستخدم مشاريع المصادر المفتوحة هذه التقنية؛ فعلى سبيل المثال، يوفر tboot نظام سلامة قائم على TXT لنواة Linux وبرنامج Xen Hypervisor. [ 4 ] [ 5 ]
تتمتع أجهزة الكمبيوتر التي تعمل بنظام التشغيل Windows 10 والمزودة بربط PCR7 بالقدرة على تمكين أو تعطيل التشفير الكامل للجهاز . [ 6 ]
مصطلحات
- ACM
- وحدة رمز المصادقة
- CRTM
- قياس جذر الثقة الأساسي
- DRTM
- قياس جذر الثقة الديناميكي
- LCP
- سياسة التحكم في الإطلاق
- MLE
- بيئة إطلاق مُقاسة
- تفاعل البوليميراز المتسلسل (PCR)
- سجلات تكوين النظام الأساسي
- تي سي بي
- قاعدة الحوسبة الموثوقة
- لعبة بطاقات التداول
- مجموعة الحوسبة الموثوقة
- وحدة التحكم في درجة الحرارة
- وحدة النظام الأساسي الموثوقة
انظر أيضاً
ملحوظات
- ↑ يتم قياس CRTM بواسطة المعالج ويتم قياس رمز BIOS الأولي بواسطة ACM (جميع القياسات الأخرى تتم بواسطة BIOS أو رمز البرامج الثابتة الأخرى) ولكن فقط بعد قياس هذا الرمز.
مراجع
- ↑ "استخدامات SHA-1 في TPM الإصدار 1.2" . مجموعة الحوسبة الموثوقة. مؤرشف من الأصل بتاريخ 4 مارس 2016. تم الاطلاع عليه بتاريخ 14 مارس 2014 .
- ↑ "الأسئلة الشائعة حول مواصفات مكتبة TPM 2.0" . مجموعة الحوسبة الموثوقة. مؤرشف من الأصل بتاريخ 19 أبريل 2016. تم الاطلاع عليه بتاريخ 14 مارس 2014 .
- ↑ "الفصل 2.2: إطلاق MLE". دليل تطوير برمجيات تقنية التنفيذ الموثوق من إنتل (Intel® TXT) (ملف PDF) . إنتل. مؤرشف (ملف PDF) من الأصل بتاريخ 26-12-2018 . تم الاطلاع عليه بتاريخ 26-12-2018 .
- ↑ "tboot (Trusted Boot)" . sourceforge.net . 6 أكتوبر 2014. مؤرشف من الأصل في 29 نوفمبر 2014. تم الاطلاع عليه في 16 نوفمبر 2014 .
- ↑ جوزيف سيهولا (28 فبراير 2011). "التمهيد الموثوق: التحقق من إطلاق زين" (ملف PDF) . xenproject.org . مؤرشف من الأصل (ملف PDF) في 13 أكتوبر 2016. تم الاطلاع عليه في 16 نوفمبر 2014 .
- ↑ «يتضمن نظام التشغيل ويندوز 8.1 تشفيرًا سلسًا وتلقائيًا للقرص - إذا كان جهاز الكمبيوتر الخاص بك يدعمه» . آرس تكنيكا . 17 أكتوبر 2013. مؤرشف من الأصل في 5 يوليو 2014. تم الاطلاع عليه في 18 أكتوبر 2013 .
روابط خارجية
- "التنفيذ الموثوق"، التكنولوجيا ، إنتل.
- "التنفيذ الموثوق"، التكنولوجيا (ملف PDF) (نظرة عامة)، إنتل.
- "التنفيذ الموثوق"، التكنولوجيا (ملف PDF) (نظرة عامة على البنية)، إنتل.
- دليل تطوير برمجيات تقنية التنفيذ الموثوق من إنتل (ملف PDF) ، إنتل.
- "الافتراضية"، التكنولوجيا ، إنتل.
- نظرة عامة على تقنية Intel TXT ، جزء من وثائق نواة لينكس ، 1 ديسمبر 2014
- إدارة سلامة البيانات باستخدام Intel TXT ، LWN.net ، 1 أبريل 2009، بقلم جيك إيدج
- مهاجمة تقنية التنفيذ الموثوقة من إنتل ، موجزات بلاك هات ، فبراير 2009، بقلم رافال فويتشوك وجوانا روتكوفسكا
- تقنيات الحوسبة الموثوقة، تقنية التنفيذ الموثوقة من إنتل ، مختبرات سانديا الوطنية، يناير 2011، بقلم جيريمي دانيال ويندت وماكس جوزيف غايز
- معمارية X86
- تعليمات X86
- الحوسبة الموثوقة
- معالجات Intel x86 الدقيقة
