A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
تقدم هذه الورقة بنية مبتكرة قائمة على بيئة التنفيذ الموثوقة (TEE) للتحقق المستمر من العمليات، تضمن جمع أدلة مقاومة للتلاعب وتوافرًا عاليًا من خلال بروتوكول سلسلة مرن ونمذجة اعتمادية صورية، محققةً عبئًا منخفضًا وتعافيًا سريعًا في تقييمات Intel SGX.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك مؤلف مشهور، وادعى أحدهم أنه كتب تحفة فنية. لكنك تشك في أنه لم يكتبها حقاً، ربما استعان بكاتب شبح، أو والأسوأ من ذلك، استخدم برنامج كمبيوتر لتوليدها بالكامل في لحظة.
كيف تثبت، بما لا يدع مجالاً للشك، أن إنساناً حقيقياً جلس هناك وكتب تلك الكلمات على مدار عدة ساعات؟
تقترح هذه الورقة حلاً عالي التقنية لهذه المشكلة، ولكن مع لمسة مميزة: فهي تفترض أن الشخص الذي يحاول الغش هو من يمسك بجهاز الكمبيوتر.
إليك قصة كيفية عمل هذا النظام، مشروحة ببساة.
المشكلة: مفارقة "صندوق الأمانة"
عادةً، عندما نتحقق من شيء ما، نحن نثق في أن الكمبيوتر سيقول الحقيقة. ولكن في هذا السيناريو، "المُوثِّق" (الشخص الذي يدعي أنه كتب الكتاب) هو من يتحكم في الكمبيوتر. يمكنه إغلاقه، أو تزييف البيانات، أو تعديل السجلات. الأمر يشبه سؤال مشتبه به ليكتب دليلاً على براءته بنفسه.
إذا كان البرنامج يعمل على جهازه، فيمكنه ببساطة أن يكذب. تطلق الورقة على هذا اسم "انعكاس الثقة" (Trust Inversion). فالشخص الذي تحاول التحقق منه هو نفسه المسؤول عن الدليل.
الحل: "الصندوق الزجاجي الآمن" (TEE)
لحل هذه المشكلة، استخدم المؤلفون تقنية تسمى "بيئة التنفيذ الموثوقة" (Trusted Execution Environment - TEE).
تخيل أن الـ TEE عبارة عن خزنة زجاجية سحرية غير قابلة للكسر داخل جهاز الكمبيوتر.
- الشرير (المؤلف) يتحكم في المنزل بأكمله (الكمبيوتر).
- ولكن داخل المنزل، توجد هذه الخزنة الزجاجية الواحدة التي لا يستطيع سوى "المُحقِّق" (الشخص الذي يفحص العمل) رؤية ما بداخلها.
- لا يستطيع الشرير كسر الزجاج، ولا يمكنه التلصص على ما بداخلها، ولا يمكنه تغيير ما يحدث داخلها. يمكنه فقط قطع التيار الكهربائي أو فصل الخزنة.
يعمل النظام على "جمع الأدلة" بالكامل داخل هذه الخزنة. إنه يسجل كل ضغطة مفتاح، والوقت بين الضغطات، وإيقاع الكتابة. ولأن الخزنة محمية عتادياً (Hardware-protected)، فلا يمكن للشرير تزييف البيانات بداخلها.
التحدي: ماذا لو تعطلت الخزنة؟
هذا هو الجزء الصعب؛ فحتى الخزنات السحرية قد تتعطل. قد يفقد الكمبيوتر الطاقة، أو قد يحدث خلل في البرنامج داخل الخزنة، أو قد ينقطع الاتصال بالإنترنت.
إذا تعطلت الخزنة، تنقطع "سلسلة الأدلة". وإذا فقدت السلسلة، ستفقد الإثبات على أن الكتابة تمت بشكل مستمر.
لقد صمم المؤلفون نظاماً مرناً، بمعنى أنه يمكنه النجاة من هذه الأعطال دون فقدان القصة.
1. "المذكرات المختومة" (التعافي من الأعطال)
تخيل أن الخزنة تكتب مدخلاً في المذكرات كل 30 ثانية.
- في الحالة الطبيعية: تكتب المدخل، وتضعه في مغلف مختوم، وترسله إلى المُحقِّق.
- عند حدوث عطل: إذا تعطلت الخزنة، يعيد الكمبيوتر التشغيل. تفتح الخزنة الجديدة آخر مغلف مختوم وجدته على الأرض. تتحقق من الختم (وهو ختم غير قابل للكسر)، وتعرف أين توقفت، وتبدأ في كتابة المدخل التالي فوراً.
- النتيجة: حتى لو تعطلت الخماسة 10 مرات، تظل المذكرات مستمرة. الشيء الوحيد المفقود هو الثواني القليلة بين العطل وإعادة التشغيل.
2. "وضع عدم الاتصال" (انقطاع الشبكة)
ماذا لو انقطع الإنترنت؟ الخزنة لا تتوقف عن العمل. فهي تستمر في كتابة المدخلات وختمها في مغلفات، وتكدسها داخل الخزنة.
- بمجرد عودة الإنترنت، تقوم الخزنة بإفراغ كومة المغلفات بالترتيب.
- يقوم المُحقِّق بالتحقق من الطوابع الزمنية والعمليات الحسابية لضمان أن أحداً لم يتخطَّ يوماً أو يزور الوقت.
"السحر الرياضي" (إثبات العمل)
كيف يعرف النظام أن المؤلف لم يكتب كلمة واحدة ثم انتظر 30 ثانية؟
يستخدم النظام "دالة عمل متسلسلة" (Sequential Work Function). اعتبر هذا بمثابة لغز رياضي يستغرق 3 em 30 ثانية لحله بالضبط.
- لا يمكنك حله بشكل أسرع، مهما كانت قوة جهاز الكمبيوتر الخاص بك.
- لا يمكنك حله بالتوازي (أي لا يمكنك استخدام 100 جهاز كمبيوتر لحل اللغز في ثانية واحدة).
- هذا يثبت أن وقتاً حقيقياً قد مرّ. إذا تم حل اللغز، فهذا يعني حتماً مرور 30 ثانية.
"ثلاث مستويات من الثقة"
تعترف الورقة بأن المدخلات (الكتابة) هي الحلقة الأضعف لأن الشرير يتحكم في برنامج تعريف لوحة المفاتيح. لذا، هم يقدمون ثلاثة مستويات من الحماية:
- المستوى 1 (البرمجيات): يعد الكمبيوتر بأنه لم يكذب بشأن ضغطات المفاتيح. (جيد، لكن الشرير يمكنه الكذب).
- المستوى 2 (نظام التشغيل): يساعد نظام التشغيل في عملية التحقق. (من الصعب تزييفه).
- المستوى 3 (العتاد/الأجهزة): تتحدث لوحة المفاتيح مباشرة مع الخزنة، متجاوزةً برامج الشرير تماماً. (وهو المستوى الأكثر أماناً).
النتائج: هل ينجح الأمر؟
اختبر المؤلفون هذا على أجهزة حقيقية (Intel SGX).
- السرعة: إنه سريع للغاية. لا يبطئ "الخزنة" عملية الكتابة إلا بنسبة 0.3% فقط. لن تلاحظ ذلك حتى.
- الموثوقية: في عمليات المحاكاة، كان النظام متاحاً ويجمع الأدلة بنسبة 99.5% من الوقت، حتى مع حدوث أعطال متكررة.
- التعافي: إذا تعطل النظام، فإنه يستأنف العمل ويبدأ في الكتابة مرة أخرى في أقل من 0.2 ثانية.
الصورة الكبيرة
تقدم هذه الورقة طريقة جديدة لإثبات تأليف البشر.
بدلاً من الوثوق بالبرمجيات (التي يمكن اختراقها)، نحن نثق في العتاد/الأجهزة (الخزنة الزجاجية غير القابلة للكسر). حتى لو كان الشخص الذي يحاول الغش يتحكم في جهاز الكمبيوتر بالكامل، فإنه لا يستطيع كسر الخزنة، ولا يمكنه تزييف الوقت، ولا يمكنه مسح الأدلة بمجرد ختمها.
إنها تغير السؤال من "هل تصدق البرنامج؟" إلى "هل يمكنك كسر العتاد؟" وبما أن العتاد مصمم ليكون غير قابل للكسر، فإن الإجابة عادة ما تكون "لا".
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.