LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
यह शोध पत्र LAsset को प्रस्तुत करता है, जो हार्डवेयर विनिर्देशों (specifications) और RTL विवरणों से सुरक्षा संपत्तियों (security assets) की पहचान करने के लिए लार्ज लैंग्वेज मॉडल्स का लाभ उठाने वाला एक स्वचालित ढांचा है, जिससे मैन्युअल प्रयास में उल्लेखनीय कमी आती है और प्री-सिलिकॉन SoC सुरक्षा सत्यापन की स्केलेबिलिटी को बढ़ाने के लिए उच्च रिकॉल दर प्राप्त होती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप रेत के एक अकेले कण के भीतर एक विशाल, हाई-टेक शहर बना रहे हैं। यह शहर एक सिस्टम-ऑन-चिप (SoC) है, एक कंप्यूटर चिप जो आपके स्मार्टवॉच से लेकर आपकी कार तक सब कुछ संचालित करती है। इसमें लाखों छोटे कमरे (मॉड्यूल), सड़कें (बस) और तिजोरियाँ (रजिस्टर) हैं जो एक साथ मिलकर काम करते हैं।
अब, कल्पना कीजिए कि आपको इस शहर को चोरों, जासूसों और तोड़फोड़ करने वालों से बचाना है। लेकिन समस्या यह है: यह शहर इतना जटिल है कि सबसे अच्छे सुरक्षा गार्ड (मानव इंजीनियर) भी यह नहीं जान सकते कि किस कमरे में ताला लगाने की आवश्यकता है। वे एक छिपे हुए बैकडोर को भूल सकते हैं या किसी विशिष्ट तिजोरी की रक्षा करना भूल सकते हैं, जिससे पूरा शहर असुरक्षित हो जाता है।
यही वह समस्या है जिसे "LAsset" हल करता है।
पुराना तरीका: थका हुआ जासूस
परंपरागत रूप से, उन चीजों को ढूंढना जिन्हें सुरक्षा की आवश्यकता है (जिन्हें सिक्योरिटी एसेट्स कहा जाता है), एक थके हुए जासूस से एक मिलियन कमरों वाले हवेली में घूमने और यह अनुमान लगाने जैसा था कि कौन से कमरे कीमती हैं।
- जासूस: एक मानव सुरक्षा विशेषज्ञ।
- कार्य: हजारों पन्नों के ब्लूप्रिंट (स्पेसिफिकेशन) और वायरिंग डायग्राम (RTL कोड) को मैन्युअल रूप से पढ़ना।
- समस्या: इसमें बहुत समय लगता है, यह महंगा है, और जासूस थक जाता है और चीजें भूल जाता है। यदि वे एक भी कीमती वस्तु को भूल जाते हैं, तो पूरे घर में चोरी हो सकती है।
नया तरीका: LAsset (एक AI सुरक्षा सलाहकार)
लेखकों ने LAsset बनाया है, एक स्मार्ट कंप्यूटर प्रोग्राम जो लार्ज लैंग्वेज मॉडल्स (LLMs) (वही तकनीक जो मेरे जैसे चैटबॉट्स के पीछे है) द्वारा संचालित है। LAsset को एक जासूस के रूप में नहीं, बल्कि एक सुपर-इंटेलिजेंट सुरक्षा सलाहकार के रूप में समझें जिसने दुनिया की हर सुरक्षा नियमावली पढ़ ली है और जो तुरंत ब्लूप्रिंट को समझ सकता है।
यहाँ बताया गया है कि LAsset कैसे काम करता है, जिसे सरल चरणों में विभाजित किया गया है:
1. "क्या" और "कहाँ" (वैचारिक बनाम संरचनात्मक)
LAsset दो प्रकार के एसेट्स (संपत्तियों) को समझता है:
- वैचारिक एसेट्स (Conceptual Assets - "क्या"): ये मूल्य के विचार हैं। उदाहरण के लिए, "गुप्त पासवर्ड" या "एन्क्रिप्शन कुंजी।" इससे कोई फर्क नहीं पड़ता कि पासवर्ड कहाँ संग्रहीत है; पासवर्ड का विचार ही मूल्यवान है।
- संरचनात्मक एसेट्स (Structural Assets - "कहाँ"): ये चिप के वे भौतिक स्थान हैं जहाँ पासवर्ड रहता है। उदाहरण के लिए, "CPU का वह विशिष्ट बॉक्स जहाँ पासवर्ड सुरक्षित रखा जाता है।"
उपमा: यदि "वैचारिक एसेट" एक सोने की ईंट है, तो "संरचनात्मक एसेट" बैंक में वह विशिष्ट तिजोरी है जहाँ वह सोने की ईंट रखी गई है। आपको यह जानने की आवश्यकता है कि आप क्या सुरक्षित कर रहे हैं और वह कहाँ छिपा है।
2. तीन-चरणीय प्रक्रिया
LAsset केवल अनुमान नहीं लगाता; यह एक सख्त तीन-चरणीय दिनचर्या का पालन करता है:
चरण A: ब्रीफिंग (इनपुट प्री-प्रोसेसिंग)
LAsset शहर के ब्लूप्रिंट (RTL कोड) और मालिक की नियमावली (डिज़ाइन स्पेसिफिकेशन) को पढ़ता है। यह उबाऊ चीजों (जैसे स्ट्रीटलाइट्स) को अनदेखा करता है और केवल महत्वपूर्ण इमारतों (सुरक्षा मॉड्यूल) पर ध्यान केंद्रित करता है। यह एक "चीट शीट" बनाता है जो सारांशित करता है कि प्रत्येक इमारत क्या करती है।चरण B: खोज (एसेट जनरेशन)
अपने "चीट शीट" का उपयोग करते हुए, LAsset एक आवर्धक लेंस (मैग्नीफाइंग ग्लास) के साथ एक जासूस की तरह कार्य करता है। यह पूछता है: "यदि मैं एक चोर होता, तो मैं इस कमरे से क्या चुराता?"- यह प्राथमिक एसेट्स (Primary Assets) की पहचान करता है (स्वयं सोने की ईंटें)।
- यह द्वितीयक एसेट्स (Secondary Assets) की पहचान करता है (गार्ड, चाबियाँ, या वे गलियारे जो सोने तक ले जाते हैं)। यदि चोर गलियारे की चाबी चुरा लेता है, तो वह सोने तक पहुँच सकता है, इसलिए गलियारा भी महत्वपूर्ण है।
चरण C: डबल-चेक (एसेट रिफाइनमेंट)
कभी-कभी, यहाँ तक कि स्मार्ट AI भी बहुत उत्साहित हो जाता है और सोचता है कि एक टोस्टर सुरक्षा जोखिम है। LAsset के पास इसे रोकने के लिए एक "क्रिटिक" मोड है।- अटैक टेस्ट: यह पूछता है, "क्या वास्तव में कोई हैकर इसमें सेंध लगा सकता है?" यदि उत्तर 'नहीं' है, तो यह उस आइटम को हटा देता है।
- डेटाबेस चेक: यह अपनी सूची की तुलना ज्ञात सुरक्षा खामियों (जिसे CWE कहा जाता है) के एक विशाल वैश्विक डेटाबेस से करता है। यदि उस आइटम के लिए कोई ज्ञात खामी मौजूद है, तो वह सूची में बना रहता है।
- सेल्फ-करेक्शन (स्व-सुधार): यह अपने स्वयं के काम की समीक्षा करता है, यह पूछते हुए, "क्या मैं इसके बारे में निश्चित हूँ?" ताकि अपनी गलतियों को ठीक किया जा सके।
यह एक बड़ी बात क्यों है?
शोधकर्ताओं ने वास्तविक दुनिया के डिजाइनों पर LAsset का परीक्षण किया, जिसमें एक जटिल प्रोसेसर (NEORV32) और विभिन्न एन्क्रिप्शन चिप्स शामिल थे।
- परिणाम: LAsset ने उन 90% से 93% सुरक्षा एसेट्स को खोज निकाला जो मानव विशेषज्ञों ने खोजे थे, लेकिन इसने यह काम स्वचालित रूप से किया।
- लाभ: यह समय और पैसा बचाता है। इंजीनियरों द्वारा चिप की मैन्युअल रूप से जांच करने में हफ्तों बिताने के बजाय, LAsset इसे मिनटों में कर देता है, जिससे इंजीनियरों को एक "मैप" मिलता है कि उन्हें चिप बनने से पहले वास्तव में किन चीजों को लॉक करने की आवश्यकता है।
"डिग्री ऑफ इन्फ्लुएंस" (DoI)
एक शानदार विशेषता जिसे LAsset जोड़ता है, वह है एक "खतरा स्कोर" (डेंजर स्कोर)।
- उपमा: कल्पना कीजिए कि एक चोर खिड़की तोड़ देता है (एक द्वितीयक एसेट)। यह उसे सोने की ईंट तक पहुँचने में कितनी मदद करता है?
- LAsset इसकी गणितीय गणना करता है। यदि एक द्वितीयक एसेट सोने की ईंट तक जाने वाले मार्ग का 100% नियंत्रण रखता है, तो इसका "डिग्री ऑफ इन्फ्लुएंस" उच्च है। यदि यह केवल एक छोटा सा हिस्सा नियंत्रित करता है, तो स्कोर कम है। यह इंजीनियरों को यह तय करने में मदद करता है कि पहले किन तालों को मजबूत करने की आवश्यकता है।
सारांश
LAsset एक सुपर-स्मार्ट, अथक AI सुरक्षा गार्ड को नियुक्त करने जैसा है जो आपके डिजिटल शहर के बनने से पहले उसमें घूमता है। यह ब्लूप्रिंट पढ़ता है, प्रत्येक मूल्यवान वस्तु और उस तक जाने वाले प्रत्येक मार्ग की पहचान करता है, ज्ञात आपराधिक युक्तियों के विरुद्ध अपने काम की जाँच करता है, और आपको एक सटीक "सुरक्षा मानचित्र" सौंपता है। यह सुनिश्चित करता है कि जब चिप अंततः बनाई जाती है, तो वह पहले से ही सबसे संभावित हमलों के खिलाफ सुरक्षित हो, जिससे कंपनियों को बाद में होने वाली महंगी गलतियों से बचाया जा सके।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।