Centered Arithmetic Is Not Leakage-Neutral: Finite-Noise Optimal Attacks and Minimax Laws for Modular Representations
यह शोध पत्र यह प्रदर्शित करता है कि सेंटर्ड टूज़-कॉम्प्लीमेंट अंकगणित मास्किंग (centered two's-complement arithmetic masking), अनसाइंड मास्किंग (unsigned masking) की तुलना में स्वाभाविक रूप से साइड-चैनल हमलों के प्रति अधिक संवेदनशील है, जो सटीक परिमित-शोर इष्टतम हमले (exact finite-noise optimal attacks), एक नया स्पेक्ट्रल लीकेज कानून और क्षमता सीमाएं प्रदान करता है जो यह सिद्ध करते हैं कि अधिकांश व्यावहारिक मॉड्युली के लिए अनसाइंड स्टोरेज लीकेज को न्यूनतम करता है।
मूल पेपर CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
डिजिटल सुरक्षा की छिपी हुई दुनिया में, गुप्त कुंजियों (secret keys) की रक्षा करना अदृश्य पर्यवेक्षकों के खिलाफ एक निरंतर युद्ध है। एक ऐसी तिजोरी की कल्पना करें जिसमें एक मास्टर की (master key) रखी हो; यदि कोई चोर उस कंप्यूटर के बिजली की खपत या विद्युत चुम्बकीय संकेतों (electromagnetic signals) को झाँक सके जिसका उपयोग उस कुंजी के लिए किया जा रहा है, तो वह रहस्य चुरा सकता है। इसे रोकने के लिए, इंजीनियर 'मास्किंग' नामक तकनीक का उपयोग करते हैं। गुप्त संख्या को सीधे संभालने के बजाय, वे इसे कई यादृच्छिक टुकड़ों, या "शेयर्स" (shares) में तोड़ देते हैं, और इन टुकड़ों पर अलग-अलग गणना करते हैं। जब तक ये शेयर्स स्वतंत्र और शोरयुक्त (noisy) बने रहते हैं, तब तक रहस्य छिपा रहता है। हालाँकि, एक कंप्यूटर इन संख्याओं को शून्य में संग्रहीत नहीं करता है; यह उन्हें विद्युत स्विचों के पैटर्न के रूप में संग्रहीत करता है, जिन्हें बिट्स (bits) कहा जाता है। एक कंप्यूटर एक ऋणात्मक संख्या को लिखने के लिए जिस तरह का चुनाव करता है—चाहे वह एक सरल धनात्मक मान के रूप में हो या एक विशिष्ट हस्ताक्षरित प्रारूप (signed format) के रूप में—वह इन स्विचों के पैटर्न को बदल देता है। यह चुनाव एक सूक्ष्म, अनपेक्षित संकेत, या "लीकेज" (leakage) पैदा करता है, जिसका एक हमलावर फायदा उठा सकता है। वर्षों तक, शोधकर्ताओं के बीच इस बात पर बहस चलती रही कि आधुनिक एन्क्रिप्शन में उपयोग किया जाने वाला ऋणात्मक संख्याओं के लिए एक विशिष्ट प्रारूप का उपयोग करना सुरक्षित था या क्या यह गुप्त रूप से जानकारी उजागर कर देता है।
यूनिवर्सिटैट ओबर्टा डी कैटालुन्या के जोस लुइस डेलगाडो का एक नया अध्ययन इस बहस को एक निश्चित उत्तर के साथ सुलझाता है: इन संख्याओं को संग्रहीत करने का तरीका गहराई से मायने रखता है, और एक सामान्य विधि उतनी सुरक्षित नहीं है जितनी पहले मानी जाती थी। यह शोध भविष्य के क्वांटम कंप्यूटरों के विरुद्ध डेटा की सुरक्षा के लिए उपयोग किए जाने वाले एन्क्रिप्शन के एक विशिष्ट प्रकार पर केंद्रित है। इन प्रणालियों में, संख्याओं को अक्सर एक "केंद्रित" (centered) प्रारूप में संग्रहीत किया जाता है, जहाँ ऋणात्मक मानों को उनके बाइनरी कोड में कई अग्रणी 'एकों' (leading ones) के साथ दर्शाया जाता है, न कि धनात्मक संख्याओं के लिए उपयोग किए जाने वाले मानक "अनसाइंड" (unsigned) प्रारूप के रूप में। लेखक यह प्रदर्शित करते हैं कि केंद्रित प्रारूप अनसाइंड विकल्प की तुलना में काफी अधिक जानकारी लीक करता है। शोर के तहत ये संकेत कैसे व्यवहार करते हैं, इसका एक सटीक गणितीय मॉडल विकसित करके, अध्ययन यह सिद्ध करता है कि केंद्रित प्रारूप एक विशिष्ट, मापने योग्य कमजोरी पैदा करता है जिसका उपयोग एक हमलावर गुप्त कुंजियों को प्राप्त करने के लिए बहुत तेज़ी से कर सकता है।
शोधकर्ताओं ने केवल इस कमजोरी का अनुमान नहीं लगाया; उन्होंने सूचना रिसाव (information leakage) का एक पूर्ण, सटीक मानचित्र बनाया। उन्होंने कंप्यूटर के स्टोरेज को एक चैनल के रूप में माना जो डेटा प्रसारित करता है, लेकिन एक मोड़ के साथ: डेटा को यादृच्छिक शोर द्वारा विकृत किया जाता है, ठीक वैसे ही जैसे रेडियो सिग्नल को स्टेटिक (static) द्वारा विकृत किया जाता है। उन्नत सांख्यिकीय उपकरणों का उपयोग करते हुए, उन्होंने देखे गए शोरयुक्त संकेतों के आधार पर प्रत्येक संभावित गुप्त कुंजी की सटीक संभावना की गणना की। इसने उन्हें सबसे कुशल संभव हमले को डिजाइन करने की अनुमति दी, एक ऐसा हमला जो प्रत्येक उम्मीदवार गुप्त को एक ऐसे समय में मूल्यांकन करता है जो सिस्टम की जटिलता के साथ केवल थोड़ा ही बढ़ता है। उन्होंने पाया कि जबकि अनसाइंड प्रारूप बुनियादी स्तर पर लीकेज को न्यूनतम करता है, केंद्रित प्रारूप एक विशिष्ट प्रकार का सिग्नल विरूपण (signal distortion) पेश करता है जो सुरक्षात्मक "शेयर्स" की संख्या बढ़ने के साथ अधिक खतरनाक हो जाता है।
महत्वपूर्ण रूप से, यह अध्ययन इस विचार को खारिज करता है कि यह लीकेज नगण्य है या इसे उच्च शोर होने पर अनदेखा किया जा सकता है। लेखक ने सिद्ध किया कि केंद्रित प्रारूप के लिए, लीकेज केवल एक मामूली दोष नहीं है, बल्कि एक संरचनात्मक विशेषता है जो कितने भी यादृच्छिक शेयर्स का उपयोग किया जाए, बनी रहती है, बशर्ते कि कंप्यूटर वर्ड साइज (word size) संख्या प्रणाली के साथ पूरी तरह से मेल न खाता हो। उन्होंने एक सटीक सीमा (threshold) की पहचान की: यदि कंप्यूटर वर्ड में उस संख्या को रखने के लिए आवश्यक स्थान से तीन अतिरिक्त बिट्स अधिक हैं, तो केंद्रित प्रारूप अनसाइंड प्रारूप की तुलना में स्पष्ट रूप से खराब हो जाता है। वास्तव में, वर्तमान वैश्विक एन्क्रिप्शन मानकों में उपयोग किए जाने वाले विशिष्ट नंबरों के लिए, केंद्रित प्रारूप इतनी अधिक जानकारी लीक करता है कि एक हमलावर को सफल होने के लिए बहुत कम अवलोकनों (observations) की आवश्यकता होगी। अध्ययन वास्तविक दुनिया के परीक्षणों, जिसमें सिमुलेशन और वास्तविक भौतिक उपकरणों के माप का विश्लेषण शामिल है, के माध्यम से इसकी पुष्टि करता है, जो दिखाता है कि सैद्धांतिक कमजोरी सीधे व्यावहारिक भेद्यता (vulnerability) में बदल जाती है।
यह शोध पत्र यह भी पता लगाता है कि क्या इन संख्याओं को छिपाने के लिए इन नंबरों को संग्रहीत करने का कोई आदर्श तरीका है। शोधकर्ताओं ने पाया कि सिग्नल को पूरी तरह से समाप्त करने का एकमात्र तरीका एक विशेष कोड का उपयोग करना है जहाँ प्रत्येक संख्या को "ऑन" स्विचों की समान संख्या के साथ संग्रहीत किया जाता है। हालाँकि यह सैद्धांतिक रूप से संभव है, लेकिन इसके लिए वर्तमान प्रणालियों की तुलना में बहुत बड़े स्टोरेज स्पेस की आवश्यकता होती है। वास्तविक दुनिया के अनुप्रयोगों में उपयोग किए जाने वाले मानक आकारों के लिए, ऐसा पूर्ण कोड मौजूद नहीं है। इसके बजाय, अध्ययन एक स्पष्ट नियम प्रदान करता है जो ठीक से बताता है कि लीकेज कैसे व्यवहार करता है, यह दिखाते हुए कि केंद्रित प्रारूप त्रुटियों का एक पूर्वानुमानित पैटर्न बनाता है जिसे एक हमलावर उपयोग कर सकता है। यह पैटर्न इतना विशिष्ट है कि यह दो स्टोरेज विधियों के बीच एक अलगाव की अनुमति देता है जो शोर के स्तर के बावजूद गणितीय रूप रूप से गारंटीकृत है।
इन निष्कर्षों के निहितार्थ सुरक्षित सॉफ़्टवेयर के डिज़ाइन के लिए तत्काल हैं। अध्ययन दिखाता है कि लैटिस-आधारित क्रिप्टोग्राफी (lattice-based cryptography) में ऋणात्मक संख्याओं के लिए केंद्रित प्रतिनिधित्व का उपयोग करने का सामान्य अभ्यास तटस्थ नहीं है; यह सक्रिय रूप से सुरक्षा को नुकसान पहुँचाता है। लेखक सटीक सूत्र प्रदान करते हैं जिनका उपयोग इंजीनियर किसी भी विशिष्ट सिस्टम कॉन्फ़िगरेशन के लिए जोखिम की गणना करने हेतु कर सकते हैं। वे सुरक्षा परीक्षण के लिए एक नई विधि भी प्रदान करते हैं जो पहले की तकनीकों की तुलना में बहुत अधिक कुशल है, जो जटिल प्रणालियों का एक अंश समय में विश्लेषण करने में सक्षम है। यह सिद्ध करके कि केंद्रित प्रारूप लीकेज-न्यूट्रल नहीं है, यह शोध इन महत्वपूर्ण एन्क्रिप्शन प्रणालियों के निर्माण के पुनर्मूल्यांकन के लिए मजबूर करता है। यह सुझाव देता है कि उच्चतम स्तर की सुरक्षा प्राप्त करने के लिए, डेवलपर्स को अनसाइंड विकल्प के पक्ष में केंद्रित प्रारूप से बचना चाहिए, या कम से कम विशिष्ट कमजोरियों के प्रति सचेत रहना चाहिए। यह कार्य एक कठोर, पूर्ण विश्लेषण के रूप में खड़ा है जो "प्रतिनिधित्व" (representation) के बारे में एक अस्पष्ट चिंता को डिजिटल जोखिम की एक सटीक, कार्रवाई योग्य समझ में बदल देता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।