How Sensor Attacks Transfer Across Lie Groups

यहाँ रियाद अलिसिक और सौरभ अमीन के शोध पत्र "How Sensor Attacks Transfer Across Lie Groups" का विस्तृत तकनीकी सारांश दिया गया है।

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

साइबर-फिजिकल सिस्टम्स (CPS) में सेंसर स्पूफिंग एक गंभीर खतरा है। जबकि रैखिक अवस्था स्थानों (यूक्लिडियन ज्यामिति) में ऐसे हमलों के लिए सैद्धांतिक आधार अच्छी तरह से स्थापित हैं, वे इस धारणा पर निर्भर करते हैं कि योगात्मक सेंसर ऑफसेट्स (additive sensor offsets) विभिन्न परिचालन स्थितियों में सहजता से स्थानांतरित हो जाते हैं।

हालाँकि, कई सुरक्षा-महत्वपूर्ण प्रणालियाँ (जैसे स्वायत्त वाहन, ड्रोन, रोबोट) गैर-यूक्लिडियन मैनिफोल्ड्स (non-Euclidean manifolds), विशेष रूप से ली ग्रुप्स (Lie groups) (जैसे $SE(2)$, $SE(3)$, और$SO(3)$) पर कार्य करती हैं। इन स्थानों में:

• गैर-क्रमविनिमेयता (Non-commutativity): समूह संचालन (group operations) क्रमविनिमेय नहीं होते हैं। एक सेंसर हमला जो सीधी रेखा में गति के दौरान "स्टील्थी" (undetectable/अदृश्य) होता है, वह जटिल युद्धाभ्यास (जैसे मोड़ लेना) के दौरान पता लगाने योग्य हो सकता है क्योंकि सिस्टम की गतिशीलता (dynamics) हमले के वेक्टर को विकृत कर देती है।
• अंतराल (The Gap): मौजूदा साहित्य रैखिक स्थानों या सामान्य गैर-रैखिक प्रणालियों में पहचान क्षमता (detectability) पर ध्यान केंद्रित करता है, लेकिन यह चरित्र वर्णन करने में विफल रहता है कि ली ग्रुप्स के विशिष्ट बीजगणितीय समरूपता (algebraic symmetries) कैसे यह निर्धारित करते हैं कि एक परिदृश्य में सीखा गया हमला दूसरे परिदृश्य या प्रक्षेपवक्र (trajectory) पर सफलतापूर्वक स्थानांतरित हो पाएगा या नहीं।

मुख्य प्रश्न: किन बीजगणितीय शर्तों के तहत, एक ली ग्रुप पर सीखा गया सेंसर हमला, एक अलग प्रक्षेपवक्र या अवस्था में स्थानांतरित होने पर अपना गतिक प्रभाव (dynamical impact) और स्टील्थनेस (stealthiness) बनाए रखता है?

---

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

लेखक हमले की स्थानांतरणीयता (attack transferability) का विश्लेषण करने के लिए ली ग्रुप थ्योरी पर आधारित एक एकीकृत ज्यामितीय और बीजगणितीय ढांचे का विकास करते हैं।

• सिस्टम मॉडलिंग: सिस्टम को एक ली ग्रुप $G$ पर बाएं-अपरिवर्तनीय गतिकी (left-invariant dynamics) के साथ मॉडल किया गया है। अवस्था का विकास $\dot{x} = f(x, u)$ के रूप में होता है, जहाँ गतिकी बाएँ अनुवाद (left translation) के तहत अपरिवर्तित रहती है।
• हमला मॉडलिंग: हमलों को सेंसर मापों पर लागू किए गए दाएं-अनुवाद (right translations) (बॉडी-फ्रेम विस्थापन) के रूप में मॉडल किया गया है। एक हमलावर एक डेटासेट से एक अवलोकन क्रिया $\tilde{T}_a$ सीखता है और उसे पीड़ित प्रणाली पर पुनः प्रस्तुत (replay) करने का प्रयास करता है।
• डिटेक्शन फ्रेमवर्क: सिस्टम एक इक्विवेरिएंट ऑब्जर्वर (Equivariant Observer) (जैसे इनवेरिएंट एक्सटेंडेड कलमन फ़िल्टर) का उपयोग करता है। यह ऑब्जर्वर इनवेरिएंट स्टेट एरर्स के आधार पर नवाचार (innovations) की गणना करता है, जिससे यह सुनिश्चित होता है कि पहचान तर्क (detection logic) मैनिफोल्ड की ज्यामिति का सम्मान करता है।
• प्रमुख गणितीय उपकरण:
  • ली ब्रैकेट $[ \cdot, \cdot ]$: सिस्टम की गतिकी और हमले के वेक्टर के बीच क्रमविनिमेयता (commutativity) को निर्धारित करने के लिए उपयोग किया जाता है।
  • एडजॉइंट एक्शन $Ad_g$: यह बताता है कि स्पर्श रेखा वेक्टर (tangent vectors/attack directions) सिस्टम की गति के प्रवाह के तहत कैसे रूपांतरित होते हैं।
  • इनवेरिएंट सबस्पेस ($\Delta_{f_e}$): नाममात्र की गतिकी के साथ ली ब्रैकेट का कर्नेल (kernel), जो उन हमलों का प्रतिनिधित्व करता है जो सिस्टम की गति के साथ क्रमविनिमेय (commute) होते हैं।

---

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

A. हमले की समानता और स्थानांतरणीयता का औपचारिक रूप (Formalization of Attack Equivalence and Transferability)

यह शोध पत्र स्थानांतरणीयता (transferability) को एक हमले द्वारा विभिन्न प्रक्षेपवक्रों और अवस्थाओं में समान गतिक प्रभाव और स्टील्थ प्रोफाइल उत्पन्न करने की क्षमता के रूप में परिभाषित करता है। यह स्थापित करता है कि ली ग्रुप्स में, स्थानांतरणीयता स्वचालित नहीं है बल्कि एक सख्त ज्यामितीय प्रतिबंध है।

B. स्थानांतरणीयता का ली-बीजगणितीय लक्षण वर्णन (Lie-Algebraic Characterization of Transferability)

लेखक सिद्ध करते हैं कि हमले के स्थानांतरणीय होने के लिए, उसे एक ली ब्रैकेट स्थिति को संतुष्ट करना चाहिए:
$$[f_e, \xi] = 0$$
जहाँ $f_e$ नाममात्र की गतिकी जनरेटर है और $\xi$ हमला विस्थापन है।

• परिणाम: स्थानांतरणीय हमले $\Delta_{f_e} = \ker([f_e, \cdot])$ के इनवेरिएंट सबस्पेस तक सीमित हैं।
• निहितार्थ: यदि कोई हमला इस सबस्पेस के बाहर है, तो सिस्टम की गैर-क्रमविनिमेय गतिकी हमले के वेक्टर को घुमा या विकृत कर देगी, जिससे वह पता लगाने योग्य हो जाएगा या उसका भौतिक प्रभाव बदल जाएगा।

C. अपूर्ण हमलों के लिए अपघटन प्रमेय (Decomposition Theorem for Imperfect Attacks)

यह स्वीकार करते हुए कि हमलावर शोर (noise) और मॉडल अनिश्चितता के कारण $\Delta_{f_e}$ की सटीक गणना नहीं कर सकते, शोध पत्र वास्तविक हमले $\hat{\xi}$ के दो भागों में अपघटन प्रस्तुत करता है:

1. आदर्श घटक ($\xi$): $\Delta_{f_e}$ के भीतर स्थित (स्थानांतरणीय)।
2. अवशिष्ट घटक ($\rho$): $\Delta_{f_e}$ के बाहर स्थित (गैर-स्थानांतरणीय)।

प्रमेय इन अवशेषों (residuals) के सिस्टम पर प्रभाव के संबंध में एक मौलिक विषमता (fundamental asymmetry) को प्रकट करता है:

• गतिक प्रभाव (Dynamical Impact): भौतिक विचलन को सिस्टम फ्लो के एडजॉइंट एक्शन ($Ad_{g_{k-1}}$) द्वारा प्रवर्धित (amplify) किया जाता है। बड़े युद्धाभ्यास अवशिष्ट के कारण होने वाले भौतिक त्रुटि को काफी बढ़ा सकते हैं।
• स्टील्थनेस (Stealthiness): डिटेक्टर नवाचार (detector innovation/स्टील्थ मीट्रिक) इक्विवेरिएंट ऑब्जर्वर संरचना द्वारा सुरक्षित (shielded) रहता है। डिटेक्टर पर अवशिष्ट का प्रभाव रैखिक होता है और यह भौतिक अवस्था की तरह गतिक प्रवर्धन (kinematic amplification) से नहीं गुजरता है।
• निष्कर्ष: एक हमलावर "गलत" दिशा में छोटी त्रुटियां (ब्रैकेट स्थिति का उल्लंघन) कर सकता है जो भारी भौतिक विचलन पैदा करती हैं, लेकिन फिर भी डिटेक्शन थ्रेशोल्ड ($\tau$-stealthy) के भीतर रहती हैं।

D. सबस्पेस कोलैप्स के माध्यम से मूविंग टारगेट डिफेंस (Moving Target Defense via Subspace Collapse)

शोध पत्र प्रदर्शित करता है कि डिफेंडर सिस्टम की परिचालन स्थितियों (जैसे वेग बदलना या मुड़ना) को हेरफेर करके इनवेरिएंट सबस्पेस $\Delta_{f_e}$ के आयाम (dimension) को कम कर सकते हैं।

• उदाहरण: डबिन कार (Dubins car) में, सीधी रेखा में गति पार्श्व (lateral) हमलों को स्थानांतरणीय बनाती है। हालाँकि, एक मोड़ के दौरान, केवल प्रक्षेपवपथ के साथ संरेखित हमले ही स्थानांतरणीय होते हैं। यह हमलावरों को पार्श्व रूप से स्पूफ करने का प्रयास करने पर एक "पता लगाने योग्य दिशा" में धकेल देता है।

---

4. परिणाम और संख्यात्मक सत्यापन (Results and Numerical Validation)

सिद्धांत को GPS और LIDAR सेंसर के साथ एक डबिन यूनिसाइकिल मॉडल ($SE(2)$) का उपयोग करके सत्यापित किया गया है।

• परिदृश्य: एक हमलावर सीधी रेखा में गति के दौरान एक पार्श्व स्पूफिंग हमले को सीखता है (जहाँ $\Delta_{f_e}$ में पार्श्व दिशाएं शामिल हैं)।
• स्थानांतरण (Transfer): हमलावर एक पीड़ित प्रणाली पर, जो वक्राकार प्रक्षेपवक्र (curved trajectory) पर चल रही है, इस हमले को पुनः प्रस्तुत करने का प्रयास करता है।
• निष्कर्ष:
  • आदर्श मामला: प्रक्षेपवपथ के साथ सख्ती से संरेखित हमले (जो गतिकी के साथ क्रमविनमेय हैं) पूरी तरह से स्थानांतरित होते हैं और स्टील्थी बने रहते हैं।
  • अपूर्ण मामला: जब हमलावर मोड़ के दौरान एक पार्श्व अवशिष्ट (non-commuting) इंजेक्ट करता है:
    • भौतिक त्रुटि को एडजॉइंट ऑपरेटर द्वारा घुमाया और स्केल किया जाता है, लेकिन यह $\epsilon \|Ad_{g}\|$ द्वारा सीमित रहती है।
    • डिटेक्टर नवाचार छोटा रहता है क्योंकि इक्विवेरिएंट ऑब्जर्वर ग्लोबल फ्रेम रोटेशन को रद्द कर देता है।
  • सिमुलेशन: भले ही हमलावर ने पार्श्व अवशिष्ट त्रुटि ($\epsilon=0.44$) और बड़े ट्रांसलेशनल पैरामीटर्स का उपयोग किया हो, वास्तविक विचलन सैद्धांतिक सीमा के भीतर रहा और कभी भी डिटेक्शन थ्रेशोल्ड ($\tau = 5.0$ मीटर) को पार नहीं किया। यह पुष्टि करता है कि "लूपहोल" (लूपहोल) हमलावरों को सटीक ज्ञान के बिना भी अनुमानकों (estimators) को अनडिटेक्टेड तरीके से हाईजैक करने की अनुमति देता है।

---

5. महत्व और निहितार्थ (Significance and Implications)

• सैद्धांतिक बदलाव: यह सेंसर हमले के विश्लेषण को रैखिक धारणाओं से हटाकर कठोर ज्यामितीय बाधाओं की ओर ले जाता है। यह सिद्ध करता है कि गैर-क्रमविनिमेयता (non-commutativity) एक दोधारी तलवार है: यह हमलों को उजागर कर सकती है, लेकिन यह विशिष्ट इनवेरिएंट सबस्पेस भी बनाती है जहाँ हमले ज्यामिति-जागरूक डिटेक्टरों के लिए "अदृश्य" होते हैं।
• सुरक्षा अंतर्दृष्टि (Security Insight): संरचनात्मक विषमता (भौतिक प्रवर्धन बनाम स्टील्थ शील्डिंग) की खोज महत्वपूर्ण है। यह सुझाव देती है कि डिफेंडर्स को केवल भौतिक विचलन के परिमाण के आधार पर हमलों का पता लगाने पर निर्भर नहीं रहना चाहिए; उन्हें हमले के वेक्टर की सिस्टम फ्लो के सापेक्ष ज्यामितीय निरंतरता की निगरानी करनी चाहिए।
• रक्षा रणनीति (Defense Strategy): शोध पत्र मूविंग टारगेट डिफेंस रणनीतियों का प्रस्ताव करता है। $\Delta_{f_e}$ के आयाम को न्यूनतम करने के लिए (जैसे जटिल युद्धाभ्यास को मजबूर करना) सक्रिय रूप से नियंत्रण इनपुट को बदलकर, डिफेंडर्स हमलावरों के लिए "सुरक्षित" दिशाओं को संरचनात्मक रूप से समाप्त कर सकते हैं, जिससे किसी भी स्पूफिंग प्रयास को ली ब्रैकेट स्थिति का उल्लंघन करने और पता लगाने योग्य बनने के लिए मजबूर किया जा सके।
• व्यावहारिक अनुप्रयोग: यह ढांचा हमले के प्रभाव और स्टील्थ के सैद्धांतिक स्तरों की गणना करने का एक तरीका प्रदान करता है, जिससे स्वायत्त वाहनों और रोबोटिक्स के लिए अधिक मजबूत इक्विवेरिएंट ऑब्जर्वर्स और घुसपैठ पहचान प्रणालियों (intrusion detection systems) को डिजाइन करने में मदद मिलती है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि ली ग्रुप्स पर स्थानांतरणीयता एक गतिक बाधा (kinematic constraint) है जो सिस्टम की गतिकी के सेंट्रलाइज़र (centralizer) द्वारा निर्धारित होती है। यह प्रकट करता है कि जबकि जटिल युद्धाभ्यास हमलों को विकृत कर सकते हैं, वे एक ज्यामितीय "ब्लाइंड स्पॉट" भी बनाते हैं जहाँ अपूर्ण हमले महत्वपूर्ण भौतिक नुकसान पहुंचा सकते हैं और फिर भी गणितीय रूप से अनडिटेक्टेड रह सकते हैं।