Extending Layered Attestation into ARM Application Run-Times
यह शोध पत्र ARA प्रस्तुत करता है, जो एक ARM-आधारित एप्लिकेशन-रनटाइम एंकर है, जो परमिशन ओवरले एक्सटेंशन का लाभ उठाकर हार्डवेयर-समर्थित अटस्टेशन को लोड-टाइम से निष्पादन (एग्जीक्यूशन) तक विस्तारित करता है ताकि न्यूनतम प्रदर्शन ओवरहेड के साथ रनटाइम अखंडता सत्यापन और गुप्त सुरक्षा के लिए एक संरक्षित, अटस्टेड डोमेन बनाया जा सके।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
आधुनिक कंप्यूटिंग की दुनिया में, विश्वास अक्सर प्रोग्राम शुरू होते ही स्थापित हो जाता है। जब आप अपने फोन पर कोई ऐप खोलते हैं, तो डिवाइस यह सुनिश्चित करने के लिए जांच करता है कि सॉफ्टवेयर असली है और उसके साथ कोई छेड़छाड़ नहीं की गई है, इससे पहले कि वह चलना शुरू भी करे। प्रमाणीकरण (attestation) की यह प्रक्रिया, एक हार्डवेयर-समर्थित "रूट ऑफ ट्रस्ट" (root of trust) पर निर्भर करती है, जो चिप के भीतर निर्मित एक सुरक्षित आधार है जो सॉफ्टवेयर की पहचान को सत्यापित करता है। हालांकि, एक बार जब वह प्रारंभिक जांच पास हो जाती है और एप्लिकेशन अपना काम शुरू कर देता है, तो यह उच्च स्तर की सुरक्षा अक्सर गायब हो जाती है। डिवाइस यह मान लेता है कि प्रोग्राम सही ढंग से व्यवहार कर रहा है, जिससे एक ऐसा अंतराल बन जाता है जहाँ दुर्भावनापूर्ण तत्व संभावित रूप से ऐप के व्यवहार को बदल सकते हैं, रहस्यों को चुरा सकते हैं, या सिस्टम के ध्यान में आए बिना डेटा में हेरफेर कर सकते हैं। वर्षों तक, इस समस्या का समाधान संवेदनशील कार्यों को अलग, पृथक वातावरण में ले जाना था, लेकिन ऐसा करने के लिए कंप्यूटर को विभिन्न सुरक्षा क्षेत्रों के बीच लगातार गियर बदलने पड़ते थे, एक ऐसी प्रक्रिया जो धीमी थी और बैटरी की खपत बढ़ा देती थी।
ज़्यूरिख विश्वविद्यालय और हुआवेई के शोधकर्ताओं की एक टीम ने इस अंतर को पाटने के लिए एक नया दृष्टिकोण विकसित किया है, जो भारी प्रदर्शन लागत के बिना पूरे एप्लिकेशन के जीवनकाल के दौरान सुरक्षा को बनाए रखने की अनुमति देता है। उन्होंने ARA नामक एक प्रणाली बनाई है, जो एप्लिकेशन के अपने मेमोरी स्पेस के भीतर सीधे एक सुरक्षित, संरक्षित क्षेत्र स्थापित करती है। आधुनिक ARM प्रोसेसरों में हाल ही में पेश किए गए एक हार्डवेयर फीचर का उपयोग करके, शोधकर्ताओं ने एप्लिकेशन को अपना स्वयं का विश्वसनीय सुरक्षा गार्ड होस्ट करने में सक्षम बनाया है जो प्रोग्राम के कार्यों की निगरानी कर सकता है और वास्तविक समय में संवेदनशील कुंजियों (keys) की रक्षा कर सकता है। उनका कार्य यह प्रदर्शित करता है कि एक असुरक्षित एप्लिकेशन के लगभग समान गति से काम करते हुए, एक उच्च स्तर की सुरक्षा बनाए रखना और यह सत्यापित करना संभव है कि ऐप चलते समय सही ढंग से व्यवहार कर रहा है।
शोधकर्ताओं के सामने मुख्य चुनौती यह थी कि एक संभावित रूप से समझौता किए गए (compromised) एप्लिकेशन से एक विश्वसनीय सुरक्षा प्रणाली को कैसे अलग रखा जाए, बिना उन्हें एक धीमी, दूर की सीमा के पार संवाद करने के लिए मजबूर किए। पारंपरिक तरीके अक्सर सुरक्षा सेवा को एक पूरी तरह से अलग प्रक्रिया या एक विशेष हार्डवेयर एनक्लेव में चलाने पर निर्भर करते हैं। हालांकि ये तरीके सुरक्षित हैं, लेकिन इनके लिए कंप्यूटर को मुख्य एप्लिकेशन को रोकना, संदर्भ (context) बदलना और हर बार सुरक्षा जांच की आवश्यकता होने पर जटिल बाधाओं के पार संवाद करने की आवश्यकता होती है। यह निरंतर स्विचिंग एक महत्वपूर्ण देरी पैदा करती है, जिससे यह उन कार्यों के लिए अव्यावहारिक हो जाता है जिनमें बार-बार, सेकंड के सौवें हिस्से के निर्णय लेने की आवश्यकता होती है, जैसे कि हर कदम की निगरानी करना या वास्तविक समय में वीडियो स्ट्रीम को डिक्रिप्ट करना। शोधकर्ताओं ने महसूस किया कि समाधान 'परमिशन ओवरले एक्सटेंशन' (Permission Overlay Extensions) नामक एक नई हार्डवेयर क्षमता में निहित है, जो एक एकल प्रोग्राम को विभिन्न एक्सेस नियमों के साथ अपने स्वयं के मेमोरी को अलग-अलग, पृथक कमरों में विभाजित करने की अनुमति देता है, जिसे प्रोसेसर द्वारा स्वयं प्रबंधित किया जाता है।
इस तकनीक का उपयोग करते हुए, टीम ने ARA को एप्लिकेशन के एड्रेस स्पेस के भीतर एक सुरक्षित लंगर (anchor) के रूपak रूप में बनाया। जब एप्लिकेशन लॉन्च होता है, तो एक विश्वसनीय लोडर (loader) पहले वातावरण को सेट करता है, मेमोरी को तीन विशिष्ट क्षेत्रों में विभाजित करता है: एक अविश्वसनीय एप्लिकेशन कोड के लिए, एक नियंत्रित प्रवेश बिंदु (entry point) के लिए, और एक सुरक्षित सुरक्षा सेवाओं के लिए। फिर प्रोसेसर को इन क्षेत्रों पर सख्त नियम लागू करने का निर्देश दिया जाता है। मुख्य एप्लिकेशन अपने स्वयं के डेटा को पढ़ और लिख सकता है, लेकिन वह उस मेमोरी को छूने से पूरी तरह वर्जित है जहाँ सुरक्षा सेवाएं रहती हैं। महत्वपूर्ण रूप से, एप्लिकेशन अपने आप इन नियमों को नहीं बदल सकता। भले ही कोई हैकर एप्लिकेशन में दुर्भावनापूर्ण कोड इंजेक्ट करने में सफल हो जाए, वह कोड भौतिक रूप से सुरक्षित क्षेत्र तक पहुँचने या उन अनुमतियों को बदलने में असमर्थ है जो इसे सुरक्षित रखती हैं। एप्लिकेशन का सुरक्षा सेवाओं के साथ बातचीत करने का एकमात्र तरीका एक विशिष्ट, पूर्व-अनुमोदित द्वार है जिसे सुरक्षा प्रणाली नियंत्रित करती है।
शोधकर्ताओं ने इस प्रणाली का परीक्षण दो अलग-अलग परिदृश्यों के साथ किया ताकि वे देख सकें कि यह वास्तविक दुनिया में कैसा प्रदर्शन करती है। पहले मामले में, उन्होंने एक मीडिया स्ट्रीमिंग सेवा का अनुकरण किया जिसे गुप्त कुंजी का उपयोग करके वीडियो सामग्री को डिक्रिप्ट करने की आवश्यकता थी। उन्होंने अपने नए सिस्टम की तुलना डिक्रिप्शन के लिए एक अलग प्रक्रिया का उपयोग करने वाले मानक तरीके से की। परिणामों ने दिखाया कि नया सिस्टम नाटकीय रूप से तेज़ था। दो घंटे की वीडियो फ़ाइल के लिए, पारंपरिक पद्धति ने प्रक्रियाओं के बीच निरंतर स्विचिंग के कारण कई सेकंड की देरी जोड़ी, जबकि नए सिस्टम ने केवल एक सेकंड का एक छोटा सा हिस्सा जोड़ा। दूसरे मामले में, उन्होंने एक ऐसे सिस्टम का परीक्षण किया जो एप्लिकेशन के व्यवहार की लगातार निगरानी करता है ताकि यह सुनिश्चित किया जा सके कि वह सही पथ का पालन कर रहा है, जो कि एक ऐसा कार्य है जिसमें प्रति सेकंड हजारों सुरक्षा जांचों की आवश्यकता होती है। यहाँ, नया सिस्टम पारंपरिक पद्धति की तुलना में लगभग तीस से पचपन गुना तेज़ था। गति में वृद्धि अलग-अलग प्रक्रियाओं के बीच स्विच करने या ऑपरेटिंग सिस्टम से मदद मांगने की आवश्यकता को समाप्त करने से आई; सुरक्षा जांच एप्लिकेशन के अपने प्रवाह के भीतर सीधे हुई, जो हार्डवेयर द्वारा संरक्षित थी।
अध्ययन ने यह भी संबोधित किया कि यह प्रणाली मोबाइल उपकरणों के मौजूदा सुरक्षा परिदृश्य में कैसे फिट बैठती है। आधुनिक फोन पहले से ही किसी ऐप को इंस्टॉल या लॉन्च करते समय उसकी वैधता सत्यापित करने के लिए हार्डवेयर का उपयोग करते हैं। शोधकर्ताओं ने अपने सिस्टम को इस मौजूदा विश्वास की श्रृंखला (chain of trust) को विस्तारित करने के लिए डिज़ाइन किया है। जब ऐप शुरू होता है, तो डिवाइस ऐप को सत्यापित करने की तरह ही सुरक्षित सुरक्षा सेवाओं को सत्यापित करता है। इसका मतलब है कि एक रिमोट सर्वर इस बात पर आश्वस्त हो सकता है कि ऐप के भीतर हो रही सुरक्षा जांच वास्तविक है और उसके साथ कोई छेड़छाड़ नहीं की गई है। सिस्टम में एप्लिकेशन को गुप्त कुंजियाँ सुरक्षित रूप से वितरित करने का एक तरीका भी शामिल है। एक सर्वर एक एन्क्रिप्टेड कुंजी भेज सकता है जिसे केवल एप्लिकेशन का विशिष्ट, सत्यापित इंस्टेंस ही अनलॉक कर सकता है, यह सुनिश्चित करता है कि यदि एप्लिकेशन एक समझौता किए गए डिवाइस पर चल रहा है, तो भी रहस्य सुरक्षित मेमोरी ज़ोन के भीतर सुरक्षित रहता है।
हालांकि यह प्रणाली बहुत आशाजनक दिखती है, शोधकर्ताओं ने नोट किया कि आवश्यक हार्डवेयर सुविधा अभी किसी भी व्यावसायिक डिवाइस में उपलब्ध नहीं है। उन्होंने अवधारणा को सिद्ध करने के लिए एक सिम्युलेटेड वातावरण और एक संशोधित भौतिक प्रोसेसर का उपयोग करके अपना प्रोटोटाइप बनाया। उन्होंने यह भी स्वीकार किया कि उनका वर्तमान डिज़ाइन यह मानता है कि एप्लिकेशन एक सिंगल थ्रेड पर चलता है, और मल्टीपल सिमुल्टेनियस थ्रेड्स (simultaneous threads) का समर्थन करने के लिए अतिरिक्त इंजीनियरिंग की आवश्यकता होगी ताकि यह सुनिश्चित किया जा सके कि प्रत्येक थ्रेड के लिए सुरक्षा नियमों को सही ढंग से बनाए रखा जाए। इन सीमाओं के बावजूद, यह कार्य एक ऐसे भविष्य के लिए व्यावहारिक ब्लूप्रिंट प्रदान करता है जहाँ एप्लिकेशन तेज़ और सुरक्षित दोनों हो सकते हैं। यह सुझाव देता है कि प्रदर्शन और सुरक्षा के बीच लंबे समय से चला आ रहा समझौता अपरिहार्य नहीं है, और सही हार्डवेयर सहायता के साथ, हम ऐसे एप्लिकेशन प्राप्त कर सकते हैं जो उपयोगकर्ता अनुभव को धीमा किए बिना अपने स्वयं के रहस्यों की रक्षा कर सकते हैं और अपनी अखंडता को सत्यापित कर सकते हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।