GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

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

एक नया अध्ययन एक ढांचा पेश करता है जिसे GAUGE कहा जाता है, जो इस समस्या को देखने के हमारे नजरिए को बदल देता है। हर सुरक्षा प्रणाली को एक एकल, कठोर संख्या में बदलने के बजाय, शोधकर्ता सुरक्षा को एक लचीले प्रोफाइल के रूप में देखते हैं जो खेल के नियमों के आधार पर बदलता रहता है। एक ऐसे मानचित्र की कल्पना करें जहाँ संसाधनों की कीमत के आधार पर भूभाग का आकार बदल जाता है; एक पथ जो एक सेट कीमतों के तहत सुरक्षित दिखता है, दूसरे सेट के तहत खतरनाक हो सकता है। इन पूरे परिदृश्यों (landscapes) को मैप करके, टीम देख सकती है कि विभिन्न सुरक्षा प्रणालियाँ ठीक कहाँ और क्यों आपस में मिलती हैं। उन्होंने पाया कि भविष्य के लिए तैयार किए जा रहे कई नए, उन्नत तालों के लिए, "कौन सा अधिक सुरक्षित है?" का उत्तर एक सरल तथ्य नहीं है। यह पूरी तरह से इस बात पर निर्भर करता है कि आप कौन सी लेखांकन पद्धति (accounting method) चुनते हैं।

शोधकर्ताओं ने इस नई पद्धति को नवीनतम पीढ़ी के क्रिप्टोग्राफिक मानकों पर लागू किया, विशेष रूप से उन पर जिन्हें भविष्य के क्वांटम कंप्यूटरों के हमलों का सामना करने के लिए डिज़ाइन किया गया है। उन्होंने एक विशिष्ट, व्यापक रूप से उपयोग की जाने वाली प्रणाली जिसे ML-KEM कहा जाता है, को एक क्लासिक, अच्छी तरह से समझ में आने वाली प्रणाली AES के विरुद्ध लिया और उसकी तुलना की। अमेरिकी राष्ट्रीय मानक और प्रौद्योगिकी संस्थान (NIST) द्वारा उपयोग किए जाने वाले मानक नियमों के तहत, जो केवल हमले को चलाने में लगने वाले समय को गिनते हैं, नई प्रणाली क्लासिक प्रणाली की तुलना में थोड़ी कमजोर दिखाई दी। हालांकि, जब शोधकर्ताओं ने नियमों को समायोजित किया ताकि मेमोरी की लागत को शामिल किया जा सके—एक ऐसा कारक जिसे कुछ यूरोपीय सुरक्षा एजेंसियां महत्वपूर्ण मानती हैं—तो नई प्रणाली अचानक बहुत अधिक मजबूत दिखाई देने लगी। अध्ययन ने सिद्ध किया कि मेमोरी के मूल्य में एक मामूली बदलाव, समय के सापेक्ष इसके मूल्य में केवल 4.5% का अंतर, रैंकिंग को पूरी तरह से बदलने के लिए पर्याप्त है। यह कोई गलती या गणना की त्रुटि नहीं है; यह इन प्रणालियों के व्यवहार के बारे में एक मौलिक ज्यामितीय तथ्य है। शोधकर्ताओं ने दिखाया कि कोई भी एकल, पूर्ण संख्या सभी के लिए सत्य को कभी भी कैप्चर नहीं कर सकती, क्योंकि सिस्टम वास्तव में विभिन्न दृष्टिकोणों के आधार पर एक-दूसरे को पार (cross over) करते हैं।

इन समस्याओं को हल करने के लिए कि निर्णय कैसे लिया जाए जब उत्तर आपके दृष्टिकोण पर निर्भर करता है, टीम ने इन संबंधों को वर्गीकृत करने का एक तरीका विकसित किया। उन्होंने एक ऐसी प्रणाली बनाई जो आपको बता सकती है कि क्या एक ताला दूसरे की तुलना में सख्ती से बेहतर है, या क्या यह केवल विशिष्ट परिस्थितियों के तहत बेहतर है, या क्या दोनों केवल इसलिए तुलनीय नहीं हैं क्योंकि वे आपस में टकराते हैं। नए क्वांटम-प्रतिरोधी तालों के लिए, अध्ययन ने पाया कि वे अपने क्लासिकल समकक्षों के साथ अक्सर तुलनीय नहीं होते हैं। इसका अर्थ यह है कि उनमें से किसी एक को चुनना केवल वस्तुनिष्ठ रूप से मजबूत ताले को खोजने का मामला नहीं है, बल्कि यह एक सचेत विकल्प है कि आप किस लागत मॉडल पर भरोसा करना चाहते हैं। अध्ययन एक गणितीय प्रमाण प्रदान करता है जो इन क्रॉसिंगों को सत्यापित कर सकता है, जिससे मानक निकायों को यह देखने की अनुमति मिलती है कि उनके मतभेद वास्तव में कहाँ हैं और यह समझने में मदद मिलती है कि दोनों पक्ष अपने चुने हुए ढांचे के भीतर गणितीय रूप से सही हो सकते हैं।

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

शोधकर्ताओं ने यह सुनिश्चित करने के लिए कि माप सटीक हैं, इन विचारों का परीक्षण वास्तविक हार्डवेयर सिमुलेशन पर भी किया। उन्होंने यह देखने के लिए एक सिम्युलेटेड क्वांटम कंप्यूटर पर प्रयोग चलाए कि कोड तोड़ने की लागत मशीन के भौतिक गेट्स (physical gates) को गिनने बनाम लगने वाले समय के आधार पर कैसे बदलती है। सिमुलेशन ने पुष्टि की कि सुरक्षा का क्रम वास्तव में गणना करने के तरीके के आधार पर उलट सकता है, जो सैद्धांतिक भविष्यवाणियों को मान्य करता है। शोधकर्ताओं ने अपने सभी उपकरणों, डेटा और सत्यापन चरणों को एक सार्वजनिक टूलसेट में पैक किया जो सात सेकंड से कम समय में प्रत्येक तालिका और निष्कर्ष को पुनरुत्पादित (reproduce) कर सकता है। यह पारदर्शिता सुनिश्चित करती है कि परिणाम केवल एक सैद्धांतिक अभ्यास नहीं हैं बल्कि एक व्यावहारिक उपकरण हैं जिसका उपयोग कोई भी सुरक्षा दावों का ऑडिट करने के लिए कर सकता है।

अंततः, यह कार्य हमें यह नहीं बताता कि सबसे अच्छा ताला कौन सा है। इसके बजाय, यह हमें प्रश्न पूछने का एक बेहतर तरीका देता है। यह प्रकट करता है कि विभिन्न सुरक्षा एजेंसियों के बीच बहस अक्सर इस बारे में नहीं है कि कौन सही है और कौन गलत, बल्कि इस बारे में है कि वे वास्तविकता के किस संस्करण को माप रहे हैं। खेल के नियमों को स्पष्ट करके, यह ढांचा नीति निर्माताओं और इंजीनियरों को पूरी तस्वीर देखने की अनुमति देता है। वे अब समझ सकते हैं कि सुरक्षा स्तरों के बारे में असहमति अक्सर इस बारेंे में नहीं है कि कौन सही है, बल्कि यह संसाधनों के मूल्य निर्धारण के बारे में एक असहमति है, और वे उस ज्ञान के साथ अपने निर्णय ले सकते हैं। परिणाम डिजिटल सुरक्षा के बारे में एक स्पष्ट, अधिक ईमानदार बातचीत है, जहाँ अनिश्चितता को एक एकल संख्या के पीछे छिपाया नहीं गया है, बल्कि इसे स्पष्ट रूप से सभी के लिए सामने रखा गया है।