State Authenticity under Multiple Bus Masters: A Non-Secure DMA Gap and Mitigation for TrustZone-M Proofs of Executio

एक ऐसी दुनिया की कल्पना करें जहाँ हर जगह छोटे, सस्ते कंप्यूटर बिखरे पड़े हैं—आपके स्मार्ट थर्मोस्टेट के अंदर, आपके फिटनेस ट्रैकर में, और यहाँ तक कि एक फैक्ट्री के फर्श पर लगे सेंसरों में भी। ये छोटे उपकरण ईमानदार रिपोर्टर होने चाहिए, जो तापमान रीडिंग या मूवमेंट काउंट जैसे डेटा वापस भेजते हैं। लेकिन क्या होगा अगर एक हैकर इनमें से एक डिवाइस पर कब्ज़ा कर ले और झूठ बोलना शुरू कर दे, यानी एक विशाल क्लाउड डेटाबेस में फर्जी डेटा फीड करने लगे? इसे रोकने के लिए, हम एक डिजिटल "प्रूफ ऑफ एक्जीक्यूशन" (execution का प्रमाण) का उपयोग करते हैं। इसे एक कंप्यूटर के लिए नोटरी पब्लिक की तरह समझें: डिवाइस एक रसीद पर हस्ताक्षर करता है और कहता है, "मैं वादा करता हूँ कि मैंने इस विशिष्ट गणितीय समस्या को ठीक वैसे ही हल किया है जैसा पूछा गया था, बिना किसी के नंबरों के साथ छेड़छाड़ किए।"

इसके काम करने के लिए, डिवाइस को दो चीजों की आवश्यकता होती है: यह साबित करने का एक सुरक्षित तरीका कि इसने सही कोड चलाया है, और यह साबित करने का एक तरीका कि इसके द्वारा उपयोग किए गए डेटा (स्टेट/state) के साथ कोई छेड़छाड़ नहीं की गई है। यह पेपर इस प्रूफ सिस्टम के एक विशिष्ट, उच्च-तकनीकी संस्करण के बारे में है जिसे TrustZone-M कहा जाता है, जो कई आधुनिक माइक्रोचिप्स में बना होता है। यह चिप के भीतर एक सुपर-सिक्योर वॉल्ट (तिजोरी) की तरह है जो "ट्रस्टेड" (विश्वसनीय) कार्यों को "अनट्रस्टेड" (अविश्वसनीय) कार्यों से अलग करता है। बड़ा सवाल यह है कि यदि एक हैकर "अनट्रस्टेड" साइड में घुसपैठ करता है, तो क्या वह गणित करते समय चुपके से डेटा बदल सकता है, जिससे सिस्टम को फर्जी रसीद साइन करने के लिए धोखा दिया जा सके? यह पेपर जांच करता है कि क्या वॉल्ट के वर्तमान नियम एक ऐसे चालाक, अदृश्य सहायक को रोकने के लिए पर्याप्त मजबूत हैं जो मुख्य कंप्यूटर के पता चलते बिना डेटा लिख सकता है।

---

अदृश्य कलम: कैसे एक "घोस्ट" हैकर ने एक सुरक्षित चिप को बेवकूफ बनाया

एम्बेडेड सुरक्षा के उच्च-दांव वाले खेल में, शोधकर्ताओं ने हाल ही में SLAPP (Stateful Proofs of Execution) नामक एक चतुर योजना प्रस्तावित की। कल्पना करें कि SLAPP एक बहुत ही सख्त लाइब्रेरियन है जो यह सत्यापित करना चाहता है कि एक छात्र (डिवाइस) ने गणित की समस्या को सही ढंग से हल किया है। लाइब्रेरियन दो चीजें जाँचता है: पहला, कि क्या छात्र ने सही पाठ्यपुस्तक (कोड) का उपयोग किया, और दूसरा, कि क्या छात्र ने समस्या हल करते समय अपनी नोटबुक में नंबर बदलकर धोखाधड़ी तो नहीं की (स्टेट)।

लाइब्रेरियन का तर्क सरल और अचूक लग रहा था: "यदि छात्र अपनी नोटबुक में नंबर बदलने की कोशिश करता है, तो उसे निर्देश खोजने के लिए पहले पाठ्यपुस्तक खोलनी होगी। लेकिन चूंकि हमारे पास एक जादुई स्कैनर है जो पाठ्यपुस्तक पर नज़र रखता है, इसलिए निर्देशों में कोई भी बदलाव तुरंत पकड़ा जाएगा। इसलिए, यदि पाठ्यपुस्तक एकदम सही दिखती है, तो नोटबुक में नंबर भी ईमानदार होने चाहिए।"

हालांकि, यह पेपर उस तर्क के पीछे के पर्दे को हटाकर सच्चाई उजागर करता है। शोधकर्ताओं ने पाया कि छात्र ही एकमात्र व्यक्ति नहीं है जो नोटबुक में लिख सकता है। वहाँ एक दूसरा, अदृश्य लेखक है: एक DMA कंट्रोलर (Direct Memory Access)।

"घोस्ट" (अदृश्य) लेखक

DMA को समझने के लिए, मुख्य कंप्यूटर प्रोसेसर (CPU) की कल्पना एक व्यस्त शेफ के रूप में करें जो सब्जियां काट रहा है। शेफ ही रसोई में चॉपिंग बोर्ड (मेमोरी) को छूने के लिए एकमात्र व्यक्ति है। शेफ की निगरानी एक सुरक्षा कैमरे (TrustZone-M आइसोलेशन) द्वारा की जाती है जो यह सुनिश्चित करता है कि कोई और बोर्ड को न छू सके।

लेकिन रुकिए! रसोई में एक रोबोटिक हाथ (DMA कंट्रोलर) भी बैठा है। यह रोबोट फ्रिज से सामग्री को स्वचालित रूप से चॉपिंग बोर्ड पर लाने के लिए प्रोग्राम किया गया है। सुरक्षा कैमरा केवल शेफ के हाथों को देख रहा है। उसे नहीं पता कि रोबोट मौजूद है। रोबोट हाथ आगे बढ़ सकता है, आटे की एक बोरी पकड़ सकता है, और शेफ के व्यस्त होने के दौरान चॉपिंग बोर्ड पर डाल सकता है। शेफ कभी रोबोट को नहीं देखता, और सुरक्षा कैमरा कभी नहीं झपकता क्योंकि शेफ के हाथ नहीं हिले।

SLAPP सुरक्षा योजना की दुनिया में, "रोबोट" DMA कंट्रोलर है। शोधकर्ताओं ने पाया कि सुरक्षा प्रणाली केवल शेफ (CPU) को देख रही थी। इसने मान लिया था कि यदि रेसिपी बुक (प्रोग्राम मेमोरी) को नहीं बदला गया, तो कोई भी सामग्री (स्टेट) को नहीं बदल सकता। लेकिन रोबोट रेसिपी बुक को छुए बिना ही सामग्री को बदल सकता था।

हमला: एक शांत ज़हर (Silent Poisoning)

शोधकर्ताओं ने यह देखने के लिए एक वास्तविक चिप (STM32L5 माइक्रोकंट्रोलर) पर एक परीक्षण सेटअप किया कि क्या यह "घोस्ट" लेखक वास्तव में सिस्टम को तोड़ सकता है। उन्होंने एक ऐसी स्थिति बनाई जहाँ एक हैकर ने, जिसने पहले ही चिप के "अनट्रस्टेड" हिस्से पर कब्जा कर लिया था, गणना के बीच में ही एक वैध नंबर को फर्जी नंबर से बदलने के लिए DMA रोबोट का उपयोग किया।

यहाँ वह चाल कैसे चली:

1. जाँच: चिप के सुरक्षित हिस्से ने नोटबुक की जाँच की और देखा कि नंबर साफ थे। उसने थम्स-अप दिया।
2. बदलाव (The Swap): जाँच के तुरंत बाद, लेकिन अंतिम परिणाम पर हस्ताक्षर करने से पहले, DMA रोबोट ने आकर एक वैध नंबर को "पॉइज़न" (जहरीले) मान से बदल दिया।
3. हस्ताक्षर: चिप ने उस जहरीले नंबर का उपयोग करके गणित पूरा किया और रसीद पर हस्ताक्षर किए।
4. परिणाम: सुरक्षा कैमरे ने रेसिपी बुक को देखा, पाया कि वह अछूती थी, और रसीद को वैध मानकर स्वीकार कर लिया।

परिणाम एक "प्रूफ ऑफ एक्जीक्यूशन" था जो गणितीय रूप से वैध था लेकिन तथ्यात्मक रूप से झूठ था। सिस्टम ने एक ऐसे डेटा के आधार पर परिणाम प्रमाणित किया जिसके साथ छेड़छाड़ की गई थी, जबकि मुख्य कंप्यूटर को लगा कि सब कुछ ठीक है।

सामान्य बचाव क्यों विफल रहे

शोधकर्ताओं ने फिर पूछा: "चिप के अंतर्निहित सुरक्षा तंत्र ने इसे क्यों नहीं रोका?" उन्होंने तीन मानक बचावों को आजमाया, और प्रत्येक एक अलग, अजीब कारण से विफल रहा:

1. "रोबोट को लॉक करने" का प्रयास: उन्होंने सुरक्षा प्रणाली को रोबोट के हाथ को लॉक करने के लिए कहने की कोशिश की। लेकिन सिस्टम ने कहा, "मैं रोबots को नियंत्रित नहीं करता; मैं केवल शेफ को नियंत्रित करता हूँ।" सुरक्षा द्वार रोबोट पर लागू ही नहीं हुआ।
2. "टेबल को लॉक करने" का प्रयास: उन्होंने चॉपिंग बोर्ड को लॉक करने की कोशिश की ताकि कोई उसे छू न सके। लेकिन यह बहुत सख्त था! शेफ को भी बोर्ड पर लिखने की आवश्यकता थी। यदि वे बोर्ड को लॉक कर देते, तो शेफ अपना काम नहीं कर पाता और पूरा सिस्टम रुक जाता।
3. "अलार्म" का प्रयास: उन्होंने एक अलार्म सेट करने की कोशिश की जो तब बजता जब रोबोट बोर्ड को छूता। लेकिन अलार्म तभी बजता है जब कोई नियम तोड़ता है। चूंकि रोबोट को बोर्ड को छूने की अनुमति थी (यह इस विशिष्ट सुरक्षा नियम के लिए गलत तरह का स्पर्श था), अलार्म शांत रहा।

समाधान: रोबोट को वश में करना

समाधान एक बड़ा दीवार बनाना या अधिक शोर वाला अलार्म लगाना नहीं था। समाधान यह था कि रोबot को अपना खुद का छोटा सुरक्षा बैज दिया जाए। शोधकर्ताओं ने पाया कि रोबोट (DMA कंट्रोलर) के अंदर वास्तव में एक छिपा हुआ स्विच था जिसे सुरक्षित शेफ द्वारा चालू किया जा सकता था।

इस स्विच को बदलकर, सुरक्षित दुनिया यह कह सकती थी, "यह विशिष्ट रोबोट हाथ अब मेरे नियंत्रण में है। यदि हैकर इसे चलाने की कोशिश करता है, तो यह उन्हें अनदेखा कर देगा और रेड फ्लैग (चेतावनी) दिखाएगा।"

यह समाधान आश्चर्यजनक रूप से सस्ता और आसान था। इसने शेफ की गति को धीमा नहीं किया और न ही इसके लिए नए हार्डवेयर की आवश्यकता थी। शोधकर्ताओं ने चिप पर सभी रोबोट हाथों को सुरक्षित करके इसका परीक्षण किया। जब उन्होंने दोबारा हमला करने की कोशिश की, तो रोबोट ने हिलने से इनकार कर दिया, अलार्म बज गया, और फर्जी रसीद को खारिज कर दिया गया।

सबसे बड़ा सबक

इस पेपर का सबसे महत्वपूर्ण निष्कर्ष केवल एक विशिष्ट चिप या एक विशिष्ट हैकर ट्रिक के बारे में नहीं है। यह इस बारे में एक सबक है कि हम सुरक्षा के बारे में कैसे सोचते हैं।

लंबे समय तक, सुरक्षा डिजाइनरों ने माना कि यदि आप मुख्य मस्तिष्क (CPU) की रक्षा करते हैं, तो आप सब कुछ सुरक्षित करते हैं। यह पेपर साबित करता है कि आधुनिक चिप्स पर, मस्तिष्क द्वारा देखे न जाने वाले अन्य "हाथ" भी मेमोरी में पहुँच रहे हैं। यदि आप किसी कंप्यूटर के डेटा पर भरोसा करना चाहते हैं, तो आप केवल मस्तिष्क को नहीं देख सकते; आपको हर उस हाथ को देखना होगा जो डेटा को छू सकता है।

शोधकर्ताओं ने दिखाया कि SLAPP सिस्टम, जैसा कि प्रकाशित किया गया था, उसके तर्क में एक छेद था क्योंकि वह "रोबोट हाथों" के बारे में भूल गया था। उन्होंने न केवल छेद को खोजा; बल्कि उन्होंने दिखाया कि एक सरल, हल्के वजन वाले सुधार के साथ इसे कैसे ठीक किया जाए। यह एक याद दिलाता है कि सूक्ष्म कंप्यूटरों की दुनिया में, सबसे खतरनाक हैकर्स वे नहीं हैं जो कीबोर्ड पर टाइप कर रहे हैं, बल्कि वे अदृश्य रोबोट हैं जो बैकग्राउंड में काम कर रहे हैं, किसी के उनकी आईडी चेक करना भूल जाने का इंतज़ार कर रहे हैं।