A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
यह शोध पत्र निरंतर प्रक्रिया प्रमाणीकरण (प्रोसेस अटेस्टेशन) के लिए एक नवीन TEE-आधारित आर्किटेक्चर प्रस्तुत करता है जो एक लचीले चेन प्रोटोकॉल और औपचारिक निर्भरता मॉडलिंग (फॉर्मल डिपेंडेबिलिटी मॉडलिंग) के माध्यम से छेड़छाड़-प्रतिरोधी साक्ष्य संग्रह और उच्च उपलब्धता सुनिश्चित करता है, जो इंटेल SGX मूल्यांकनों में कम ओवरहेड और तीव्र रिकवरी प्राप्त करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक प्रसिद्ध लेखक हैं, और कोई दावा करता है कि उसने एक उत्कृष्ट कृति (masterpiece) लिखी है। लेकिन आपको संदेह है कि उसने इसे वास्तव में नहीं लिखा है; शायद उसने एक घोस्टराइटर (ghostwriter) को काम पर रखा है, या इससे भी बुरा, उसने पूरी किताब को तुरंत जनरेट करने के लिए किसी कंप्यूटर प्रोग्राम का उपयोग किया है।
आप यह कैसे साबित करेंगे कि एक वास्तविक इंसान ने कई घंटों तक बैठकर वास्तव में उन शब्दों को टाइप किया है?
यह शोध पत्र इस समस्या के लिए एक उच्च-तकनीकी समाधान प्रस्तावित करता है, लेकिन एक ट्विस्ट के साथ: यह मानता है कि धोखा देने वाला व्यक्ति ही कंप्यूटर को नियंत्रित कर रहा है।
यह इस सिस्टम के काम करने की कहानी है, जिसे सरल रूप में समझाया गया है।
समस्या: "ईमानदारी का डिब्बा" विरोधाभास (The "Honesty Box" Paradox)
आमतौर पर, जब हम किसी चीज़ को सत्यापित करते हैं, तो हम कंप्यूटर पर सच बोलने के लिए भरोसा करते हैं। लेकिन इस परिदृश्य में, "अटेस्टर" (वह व्यक्ति जो दावा कर रहा है कि उसने किताब लिखी है) कंप्यूटर को नियंत्रित करता है। वह इसे बंद कर सकता है, डेटा फर्जी बना सकता है, या लॉग्स (logs) को एडिट कर सकता है। यह वैसा ही है जैसे किसी संदिग्ध से उसका अपना एलीबाई (alibi) लिखने के लिए कहना।
यदि सॉफ्टवेयर उनके मशीन पर चल रहा है, तो वे झूठ बोल सकते हैं। शोध पत्र इसे "ट्रस्ट इनवर्जन" (Trust Inversion) कहता है। जिस व्यक्ति को आप सत्यापित करने की कोशिश कर रहे हैं, वही साक्ष्य का प्रभारी है।
समाधान: "ग्लास-बॉक्स" सेफ (TEE)
इस समस्या को हल करने के लिए, लेखक "ट्रस्टेड एक्जीक्यूशन एनवायरनमेंट" (TEE) नामक तकनीक का उपयोग करते हैं।
एक TEE को कंप्यूटर के भीतर एक जादुई, अटूट कांच के तिजोरी (glass safe) के रूप में सोचें।
- बुरा आदमी (लेखक) पूरे घर (कंप्यूटर) को नियंत्रित करता है।
- लेकिन घर के अंदर, एक ऐसी कांच की तिजोरी है जिसके अंदर केवल "वेरिफायर" (जांच करने वाला व्यक्ति) ही देख सकता है।
- बुरा आदमी कांच को तोड़ नहीं सकता, अंदर झाँक नहीं सकता, और न ही अंदर होने वाली चीजों को बदल सकता है। वह केवल बिजली बंद कर सकता है या तिजोरी का प्लग निकाल सकता है।
सिस्टम "साक्ष्य संग्रह" (evidence collection) को पूरी तरह से इस तिजोरी के भीतर चलाता है। यह हर कीस्ट्रोक (keystroke), उनके बीच का समय और टाइपिंग की लय को रिकॉर्ड करता है। क्योंकि तिजोरी हार्डवेयर-सुरक्षित है, बुरा आदमी इसके भीतर का डेटा फर्जी नहीं बना सकता।
चुनौती: क्या होगा अगर तिजोरी टूट जाए?
यहाँ पेचीदा हिस्सा है: यहाँ तक कि जादुई तिजोरियाँ भी क्रैश हो सकती हैं। कंप्यूटर की बिजली जा सकती है, तिजोरी के भीतर का सॉफ्टवेयर ग्लिच कर सकता है, या इंटरनेट बंद हो सकता है।
यदि तिजोरी क्रैश होती है, तो "साक्ष्य की श्रृंखला" (chain of evidence) टूट जाती है। यदि आप श्रृंखला खो देते हैं, तो आप यह प्रमाण खो देते हैं कि लेखन निरंतर रूप से हुआ था।
लेखकों ने एक ऐसा सिस्टम डिज़ाइन किया है जो रेज़िलिएंट (resilient) है, जिसका अर्थ है कि यह बिना सबूत खोए क्रैश से बच सकता है।
1. "सील्ड डायरी" (क्रैश रिकवरी)
कल्पना कीजिए कि तिजोरी हर 30 सेकंड में एक डायरी प्रविष्टि (diary entry) लिखती है।
- सामान्य स्थिति: यह प्रविष्टि लिखता है, उसे एक लिफाफे में सील करता है, और वेरिफायर को भेज देता है।
- क्रैश की स्थिति: यदि तिजोरी क्रैश हो जाती है, तो कंप्यूटर रीबूट होता है। नई तिजोरी फर्श पर मिले पिछले सीलबंद लिफाफे को खोलती है। यह उसकी सील (जो अटूट है) की जांच करती है, देखती है कि वह कहाँ रुकी थी, और तुरंत अगली प्रविष्टि लिखना शुरू कर देती है।
- परिणाम: भले ही तिजोरी 10 बार क्रैश हो जाए, डायरी फिर भी निरंतर रहेगी। केवल क्रैश और रीस्टार्ट के बीच के कुछ सेकंड ही खोते हैं।
2. "ऑफलाइन मोड" (नेटवर्क ब्लैकआउट)
क्या होगा यदि इंटरनेट बंद हो जाता है? तिजोरी काम करना बंद नहीं करती है। यह प्रविष्टियाँ लिखना जारी रखती है और उन्हें लिफाफों में सील करके अंदर जमा करती रहती है।
- एक बार इंटरनेट वापस आने पर, तिजोरी उन लिफाफों के ढेर को क्रम में डाल देती है।
- वेरिफायर टाइमस्टैम्प और गणित की जांच करता है ताकि यह सुनिश्चित हो सके कि किसी ने कोई दिन छोड़ा नहीं या समय के साथ छेड़छाड़ नहीं की।
"मैथ मैजिक" (प्रूफ ऑफ वर्क)
सिस्टम को कैसे पता चलता है कि लेखक ने केवल एक शब्द टाइप नहीं किया और फिर 30 सेकंड तक इंतजार किया?
सिस्टम एक सीक्वेंशियल वर्क फंक्शन (Sequential Work Function) का उपयोग करता है। इसे एक गणितीय पहेली के रूप में समझें जिसे हल करने में ठीक 30 सेकंड लगते हैं।
- आप इसे तेज़ नहीं कर सकते, चाहे आपका कंप्यूटर कितना भी शक्तिशाली क्यों न हो।
- आप इसे समानांतर (parallel) में नहीं कर सकते (आप 1 सेकंड में 100 कंप्यूटरों का उपयोग करके इसे हल नहीं कर सकते)।
- यह प्रमाणित करता है कि वास्तविक समय बीता है। यदि पहेली हल हो जाती है, तो 30 सेकंड का समय निश्चित रूप से बीत चुका है।
"विश्वास के तीन स्तर"
शोध पत्र स्वीकार करता है कि इनपुट (टाइपिंग) सबसे कमजोर कड़ी है क्योंकि बुरा आदमी कीबोर्ड ड्राइवर को नियंत्रित करता है। इसलिए, वे तीन स्तरों की सुरक्षा प्रदान करते हैं:
- स्तर 1 (सॉफ्टवेयर): कंप्यूटर वादा करता है कि उसने कीस्ट्रोक्स के बारे में झूठ नहीं बोला। (अच्छा है, लेकिन बुरा आदमी झूठ बोल सकता है)।
- स्तर 2 (OS): ऑपरेटिंग सिस्टम सत्यापन में मदद करता है। (फर्जी बनाना कठिन है)।
- स्तर 3 (हार्डवेयर): कीबोर्ड सीधे तिजोरी से बात करता है, बुरे आदमी के सॉफ्टवेयर को पूरी तरह से बायपास कर देता है। (सबसे सुरक्षित)।
परिणाम: क्या यह काम करता है?
लेखकों ने वास्तविक हार्डवेयर (Intel SGX) पर इसका परीक्षण किया।
- गति: यह अविश्वसनीय रूप से तेज़ है। "सेफ" टाइपिंग की प्रक्रिया को केवल 0.3% धीमा करता है। आपको इसका पता भी नहीं चलेगा।
- विश्वसनीयता: सिमुलेशन में, बार-बार क्रैश होने के बावजूद, सिस्टम उपलब्ध था और साक्ष्य एकत्र कर रहा था 99.5% समय।
- रिकवरी: यदि यह क्रैश होता है, तो यह 0.2 सेकंड से भी कम समय में वापस शुरू हो जाता है।
बड़ी तस्वीर
यह शोध पत्र मानवीय लेखकत्व (human authorship) को सिद्ध करने का एक नया तरीका प्रस्तुत करता है।
सॉफ्टवेयर (जिसे हैक किया जा सकता है) पर भरोसा करने के बजाय, हम हार्डवेयर (अटूट कांच की तिजोरी) पर भरोसा करते हैं। भले ही धोखा देने वाला व्यक्ति पूरे कंप्यूटर को नियंत्रित करता हो, वह तिजोरी को तोड़ नहीं सकता, समय को फर्जी नहीं बना सकता, और एक बार सील होने के बाद सबूत मिटा नहीं सकता।
यह सवाल को "क्या आप सॉफ्टवेयर पर विश्वास करते हैं?" से बदलकर "क्या आप हार्डवेयर को तोड़ सकते हैं?" में बदल देता है। और चूंकि हार्डवेयर को अटूट बनाने के लिए डिज़ाइन किया गया है, इसलिए उत्तर आमतौर पर "नहीं" होता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।