"Operator, can you hear me?" A Faithful Line into the UNISOC Baseband
यह शोध पत्र Unislop को प्रस्तुत करता है, जो एक निष्ठावान बेसबैंड री-होस्टिंग विधि है जो कंट्रोल-प्लेन लॉजिक के व्यवस्थित सुरक्षा विश्लेषण को सक्षम करने के लिए UNISOC UDX710 प्रोसेसर के साथ लॉकस्टेप में आसपास के घटकों को मॉडल करती है, जो एक व्यापक रूप से उपयोग किए जाने वाले मॉडेम प्लेटफॉर्म पर पूर्ण कंट्रोल-प्लेन स्टेट रिकवरी और वास्तविक IP ट्रैफिक हैंडलिंग को सफलतापूर्वक प्रदर्शित करती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आपका स्मार्टफोन केवल एक अकेला कंप्यूटर नहीं है, बल्कि एक हलचल भरा शहर है जिसका एक बहुत ही विशिष्ट, अदृश्य मेयर है। यह मेयर बेसबैंड प्रोसेसर (baseband processor) है, जो एक छोटा, हमेशा चालू रहने वाला कंप्यूटर है जो पूरी तरह से सेल टावरों से बात करने के लिए समर्पित है। जबकि आपके फोन की मुख्य स्क्रीन और ऐप्स (जिसे "एप्लीकेशन प्रोसेसर" कहा जाता है) आपके गेम्स और वीडियो को संभालते हैं, बेसबैंड वह है जो कॉल को काम करने देने, आपकी लोकेशन चेक करने और आपके डेटा को सुरक्षित रखने के लिए नेटवर्क के साथ गुप्त बातें करता है। यह प्रोटोकॉल की एक जटिल भाषा बोलता है, लगातार संपर्क बनाए रखता है, ऑथेंटिकेशन करता है और सेशन्स स्थापित करता है। समस्या यह है कि यह मेयर एक किले में बंद है। यह अपने स्वयं के ऑपरेटिंग सिस्टम पर चलता है, सख्त सुरक्षा जांचों द्वारा संरक्षित है, और फोन के भीतर अन्य विशिष्ट श्रमिकों—जैसे कि सिम कार्ड (आपकी डिजिटल आईडी), एक सुरक्षा इंजन और एक सिग्नल प्रोसेसर—से बात करता है। क्योंकि यह प्रणाली इतनी अलग-थलग और जटिल है, सुरक्षा शोधकर्ताओं को इसके अंदर झांकने में संघर्ष करना पड़ा है ताकि यह देखा जा सके कि क्या मेयर को धोखा दिया जा रहा है या क्या कोई छिपे हुए दरवाजे हैं। उन्होंने अध्ययन करने के लिए शहर के नकली संस्करण बनाने की कोशिश की, लेकिन वे नकली संस्करण कार्डबोर्ड के कटआउट की तरह थे: वे दूर से सही दिखते थे लेकिन जब आप उनकी गलियों में चलने की कोशिश करते तो वे बिखर जाते थे। पूरे वातावरण, जिसमें वह घड़ी भी शामिल है जो सभी के लिए टिक-टिक करती है और जिस विशिष्ट तरीके से श्रमिक एक-दूसरे से बात करते हैं, को निष्ठापूर्वक पुन: निर्मित करने के बिना, शोधकर्ता उस गहरे, महत्वपूर्ण तर्क (logic) का परीक्षण नहीं कर सके जो आपके कनेक्शन को सुरक्षित रखता है।
यहाँ एक शोधकर्ताओं की टीम आई जिन्होंने अनुमान लगाना छोड़ दिया और एक पूर्ण, समय-यात्रा करने वाली प्रतिकृति बनाने का निर्णय लिया। वे अपनी विधि को unislop कहते हैं। बेसबैंड के पड़ोसियों का अनुमान लगाने के बजाय, उन्होंने तय किया कि वे प्रत्येक घटक का सटीक रूप से मॉडल करेंगे—सिम कार्ड, सुरक्षा इंजन, सिग्नल प्रोसेसर और यहाँ तक कि मुख्य फोन कंप्यूटर भी—ठीक वैसे ही जैसे वे वास्तविक दुनिया में व्यवहार करते हैं। उन्होंने एक ऐसी प्रणाली बनाई जहाँ ये सभी भाग पूर्ण तालमेल (lockstep) में चलते हैं, एक ही सटीक क्लॉक टिक्स साझा करते हैं, यह सुनिश्चित करते हुए कि जब बेसबैंड किसी चीज़ के लिए पूछता है, तो उसे ठीक उसी क्षण प्रतिक्रिया मिलती है जिसकी वह अपेक्षा करता है। उन्होंने इसका परीक्षण UNISOC UDX710 नामक एक विशिष्ट चिप पर किया, जो अनुमानित 10-15% सेलुलर मॉडेम और यहाँ तक कि कुछ कार सिस्टम में पाया जाता है। शुरुआत करने के लिए, उन्हें डिवाइस की अपनी सुरक्षा को तोड़ना पड़ा, अपने स्वयं के संशोधित कोड को चलाने के लिए एक फर्मवेयर इंटीग्रिटी चेक को बायपास करना पड़ा। एक बार अंदर जाने के बाद, उन्होंने केवल देखा नहीं; उन्होंने इस बात का विस्तृत मानचित्र बनाया कि वास्तविक डिवाइस के घटकों ने आपस में कैसे संवाद किया।
परिणाम एक बेसबैंड का "निष्ठापूर्ण" (faithful) री-होस्टिंग है। उनके सिमुलेशन में, नकली बेसबैंड ने केवल जुड़ने का नाटक नहीं किया; इसने सफलतापूर्वक पूरे 5G हैंडशेक को पूरा किया, एक पूर्ण डेटा सेशन स्थापित किया, और वास्तविक इंटरनेट ट्रैफिक को अंदर और बाहर भी ले गया, बिल्कुल वास्तविक डिवाइस की तरह। उन्होंने साबित किया कि उनकी प्रतिकृति वास्तविक हार्डवेयर के ठीक समान आंतरिक अवस्थाओं (internal states) तक पहुँच गई। यह एक बड़ी बात है क्योंकि इसका मतलब है कि शोधकर्ता अब इन जटिल, लॉक-डाउन प्रणालियों का एक सुरक्षित, नियंत्रित वातावरण में अध्ययन कर सकते हैं, बिना वास्तविक फोन या वास्तविक सेल टावर की आवश्यकता के। उन्होंने दिखाया कि बेसबैंड को एक अकेले प्रोसेसर के रूप में नहीं, बल्कि एक सिंक्रोनाइज्ड ऑर्केस्ट्रा के टीम प्लेयर के रूप में मानकर, वे अंततः उस संगीत को सुन सकते हैं जो चीजें गलत होने पर वह बजाता है। यह उन कमजोरियों को खोजने का द्वार खोलता है जो हमारे जुड़े हुए संसार को चलाने वाले मूल तर्क (logic) को बनाए रखती हैं, यह सिद्ध करते हुए कि पर्याप्त धैर्य और सही घड़ी के साथ, सबसे सुरक्षित डिजिटल शहरों को भी खोजा जा सकता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।