तकनीकी सारांश: ऑटोमोटिव साइबर सुरक्षा के लिए CyberLLM फ्रेमवर्क
1. समस्या विवरण (Problem Statement)
सॉफ्टवेयर-डिफ़ाइंड व्हीकल्स (SDVs) की ओर संक्रमण ने ऑटोमोटिव अटैक सरफेस (attack surface) को काफी बढ़ा दिया है, जिससे सोर्स कोड, रनटाइम लॉग्स और डिप्लॉयमेंट टोपोलॉजी में कमजोरियां पैदा हुई हैं। हालांकि लार्ज लैंग्वेज मॉडल्स (LLMs) इन विषम आर्टिफैक्ट्स पर तर्क करने और समाधान प्रस्तावित करने की क्षमता रखते हैं, लेकिन सुरक्षा-महत्वपूर्ण (safety-critical) वातावरणों में उनका अनुप्रयोग दो प्राथमिक चुनौतियों का सामना करता है:
- संभाव्यता प्रकृति (Probabilistic Nature): LLMs निष्कर्ष निकालने में भ्रमित (hallucinate) हो सकते हैं या समस्याओं को छोड़ सकते हैं, जिससे वे सुरक्षा निर्णयों के एकमात्र आधार के रूप में अविश्वसनीय हो जाते हैं।
- सुरक्षा बाधाएं (Safety Constraints): वाहनों पर कार्य करने वाले स्वायत्त एजेंटों को कभी भी असुरक्षित या अनधिकृत कार्य नहीं करने चाहिए, भले ही इनपुट को प्रतिकूल रूप से हेरफेर (जैसे, प्रॉम्प्ट इंजेक्शन या मेमोरी पॉइजनिंग के माध्यम से) किया गया हो।
वर्तमान उपकरण आमतौर पर नियम-आधारित स्कैनर्स का उपयोग करके इन परतों को अलग-थलग रूप से संबोधित करते हैं, जिनमें परतों के बीच तर्क करने या निरीक्षण के साथ स्वायत्त रूप से कार्य करने की क्षमता का अभाव होता है। एक ऐसे फ्रेमवर्क की आवश्यकता है जो स्वायत्त पहचान (autonomous detection) को एक नियत (deterministic), ऑडिट योग्य सुरक्षा लिफाफे (safety envelope) के साथ संतुलित कर सके।
2. कार्यप्रणाली: CyberLLM फ्रेमवर्क (Methodology: The CyberLLM Framework)
CyberLLM एक मल्टी-एजेंट, LLM-संचालित फ्रेमवर्क है जिसे एक औपचारिक, रनटाइम सुरक्षा गार्ड के तहत स्वायत्त रूप से कमजोरियों का पता लगाने और सुधार निष्पादित करने के लिए डिज़ाइन किया गया है। सिस्टम एक स्कीमा-संचालित पाइपलाइन पर कार्य करता है जहाँ प्रत्येक एजेंट एक सामान्य BaseAgent से व्युत्पन्न होता है, जो सभी इनपुट्स के लिए अनिवार्य प्रोवेनेंस (provenance) सुनिश्चित करता है।
A. लेयर्ड डिटेक्शन आर्किटेक्चर (Layered Detection Architecture)
डिटेक्शन चरण उच्च रिकॉल (recall) प्राप्त करने के लिए सटीकता (precision) से समझौता किए बिना नियत विश्लेषण को LLM रिफाइनमेंट के साथ जोड़ता है:
- डिटरमिनिस्टिक फ्लोर (Deterministic Floor): एक "हमेशा सक्रिय" परत जिसमें शामिल हैं:
- Regex Rules: कोड के लिए मल्टीलाइन, केस-इन्सेंसिटिव पैटर्न।
- AST Analyzers: Bandit (Python) और Semgrep (अन्य भाषाओं) जैसे टूल्स का सैंडबॉक्स्ड निष्पादन।
- Topology Graph Checks: इनवेरियंट्स (जैसे, मेमोरी में राइट एज रखने वाले बाहरी एक्टर्स) के विरुद्ध डिप्लॉयमेंट YAMLs का स्टैटिक विश्लेषण।
- Log Analyzers: ब्रूट-फोर्स प्रयासों या DNS कवर चैनल्स जैसे विसंगतियों के लिए टेम्पोरल/सांख्यिकीय डिटेक्टर।
- LLM रिफाइनमेंट पास (LLM Refinement Pass): डिटरमिनिस्टिक हिट्स को LLM स्कैनर्स में संदर्भ (context) के रूप में इंजेक्ट किया जाता है। LLM को सख्ती से नए निष्कर्ष गढ़ने के बजाय मौजूदा निष्कर्षों को परिष्कृत करने, समझाने या विस्तारित करने के लिए निर्देशित किया जाता है। एक "कम्प्लीटनेस क्रिटिक" (completeness critic) पास विशेष रूप से उन सिमेंटिक दोषों (जैसे, डेटा रेस, TOCTOU) को लक्षित करता है जिन्हें regex नहीं पकड़ सकता।
- मर्जिंग (Merging): निष्कर्षों को डीडुप्लिकेट किया जाता है; डिटरमिनिस्टिक लेयर 'ग्राउंड ट्रुथ' के रूप में कार्य करती है, जिसमें LLM केवल तभी मूल्य जोड़ता है जब वह वास्तव में नए स्थानों (loci) की पहचान करता है।
B. निर्णय और प्रतिक्रिया इंजन (Decision and Response Engine)
एक केंद्रीय निर्णय एजेंट (Decision Agent) निष्कर्षों को एकत्रित करता है, उन्हें एक मानव-केंद्रित एसेट टैक्सोनॉमी (सात श्रेणियों) का उपयोग करके टैग करता है, और एक स्तरीय प्रतिक्रिया (कोई नहीं/सॉफ्ट/मॉडरेट/हार्ड) चुनता है।
- मेमोरी और फीडबैक: एजेंट पिछले समान घटनाओं के लिए एक हस्ताक्षरित क्रॉस-सेशन मेमोरी स्टोर को क्वेरी करता है। पूर्ववृत्त (precedents) प्रतिक्रिया स्तर को बढ़ा सकते हैं लेकिन उसे कभी कम नहीं कर सकते। यदि पिछला प्रयास अस्वीकार कर दिया गया था, तो सिस्टम स्वचालित रूप से टियर को ऊपर बढ़ाता है।
- एक्शन जनरेशन: एक एक्शन जनरेटर सुधार योजना (remediation plan) का निर्माण करता है। यह एक नियत, नियम-ID-कुंजी वाले प्लेबुक पर निर्भर करता है। एक वैकल्पिक LLM टूल-सेलेक्टर एक MCP-शैली के टूल रजिस्ट्री से चरणों को जोड़ सकता है, लेकिन केवल रीड-ओनली, ऑब्जर्व, या वेरीफाई टूल्स की अनुमति है; विनाशकारी (destructive) कार्यों पर प्रतिबंध है।
C. रनटाइम सुरक्षा गार्ड (Runtime Security Guard)
किसी भी क्रिया के निष्पाद ejecución से पहले, एक SecurityGuard चार प्रासंगिक सुरक्षा गुणों (Siu et al. [1] से व्युत्पन्न) और एक स्वतंत्र एक्शन-अलाइनमेंट ओरेकल को लागू करता है:
- टास्क अलाइनमेंट (Task Alignment): उद्देश्य अनुमत सेट के भीतर है।
- एक्शन अलाइनमेंट (Action Alignment): क्रिया का प्रकार उद्देश्य के अनुकूल है।
- सोर्स ऑथोराइजेशन (Source Authorization): सभी इनपुट प्रमाणित स्रोतों से आते हैं।
- डेटा आइसोलेशन (Data Isolation): क्रियाएं केवल विश्वसनीय गंतव्यों पर लिखती हैं।
- ओरेकल (Ha): एक स्वतंत्र LLM जज यह सत्यापित करता है कि प्रस्तावित क्रिया वास्तव में घोषित उद्देश्य की सेवा करती है या नहीं। यह ओरेकल केवल निर्णय को सख्त कर सकता है (अनुमोदन → अस्वीकार), कभी भी इसे ढीला नहीं कर सकता, यह सुनिश्चित करता है कि एक सबवर्टेड (subverted) स्कैनर असुरक्षित क्रिया को मजबूर न कर सके।
- रिफ्यूजल हैंडलिंग (Refusal Handling): यदि किसी क्रिया को अस्वीकार कर दिया जाता है, तो सिस्टम संभावित रूप से असुरक्षित सुधार को निष्पादित करने के बजाय एक बढ़े हुए टियर के साथ री-प्लानिंग को ट्रिगर करता है।
D. सिमेट्रिक अटैक पाइपलाइन (Symmetric Attack Pipeline)
रक्षा की गुणवत्ता का मूल्यांकन करने के लिए, CyberLLM में एक रेड-टीम पाइपलाइन शामिल है जो रक्षा एजेंटों की नकल करती है। यह उसी नियम आधार पर गैर-विनाशकारी, कैनरी-ओनली एक्सप्लॉइट स्क्रिप्ट (जैसे, शेल इंजेक्शन, पाथ ट्रैवर्सल) उत्पन्न करती है। यह वास्तविक एक्सप्लॉइट्स को निष्पादित किए बिना समान परिदृश्यों पर हमले और रक्षा दोनों को मापने की अनुमति देता है।
3. प्रमुख योगदान (Key Contributions)
यह पेपर चार प्राथमिक योगदानों को रेखांकित करता है:
- लेयर्ड डिटेक्शन डिज़ाइन: एक एकीकृत स्ट्रीम जो regex, AST-आधारित, और टोपोलॉजी-ग्राफ एनालाइजर्स को LLM रिफाइनमेंट पास के साथ जोड़ती है, जहाँ डिटरमिनिस्टिक फ्लोर LLM को ग्राउंड और कंस्ट्रेंट करता है।
- डिसीजन-एंड-रिस्पॉन्स इंजन: एक तंत्र जो स्तरीय मिटिगेशन चुनता है, हस्ताक्षरित मेमोरी और री-प्लानिंग फीडबैक के माध्यम से कॉन्फिडेंस को बढ़ाता है, और प्रति-चरण सत्यापन और रोलबैक के साथ टूल रजिस्ट्री के माध्यम से योजनाओं को निष्पादित करता है।
- रनटाइम सिक्योरिटी गार्ड: एक औपचारिक प्रवर्तन परत जो चार प्रासंगिक सुरक्षा गुणों और एक स्वतंत्र एक्शन-अलाइनमेंट ओरेकल को लागू करती है ताकि असुरक्षित कार्यों को रोका जा सके, भले ही अपस्ट्रीम घटकों को सबवर्ट किया गया हो।
- सिमेट्रिक अटैक पाइपलाइन और बेंचमार्क: साइड-बाय-साइड माप के लिए एक्सप्लॉइट्स उत्पन्न करने और उन्हें फिर से चलाने के लिए एक प्रणाली, जिसका मूल्यांकन ऑटोमोटिव ECU मॉड्यूल के हैंड-लेबल वाले कॉर्पस पर किया गया है।
4. प्रयोगात्मक परिणाम (Experimental Results)
फ्रेमवर्क का मूल्यांकन एक स्वतंत्र, ग्राउंड-ट्रुथेड बेंचमार्क पर किया गया जिसमें नौ मूल ऑटोमोटिव ECU मॉड्यूल (C, C++, Rust) शामिल थे जिनमें 47 लेयर्ड कमजोरियां थीं, साथ ही दो क्लीन कंट्रोल मॉड्यूल भी थे।
- डिटरमिनिस्टिक लेयर (फास्ट मोड): लेबल की गई कमजोरियों के 34.0% (16/47) को कवर किया, 100% प्रिसिजन (क्लीन कंट्रोल्स पर शून्य फाल्स पॉजिटिव) के साथ।
- LLM-ऑगमेंटेड लेयर (डीप मोड): LLM रिफाइनमेंट और कम्प्लीटनेस पास जोड़ने से, कवरेज बढ़कर लगभग 70% (33/47) हो गया, जिसका F1 स्कोर 0.83 था।
- प्रिसिजन मेंटेनेंस: डीप मोड ने क्लीन कंट्रोल्स पर 100% प्रिसिजन बनाए रखा। LLM रिफाइनमेंट ने फाल्स पॉजिटिव पेश नहीं किए; इसने मुख्य रूप से मीडियम-सेवेरिटी लॉजिक और DoS दोषों (जैसे, सूक्ष्म रेस, ऑफ-बाय-वन एरर) पर रिकॉल में सुधार किया जिन्हें regex पैटर्न नहीं पकड़ सके।
- लैंग्वेज ब्रेकडाउन: सुधार C, C++, और Rust में सुसंगत थे, जिसमें LLM पास ने जटिल सिमेंटिक दोषों का पता लगाने में महत्वपूर्ण वृद्धि की।
5. महत्व और दावे (Significance and Claims)
पेपर दावा करता है कि CyberLLM यह प्रदर्शित करता है कि LLM एजेंट एक नियत, ऑडिट योग्य सुरक्षा लिफाफे के भीतर काम करते समय उपयोगी स्वायत्त साइबर-डिफेंस कर सकते हैं।
- स्वायत्तता और सुरक्षा का संतुलन: फ्रेमवर्क LLM स्वायत्तता और सुरक्षा बाधाओं के बीच तनाव को यह सुनिश्चित करके हल करता है कि कोई भी क्रिया तब तक निष्पादित नहीं होती जब तक कि वह औपचारिक, प्रासंगिक सुरक्षा गुणों को संतुष्ट नहीं करती।
- मापने योग्य योगदान: परिणाम LLM के विशिष्ट मूल्य को मात्रात्मक रूप से दर्शाते हैं: यह बिना किसी फाल्स पॉजिटिव के, डिटरमिनिस्टिक फ्लोर के रिकॉल को लगभग दोगुना कर देता है।
- मजबूती (Robustness): सिस्टम को इस तरह से डिज़ाइन किया गया है कि भले ही किसी स्कैनर को प्रतिकूल इनपुट द्वारा सबवर्ट किया जाए, स्वतंत्र गार्ड और मेमोरी तंत्र असुरक्षित कार्यों के प्रति प्रतिबद्धता को रोकते हैं।
- भविष्य का दृष्टिकोण: लेखक नोट करते हैं कि जबकि वर्तमान स्टैटिक-फर्स्ट दृष्टिकोण प्रभावी है, भविष्य के कार्य लाइव टूल सर्वर, CVEs पर रिट्रीवल-ऑगमेंटेड ग्राउंडिंग, और उच्च-निष्ठा वाले SDV टेस्टबेंच (जैसे, CARLA) के विरुद्ध सत्यापन को एकीकृत करेंगे।
पेपर निष्कर्ष निकालता है कि ग्राउंडेड LLM रिफाइनमेंट, टैम्पर-एविडेंट मेमोरी, और औपचारिक रनटाइम एनफोर्समेंट का संयोजन स्वायत्त, सुरक्षित ऑटोमोटिव साइबर सुरक्षा के लिए एक व्यवहार्य मार्ग प्रदान करता है।