A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues

यहाँ डाइलन लेविले और जेसन जास्कोल्का के शोध पत्र "A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

मानकीकृत कैटलॉग (जैसे, NIST SP 800-53, ITSG-33) से सुरक्षा नियंत्रणों (security controls) के इष्टतम संयोजन का चयन करना एक जटिल निर्णय लेने की चुनौती है।

• पैमाना और जटिलता (Scale and Complexity): कैटलॉग में सैकड़ों नियंत्रण होते हैं। संभावित संयोजनों की संख्या तेजी से ($2^N$) बढ़ती है, जिससे बड़े सिस्टमों के लिए मैन्युअल चयन या ब्रूट-फोर्स अनुकूलन (brute-force optimization) असंभव हो जाता है।
• निर्भरताएँ और बाधाएँ (Dependencies and Constraints): नियंत्रणों के बीच अक्सर निर्भरताएँ होती हैं (जैसे, एक कार्यान्वयन नियंत्रण से पहले एक नीति नियंत्रण आवश्यक है) और उन्हें बजट बाधाओं का पालन करना चाहिए।
• मौजूदा दृष्टिकोणों की सीमाएँ (Limitations of Existing Approaches):
  • अनुकूलन-आधारित विधियाँ (Optimization-based methods): ये अक्सर खतरों की संभावना (threat likelihood) और नियंत्रण की सफलता दर के सटीक अनुमानों पर निर्भर करती हैं, जो वास्तविक दुनिया के परिदृश्यों में दुर्लभ हैं।
  • मानवीय तत्व (Human Element): कई मौजूदा विधियाँ इस समस्या को एक स्थिर गणितीय अनुकूलन के रूप में मानती हैं, जो रणनीतिक, प्रतिकूल प्रकृति (adversarial nature) की अनदेखी करती हैं जहाँ हमलावर सक्रिय रूप से रक्षा प्रणालियों के अनुकूल होते हैं।
  • स्केलेबिलिटी (Scalability): अधिकांश स्वचालित उपकरण बड़े नियंत्रण स्थानों (control spaces) और निर्भरता बाधाओं के साथ कम्प्यूटेशनल जटिलता को संभालने में विफल रहते हैं।

2. कार्यप्रणाली (Methodology)

लेखक एक दो-व्यक्ति शून्य-योग एक-शॉट गेम-थ्योरेटिक दृष्टिकोण (two-person zero-sum one-shot game-theoretic approach) प्रस्तावित करते हैं जहाँ एक सुरक्षा विश्लेषक (रक्षक) एक अपेक्षित हमलावर प्रोफाइल का मुकाबला करने के लिए एक रणनीति (नियंत्रणों का एक संयोजन) चुनता है। कार्यप्रणाली में छह चरण शामिल हैं:

A. पहचान और औपचारिकीकरण (Identification and Formalization)

1. उपयुक्त परमाणु नियंत्रणों (Atomic Controls) की पहचान: विश्लेषक सिस्टम के थ्रेट मॉडल (जैसे, STRIDE) के लिए प्रासंगिक एक कैटलॉग (जैसे, ITSG-33) से अविभाज्य नियंत्रणों का चयन करता है। अनिवार्य नियंत्रणों की पहचान की जाती है, और अन्य को वैकल्पिक के रूप में चिह्नित किया जाता है।
2. प्रभावशीलता का निर्धारण (Assign Effectiveness): प्रत्येक परमाणु नियंत्रण के लिए, विश्लेषक विशिष्ट संपत्तियों (assets) पर विशिष्ट सुरक्षा उद्देश्यों (गोपनीयता, अखंडता, उपलब्धता) को संतुष्ट करने के लिए एक प्रभावशीलता मान (0 से 1) निर्दिष्ट करता है।
3. लागत का निर्धारण (Assign Cost): प्रत्येक परमाणु नियंत्रण के लिए एक लागत (मौद्रिक या प्रयास) निर्धारित की जाती है।

B. वैध रणनीतियों का बीजगणितीय उत्पादन (Algebraic Generation of Valid Strategies)

निर्भरताओं और बाधाओं को ब्रूट-फोर्स किए बिना संभालने के लिए:

• सुरक्षा नियंत्रण बीजगणित (Security Control Algebra): लेखक वैध नियंत्रण संयोजनों के सेट को औपचारिक रूप से परिभाषित करने के लिए प्रोडक्ट फैमिली अलजेब्रा (Product Family Algebra) (सेमीरिंग्स पर आधारित) का उपयोग करते हैं।
  • ऑपरेटर्स: $\oplus$ (विकल्प/वैकल्पिक), $\odot$ (अनिवार्य संयोजन), और एक आवश्यकता संबंध ($\to$) निर्भरताओं के लिए।
  • बजट नियम (Budget Rule): एक फंक्शन उन संयोजनों को फ़िल्टर करता है जहाँ कुल लागत निर्धारित बजट $B$ से अधिक हो जाती है।
• यह बीजगणितीय औपचारिकता तकनीकी निर्भरताओं और वित्तीय बाधाओं का सम्मान करते हुए वैध नियंत्रण संयोजनों (रणनीतियों) को उत्पन्न करने की अनुमति देती है।

C. गेम निर्माण और खेल (Game Construction and Play)

4. गेम मैट्रिक्स का निर्माण:
   • पंक्तियाँ (Rows): वैध नियंत्रण संयोजन (रक्षक रणनीतियाँ)।
   • स्तंभ (Columns): सुरक्षा उद्देश्य और संपत्तियाँ जिन्हें हमलावर लक्षित कर सकता है (हमलावर रणनीतियाँ)।
   • पे-ऑफ (Payoffs): नासा (NASA) के DDP दृष्टिकोण से प्रेरित एक इंडक्टिव फॉर्मूला का उपयोग करके गणना की जाती है। संयोजन $a \odot b$ के लिए, प्रभावशीलता $1 - (1 - Eff(a))(1 - Eff(b))$ होती है, जो संचयी सुरक्षा (compounded protection) को दर्शाती है।
5. गेम खेलना:
   • विश्लेषक एक हमलावर प्रोफाइल (Attacker Profile) को परिभाषित करता है, जो विशिष्ट संपत्तियों और सुरक्षा उद्देश्यों को प्राथमिकता देता है (जैसे, "हमलावर पहले संपत्ति X की गोपनीयता को लक्षित करता है, फिर संपत्ति Y की अखंडता को")।
   • टूल प्राथमिकता वाले हमलावर उद्देश्यों के विरुद्ध अधिकतम प्रभावशीलता प्रदान करने वाले संयोजनों को खोजने के लिए वैध संयोजनों को पुनरावृत्ति से फ़िल्टर करता है।
   • परिणाम नियंत्रित संयोजनों का एक सेट है जो विशिष्ट हमलावर प्रोफाइल के विरुद्ध बजट के भीतर सर्वोत्तम रक्षा प्रदान करते हैं।

3. मुख्य योगदान (Key Contributions)

• नियंत्रण चयन के लिए गेम-थ्योरेटिक ढांचा: पिछले अनुकूलन तरीकों के विपरीत, यह दृष्टिकोण हमलावर की सफलता की सटीक संभाव्यता वितरण की आवश्यकता के बिना, रक्षक और हमलावर के बीच प्रतिकूल गतिशीलता को स्पष्ट रूप से मॉडल करता है। यह हमलावर की संभावनाओं के बजाय हमलावर के उद्देश्यों पर ध्यान केंद्रित करता है।
• निर्भरताओं का बीजगणितीय प्रबंधन: नियंत्रण निर्भरता को मॉडल करने और वैध संयोजन उत्पन्न करने के लिए प्रोडक्ट फैमिली अलजेब्रा का उपयोग यह सुनिश्चित करता है कि समाधान तार्किक रूप से सुसंगत है और अनिवार्य आवश्यकताओं का सम्मान करता है।
• स्केलेबल ऑटोमेशन (CSAT टूल): लेखकों ने कंट्रोल सिलेक्शन असिस्टेंट टूल (CSAT) विकसित किया है। यह जटिल बीजगणितीय पीढ़ी और गेम-प्लेइंग लॉजिक को स्वचालित करता है।
  • यह उम्मीदवार संयोजनों को कुशलतापूर्वक पहचानने के लिए बाउंडेड 0-1 नैपसैक समस्या (bounded 0-1 knapsack problem) को हल करता है, जिससे सभी $2^N$ संभावनाओं को सूचीबद्ध करने की आवश्यकता नहीं होती।
  • यह प्रभावशीलता रेटिंग के विभिन्न क्रमों (permutations) के लिए परिणाम उत्पन्न करके अनिश्चितता को संभालता है।
• वास्तविक दुनिया में प्रयोज्यता: यह दृष्टिकोण मानक कैटलॉग (ITSG-33) और वास्तविक बाधाओं (बजट, निर्भरता) के साथ काम करने के लिए डिज़ाइन किया गया है।

4. परिणाम और केस स्टडी (Results and Case Study)

इस दृष्टिकोण को एक काल्पनिक कनाडाई सैन्य IoT सिस्टम ("Ravenclaw") का उपयोग करके मान्य किया गया था जिसके पैरामीटर निम्नलिखित थे:

• सिस्टम: 7 संपत्तियाँ (सेंसर, UAVs, सैटेलाइट चैनल, इंटरफेस, प्रोसेसिंग सिस्टम, डेटाबेस)।
• नियंत्रण: ITSG-33 कैटलॉग से 8 अनिवार्य नियंत्रण और 39 वैकल्पिक नियंत्रण।
• बजट: $950,000।
• परिदृश्य (Scenarios):
  • परिदृश्य 1 (व्यापक हमला): हमलावर इंटरफेस और डेटाबेस के सभी CIA ट्रायड्स को लक्षित करता है। परिणाम: 10.6 सेकंड में 1 इष्टतम संयोजन मिला।
  • परिदृश्य 2 (लक्षित हमला): हमलावर भौतिक सेंसर और इंटरफेस की अखंडता/उपलब्धता को लक्षित करता है। परिणाम: ऑडिट नियंत्रण प्रभावशीलता में अनिश्चितता के आधार पर, 16 मिनट और 44 सेकंड में 2 इष्टतम संयोजन मिले।
• प्रदर्शन: टूल ने 39 वैकल्पिक नियंत्रणों को सफलतापूर्वक संभाला (सैद्धांतिक रूप से $2^{39}$ संयोजन उत्पन्न करना) और उन्हें उचित समय सीमा के भीतर इष्टतम रणनीतियों तक फ़िल्टर किया। टूल को लगभग एक घंटे में 50 वैकल्पिक नियंत्रणों तक संभालने के लिए दिखाया गया।

5. महत्व (Significance)

• सिद्धांत और व्यवहार के बीच सेतु: यह पेपर प्रदर्शित करता है कि गेम थ्योरी को सुरक्षा इंजीनियरिंग में व्यावहारिक रूप से लागू किया जा सकता है, जो सैद्धांतिक मॉडलों से आगे बढ़कर एक टूल-समर्थित वर्कफ़्लो की ओर ले जाता है।
• मानव-केंद्रित निर्णय सहायता: हमलावर की अज्ञात संभावनाओं के बजाय हमलावर के प्रोफाइल और उद्देश्यों पर ध्यान केंद्रित करके, यह विधि इस बात के साथ बेहतर तालमेल बिठाती है कि सुरक्षा विश्लेषक वास्तव में कैसे सोचते और योजना बनाते हैं।
• स्केलेबिलिटी: यह नियंत्रण चयन में "कॉम्बिनेटोरियल एक्सप्लोजन" (combinatorial explosion) की समस्या को हल करता है, यह सिद्ध करता है कि जटिल निर्भरताओं वाले बड़े पैमाने के सिस्टम का स्वचालित रूप से विश्लेषण किया जा सकता है।
• निर्णय विश्वास (Decision Confidence): यह टूल सुरक्षा विश्लेषकों को उनके नियंत्रण चयन के लिए एक गणितीय रूप से ठोस और दोहराने योग्य औचित्य प्रदान करता है, जिससे अंतर्ज्ञान (intuition) पर निर्भरता कम होती है और खराब नियंत्रण संयोजनों के कारण महत्वपूर्ण संपत्तियों को असुरक्षित छोड़ने के जोखिम को कम किया जाता है।

निष्कर्षतः, यह कार्य बजट, तकनीकी निर्भरता और प्रतिकूल रणनीति को प्रभावी ढंग से संतुलित करने के लिए सुरक्षा नियंत्रणों का चयन करने हेतु एक मजबूत, स्केलेबल और स्वचालित ढांचा प्रस्तुत करता है।