Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
यह शोधपत्र केस्ट्रल (Kestrel) को प्रस्तुत करता है, जो एक ऐसा स्टैटिक एनालिसिस टूल है जो अनन्य नंबर-थ्योरेटिक ट्रांसफॉर्म कॉन्स्टेंट टेबल्स (number-theoretic transform constant tables) की पहचान करके स्ट्रिप्ड और ऑप्टिमाइज्ड बाइनरीज में मानकीकृत पोस्ट-क्वांटम क्रिप्टोग्राफिक एल्गोरिदम (ML-KEM और ML-DSA) का विश्वसनीय रूप से पता लगाता है, जिससे पारंपरिक डिटेक्शन सिग्नल्स के अस्पष्ट होने पर भी प्रभावी फोरेंसिक परीक्षा, सप्लाई चेन निरीक्षण और माइग्रेशन आश्वासन सक्षम होता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
डिजिटल सुरक्षा की दुनिया में, एक शांत क्रांति चल रही है। दशकों से, हमारे सबसे संवेदनशील डेटा—बैंकिंग रिकॉर्ड, राजकीय रहस्य, निजी संदेश—की रक्षा करने वाले ताले ऐसे गणितीय पहेलियों पर निर्भर रहे हैं जिन्हें बनाना आसान है लेकिन बिना किसी विशिष्ट कुंजी (key) के उन्हें हल करना लगभग असंभव है। ये पहेलियाँ, जिन्हें पब्लिक-की क्रिप्टोग्राफी (public-key cryptography) कहा जाता है, इंटरनेट पर भरोसे की नींव हैं। हालाँकि, वैज्ञानिकों ने लंबे समय से भविष्यवाणी की है कि एक नए प्रकार का कंप्यूटर, जो क्वांटम भौतिकी के विचित्र नियमों का उपयोग करता है, अंततः इन तालों को तुरंत तोड़ने के लिए पर्याप्त शक्तिशाली होगा। जब ऐसा होगा, तो पुराने ताले बेकार हो जाएंगे। तैयारी के रूप में, विशेषज्ञ अलग-अलग गणित पर आधारित नए ताले डिजाइन कर रहे हैं जिसे एक क्वांटम कंप्यूटर भी आसानी से नहीं तोड़ सकता। इन नई प्रणालियों को पोस्ट-क्वांटम क्रिप्टोग्राफी (post-quantum cryptography) कहा जाता है। चुनौती अब केवल इन नए तालों को बनाने की नहीं है, बल्कि उन्हें खोजने की है। जैसे-जैसे संगठन अपने पुराने सिस्टम को बदलने की दौड़ में लगे हैं, उन्हें यह जानने की आवश्यकता है कि उनके संसार को चलाने वाले जटिल सॉफ़्टवेयर के भीतर नए ताले वास्तव में कहाँ छिपे हुए हैं। लेकिन एक समस्या है: एक बार जब सॉफ़्टवेयर को उपयोग के लिए अंतिम प्रोग्राम में संकलित (compile) कर दिया जाता है, तो वे लेबल और नाम जो आमतौर पर हमें बताते हैं कि इसके अंदर क्या है, अक्सर हटा दिए जाते हैं ताकि प्रोग्राम छोटा और तेज़ बन सके। उन नामों के बिना, कोड के ढेर के भीतर एक विशिष्ट नए ताले को खोजना वैसा ही है जैसे यह जानना कि रेत कैसी दिखती है, बिना यह जाने कि समुद्र तट पर रेत का एक विशिष्ट कण कहाँ है।
मुहम्मद शहिर बिन जुनैद नामक एक शोधकर्ता ने इस समस्या को हल करने का एक नया तरीका विकसित किया है। उन्होंने 'केस्ट्रेल' (Kestrel) नामक एक उपकरण बनाया है जो स्ट्रिप्ड (stripped) सॉफ़्टवेयर के भीतर इन नए, क्वांटम-सुरक्षित तालों की पहचान कर सकता है, भले ही सभी सामान्य सुराग हटा दिए गए हों। यह विधि एक सरल लेकिन शक्तिशाली अवलोकन पर आधारित है: जबकि कोड के नाम मिटाए जा सकते हैं, वे कच्चे नंबर (raw numbers) जिन्हें कोड को काम करने के लिए आवश्यकता होती है, उन्हें नहीं मिटाया जा सकता। नए क्रिप्टोग्राफिक सिस्टम, विशेष रूप से जो 'लैटिस' (lattice) नामक संरचना पर आधारित हैं, उन्हें अपनी गणना करने के लिए संख्याओं के एक निश्चित सेट को पूर्व-निर्धारित (pre-calculated) रूप में उपयोग करना चाहिए। ये संख्याएँ एक स्थायी फिंगरप्रिंट की तरह कार्य करती हैं। सॉफ़्टवेयर को कितना भी अनुकूलित (optimize), संकुचित (compress) या पुनर्गठित किया जाए, प्रोग्राम के कार्य करने के लिए ये विशिष्ट संख्याएँ फ़ाइल में मौजूद रहनी ही चाहिए। यदि ये संख्याएँ गायब हैं, तो प्रोग्राम काम ही नहीं करेगा। केस्ट्रेल एक प्रोग्राम के कच्चे डेटा को स्कैन करता है, और संख्याओं के इन विशिष्ट पैटर्न की तलाश करता है। इसे प्रोग्राम द्वारा उपयोग किए जाने वाले फंक्शन या लाइब्रेरी के नामों से कोई सरोकार नहीं है; इसे केवल इन आवश्यक गणितीय स्थिरांकों (constants) की उपस्थिति से मतलब है।
शोधकर्ता ने विभिन्न प्रकार के सॉफ़्टवेयर पर इस दृष्टिकोण का परीक्षण किया, जिसमें विभिन्न उपकरणों से निर्मित प्रोग्राम और हर तरह की मानक प्रक्रियाओं का सामना करने वाले प्रोग्राम शामिल थे, जो विश्लेषण को कठिन बनाते हैं। उन्होंने पाया कि यह उपकरण पूरी तरह से काम करता है। 128 अलग-अलग सॉफ़्टवेयर संस्करणों से जुड़े परीक्षणों में, केस्ट्रेल ने हर एक मामले में नए क्रिप्टोग्राफिक एल्गोरिदम की पहचान की, भले ही प्रोग्रामों को उनके सभी नामों से मुक्त कर दिया गया हो और जटिल तरीकों से आपस में जोड़ दिया गया हो। महत्वपूर्ण रूप से, इस उपकरण ने कोई गलती नहीं की। जब शोधकर्ता ने एक मानक कंप्यूटर सिस्टम से 6,000 वास्तविक दुनिया के प्रोग्रामों को स्कैन किया, तो उपकरण को कोई गलत अलार्म (false alarm) नहीं मिला। इसने साधारण सॉफ़्टवेयर को नए क्रिप्टोग्राफिक सिस्टम के रूप में गलत नहीं पहचाना। सटीकता का यह स्तर डिजिटल फॉरेंसिक के लिए अत्यंत महत्वपूर्ण है, जहाँ एक विशेषज्ञ को कानूनी सेटिंग में प्रस्तुत करने से पहले जो कुछ भी मिलता है, उसके बारे में पूरी तरह से आश्वस्त होना पड़ता है।
शायद सबसे आश्चर्यजनक खोज तब हुई जब इस उपकरण को एक लाइव कंप्यूटर सिस्टम पर लागू किया गया। स्कैन ने बारह अलग-अलग प्रोग्रामों का खुलासा किया जिनमें ये नए क्वांटम-सुरक्षित ताले मौजूद थे, फिर भी कोई नहीं जानता था कि वे वहाँ थे। इनमें वे सॉफ़्टवेयर भी शामिल थे जो सुरक्षित लॉगिन के लिए इंटरनेट कनेक्शन प्रबंधित करते हैं और वे सिस्टम जो कंटेनरीकृत अनुप्रयोगों (containerized applications) को चलाते हैं। कई मामलों में, नया क्रिप्टोग्राफी इन प्रोग्रामों में उन प्रोग्रामिंग भाषाओं के माध्यम से स्वतः ही प्रवेश कर गया था जिनका उपयोग उन्हें बनाने के लिए किया गया था, बिना उन डेवलपर्स को पता चले जिन्होंने उन प्रोग्रामों को बनाया था। यह खोज वर्तमान सुरक्षा प्रथाओं में एक महत्वपूर्ण अंतर को उजागर करती है: संगठन यह मान सकते हैं कि वे पुराने, असुरक्षित सिस्टम का उपयोग कर रहे हैं, या वे यह सोच सकते हैं कि उन्होंने अपग्रेड कर लिया है, लेकिन वास्तविक कोड का निरीक्षण करने के बिना, वे सुनिश्चित नहीं हो सकते। केस्ट्रेल वह निश्चितता प्रदान करता है। यह एक ऐसे प्रोग्राम के बीच अंतर कर सकता है जो वास्तव में नए तालों का उपयोग करता है और एक ऐसे प्रोग्राम के बीच जो केवल ऐसा दावा करता है। एक परीक्षण में, एक प्रोग्राम ने क्वांटम-सुरक्षित सुरक्षा होने का दावा किया, लेकिन उपकरण ने इसका कोई प्रमाण नहीं पाया, और दावे को सही ढंग से गलत बताया।
इस उपकरण ने एक फॉरेंसिक सेटिंग में भी अपना मूल्य सिद्ध किया, जहाँ एक क्षतिग्रस्त या हटाए गए फ़ाइल से डेटा की रिकवरी का अनुकरण (simulation) किया गया। जब कोई फ़ाइल हटाई जाती है, तो ऑपरेटिंग सिस्टम अक्सर उस स्थान को नए डेटा के लिए उपलब्ध के रूप में चिह्नित करता है, लेकिन पुराना डेटा डिस्क पर तब तक रहता है जब तक कि उसे ओवरराइट न कर दिया जाए। मानक रिकवरी टूल फ़ाइल संरचना को फिर से बनाने की कोशिश करते हैं, जो अक्सर विफल हो जाता है यदि फ़ाइल हेडर क्षतिग्रस्त हो। हालाँकि, क्योंकि केस्ट्रेल फ़ाइल संरचना के बजाय डेटा के भीतर विशिष्ट संख्याओं की तलाश करता है, इसलिए यह डिस्क इमेज के कच्चे, असंगठित स्थान में भी क्रिप्टोग्राफिक फिंगरप्रिंट को खोजने में सक्षम था। इसने सफलतापूर्वक उस नए एल्गोरिदम की उपस्थिति की पहचान की जिसे अन्य उपकरण रिकवर नहीं कर सके। यह क्षमता बताती है कि जांचकर्ता विशिष्ट क्रिप्टोग्राफिक विधियों के उपयोग की पुष्टि कर सकते हैं, भले ही मूल फ़ाइलें गायब या दूषित हों।
शोध ने यह भी स्पष्ट किया कि यह उपकरण क्या नहीं कर सकता। इसे विशेष रूप से उन नए तालों को खोजने के लिए डिज़ाइन किया गया है जो इन निश्चित संख्या तालिकाओं (number tables) पर निर्भर करते हैं। यह उन अन्य प्रकार के नए तालों को नहीं खोज सकता जो इस पद्धति का उपयोग नहीं करते हैं, और न ही यह उस प्रोग्राम को खोज सकता है जो हर बार चलने पर इन संख्याओं की गणना 'ऑन-द-फ्लाई' (on-the-fly) करता है, बजाय उन्हें स्टोर करने के। हालाँकि, शोधकर्ता ने नोट किया कि वर्तमान में कोई भी ज्ञात सॉफ़्टवेयर इस "ऑन-द-फ्लाई" पद्धति का उपयोग नहीं करता है क्योंकि यह अक्षम और अनावश्यक है। यह उपकरण आज के वास्तविक सॉफ़्टवेयर निर्माण और वितरण की वास्तविकता के लिए बनाया गया है। उन अपरिवर्तनीय संख्याओं पर ध्यान केंद्रित करके जिनकी कोड को कार्य करने के लिए आवश्यकता होती है, केस्ट्रेल इन नए सुरक्षा प्रणालियों की उपस्थिति को सत्यापित करने का एक विश्वसनीय तरीका प्रदान करता है। यह अदृश्य को दृश्यमान में बदल देता है, जिससे ऑडिटर्स और जांचकर्ताओं को यह देखने की अनुमति मिलती है कि एक प्रोग्राम के अंदर वास्तव में क्या है, जिससे यह सुनिश्चित होता है कि क्वांटम-सुरक्षित भविष्य की ओर संक्रमण तथ्यों के बजाय धारणाओं पर आधारित नहीं है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।