⚡ electrical engineering

Co-Design of Cryptographic Parameters and Delay-Aware Feedback Gain for Encrypted Control Systems

यह शोध पत्र एक सह-डिज़ाइन (co-design) ढांचे का प्रस्ताव करता है जो होमोमॉर्फिक एन्क्रिप्शन द्वारा पेश किए गए सुरक्षा-निर्भर संचार और गणना विलंबों को स्पष्ट रूप से ध्यान में रखते हुए, एन्क्रिप्टेड नियंत्रण प्रणालियों में स्थिरता सुनिश्चित करने के लिए क्रिप्टोग्राफिक मापदंडों और विलंब-जागरूक फीडबैक गेन्स (delay-aware feedback gains) को संयुक्त रूप से अनुकूलित करता है।

मूल लेखक: Yeongjun Jang

प्रकाशित 2026-04-17

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Yeongjun Jang

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास एक बहुत ही संवेदनशील, उच्च-गति वाला रोबोटिक आर्म (Plant) है जिसे दूसरे शहर में स्थित एक दूरस्थ मस्तिष्क (Remote Server) द्वारा नियंत्रित किया जाना है। रोबोट की गतिविधियों को जासूसों से गुप्त रखने के लिए, आपने सभी निर्देशों को एक अत्यंत मजबूत डिजिटल तिजोरी (Homomorphic Encryption) में लॉक करने का निर्णय लिया है।

यहाँ समस्या यह है: इन तिजोरियों को लॉक और अनलॉक करने में समय लगता है।

अतीत में, इंजीनियर रोबोट के मस्तिष्क को इस तरह डिजाइन करते थे कि वह एक सेकंड के सूक्ष्म हिस्से में पूरी तरह से काम करे, और फिर उसके ऊपर डिजिटल लॉक लगाने की कोशिश करते थे। लेकिन जब तक सर्वर निर्देशों को अनलॉक करता, गणना करता और वापस भेजता, तब तक रोबट पहले ही अपनी जगह बदल चुका होता। इस देरी के कारण रोबोट डगमगाने लगता, लक्ष्य से आगे निकल जाता, या टकराकर दुर्घटनाग्रस्त हो जाता। यह बिल्कुल वैसा ही है जैसे मोटे ऊनी दस्ताने पहनकर और धुंधली खिड़की से देखते हुए गेंद को पकड़ने की कोशिश करना; आप प्रतिक्रिया देने में बहुत धीमे हो जाते हैं।

यह शोध पत्र इस समस्या को हल करने का एक नया तरीका प्रस्तावित करता है: पहले मस्तिष्क को डिजाइन न करें, फिर ताले जोड़ें। मस्तिष्क और तालों को एक साथ डिजाइन करें।

यहाँ उनके समाधान का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "सुरक्षा बनाम गति" का समझौता (The "Security vs. Speed" Trade-off)

Encryption को एक तिजोरी की तरह समझें।

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

लेखकों ने महसूस किया कि यदि आप रोबोट की गति की जांच किए बिना एक "विशाल किला" (उच्च सुरक्षा) चुन लेते हैं, तो रोबोट दुर्घटनाग्रस्त हो जाएगा क्योंकि दरवाजा खोलने का समय (देरी) बहुत अधिक होगा।

2. "सह-डिजाइन" रणनीति (The "Co-Design" Strategy)

एक यादृच्छिक (random) तिजोरी चुनने और यह उम्मीद करने के बजाय कि रोबोट उस प्रतीक्षा को संभाल लेगा, लेखकों ने एक आदर्श मिलान खोजने के लिए एक दो-चरणीय नुस्खा (एल्गोरिदम) बनाया है:

चरण 1: सुरक्षा जांच (The Outer Loop)
वे विभिन्न "तिजोरी आकारों" (क्रिप्टोग्राफिक पैरामीटर्स) को देखते हैं जो सुरक्षा नियमों (जैसे, "128-बिट सुरक्षित होना चाहिए") को पूरा करते हैं। प्रत्येक आकार के लिए, वे ठीक से गणना करते हैं कि दरवाजा खोलने और बंद करने में कितना समय लगेगा। यदि एक तिजोरी को खुलने में 30 मिलीसेकंड लगते हैं, लेकिन रोबोट को हर 25 मिलीसेकंड में एक नए निर्देश की आवश्यकता होती है, तो वह तिजोरी बहुत धीमी है और उसे तुरंत खारिज कर दिया जाता है।
चरण 2: मस्तिष्क का समायोजन (The Inner Loop)
उन तिजोरियों के लिए जो पर्याप्त तेज़ हैं, वे मूल रोबोट मस्तिष्क का उपयोग नहीं करते हैं। इसके बजाय, वे मस्तिष्क को "विलंब-जागरूक" (delay-aware) बनाने के लिए उसे फिर से ट्यून करते हैं।
- उपमा: कल्पना कीजिए कि एक ड्राइवर जानता है कि उसकी कार का स्टीयरिंग व्हील धीमा है। अंतिम क्षण में तेजी से मुड़ने के बजाय (जिससे दुर्घटना हो सकती है), वह पहले और अधिक धीरे से मोड़ना शुरू करता है। लेखक गणितीय रूप से सिद्ध करते हैं कि यदि आप मस्तिष्क को विशेष रूप से उस विशिष्ट तिजोरी के कारण होने वाली देरी के लिए ट्यून करते हैं, तो रोबोट स्थिर रहेगा।

3. "गणितीय सुरक्षा जाल" (The "Mathematical Safety Net")

उन्हें कैसे पता चलता है कि रोबोट दुर्घटनाग्रस्त नहीं होगा? वे Linear Matrix Inequalities (LMIs) नामक एक उपकरण का उपयोग करते हैं।

उपमा: कल्पना कीजिए कि आप एक पुल बना रहे हैं। आप केवल इस उम्मीद में नहीं होते कि यह टिक जाएगा; आप एक सिमुलेशन चलाते हैं जो हवा की हर संभावित गति और वजन सीमा की जांच करता है।
इस शोध पत्र में, वे एक गणितीय सिमुलेशन चलाते है जो जाँचता है: "यदि देरी 0 और 20 मिलीसेकंड के बीच कहीं भी है, तो क्या यह विशिष्ट मस्तिष्क सेटिंग रोबोट को स्थिर रखेगी?" यदि गणित कहता है "हाँ," तो वे उस मस्तिष्क को उस तिजोरी के साथ जोड़ देते हैं। यदि "नहीं," तो वे एक अलग मस्तिष्क सेटिंग आजमाते हैं।

4. परिणाम

अपने कंप्यूटर सिमुलेशन में, उन्होंने दो प्रकार के रोबोट मस्तिष्क का परीक्षण किया:

मस्तिष्क A (पुराना तरीका): बिना किसी देरी वाली दुनिया के लिए डिजाइन किया गया। जब उन्होंने एन्क्रिप्शन की देरी जोड़ी, तो रोबोट हिंसक रूप से हिलने लगा और दुर्घटनाग्रस्त हो गया।
मस्तिष्क B (नया तरीका): विशेष रूप से एन्क्रिप्शन की देरी को संभालने के लिए डिजाइन किया गया। धीमी तिजोरी के बावजूद, रोबोट सुचारू रूप से चला और पूरी तरह से स्थिर रहा।

मुख्य निष्कर्ष (The Big Takeaway)

यह शोध पत्र हमें सिखाता है कि सुरक्षित, नेटवर्क वाले रोबोटों की दुनिया में, आप सुरक्षा और नियंत्रण को अलग-अलग समस्याओं के रूप में नहीं देख सकते।

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

यहाँ योंगजुन जंग (Yeongjun Jang) के शोध पत्र "Co-Design of Cryptographic Parameters and Delay-Aware Feedback Gain for Encrypted Control Systems" का विस्तृत तकनीकी सारांश दिया गया है।

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

संदर्भ: नेटवर्क नियंत्रित प्रणालियाँ (Networked Control Systems - NCS) अक्सर रिमोट सर्वरों को गणना (computation) सौंपती हैं, जिससे गोपनीयता के जोखिम उत्पन्न होते हैं जहाँ संवेदनशील स्टेट डेटा या कंट्रोल लॉ को अर्ध-ईमानदार (semi-honest) सर्वरों द्वारा इंटरसेप्ट या अनुमानित किया जा सकता है। होमोमोर्फिक एन्क्रिप्शन (Homomorphic Encryption - HE) एक आशाजनक समाधान है, जो डिक्रिप्शन के बिना एन्क्रिप्टेड डेटा पर गणना करने की अनुमति देता है।

चुनौती: मौजूदा दृष्टिकोण आमतौर पर पहले प्लेनटेक्स्ट डोमेन में एक कंट्रोलर डिजाइन करते हैं और फिर उसे HE का उपयोग करके लागू करते हैं। यह "पोस्ट-डिजाइन" दृष्टिकोण त्रुटिपूर्ण है क्योंकि HE निम्नलिखित कारणों से गैर-नगण्य विलंब (non-negligible delays) उत्पन्न करता है:

संचार (Communication): सिफरटेक्स्ट (ciphertexts), प्लेनटेक्स्ट की तुलना में काफी बड़े होते हैं, जिससे ट्रांसमिशन समय बढ़ जाता है।
गणना (Computation): एन्क्रिप्शन, डिक्रिप्शन और होमोमोर्फिक इवैल्यूएशन गणनात्मक रूप से गहन होते हैं।

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

उद्देश्य: एक को-डिजाइन फ्रेमवर्क (co-design framework) प्रस्तावित करना जो संयुक्त रूप से क्रिप्टोग्राफिक मापदंडों ( $\theta$ ) और फीडबैक गेन ( $K$ ) को निर्धारित करता है ताकि तीन साथ-साथ आवश्यकताओं को पूरा किया जा सके:

सुरक्षा (Security): वांछित सुरक्षा स्तर ( $\lambda^*$ ) को पूरा करना।
विलंब बाधा (Delay Constraint): सुनिश्चित करना कि कुल विलंब ( $\tau_\theta$ ), सैंपलिंग समय ( $T_s$ ) से कम है।
स्थिरता (Stability): प्रेरित विलंब (induced delay) के तहत क्लोज्ड-लूप सिस्टम की स्थिरता की गारंटी देना।

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

यह शोध पत्र एक LWE-आधारित (Learning With Errors) क्रिप्टोसिस्टम (विशेष रूप से BGV वेरिएंट) का उपयोग करता है और एक संरचित गणितीय दृष्टिकोण का पालन करता है:

A. विलंब परिमाणीकरण (Delay Quantification)

लेखक कुल विलंब $\tau_\theta$ को क्रिप्टोग्राफिक मापदंडों $\theta = (N, q, \sigma)$ के फलन के रूप में मॉडल करते हैं, जहाँ $N$ की-डायमेंशन है, $q$ मोडुलस है, और $\sigma$ एरर स्टैंडर्ड डेविएशन है।
कुल विलंब को इस प्रकार विभाजित किया गया है:
$\tau_\theta = \tau_{Comm} + \tau_{Enc} + \tau_{Dec} + \tau_{\otimes}$

कम्युनिकेशन डिले: संदेश के आकार (सिफरटेक्स्ट डायमेंशन) और ट्रांसमिशन दर $R$ के आधार पर व्युत्पन्न किया गया है।
कंप्यूटेशन डिले: एन्क्रिप्शन, डिक्रिप्शन और होमोमोर्फिक मल्टीप्लिकेशन ऑपरेशंस की एसिम्प्टोटिक कॉम्प्लेक्सिटी (जो पेपर की टेबल 1 में संक्षेपित है) से व्युत्पन्न किया गया है।

इससे $N$ और $q$ पर निर्भर एक स्पष्ट ऊपरी सीमा $\bar{\tau}_\theta$ (इक्वेशन 11) प्राप्त होती है।

B. विलंब के साथ सिस्टम मॉडलिंग (System Modeling with Delay)

एक निरंतर-समय प्लांट $\dot{x} = Ax + Bu$ को डिस्क्रीट-टाइम स्टैटिक स्टेट फीडबैक $u[k] = Kx[k]$ के माध्यम से नियंत्रित किया जाता है।
विलंब $\tau_\theta$ के कारण, ज़ीरो-ऑर्डर होल्ड (ZOH) इनपुट में एक लैग (lag) होता है। सिस्टम को सैंपलिंग इंस्टेंट्स पर डिस्क्रीटाइज किया जाता है, जिसके परिणामस्वरूप एक संवर्धित (augmented) स्टेट-स्पेस मॉडल प्राप्त होता है:
$\xi[k+1] = \bar{A}(\tau_\theta, K)\xi[k]$
जहाँ $\xi[k] = [x[k]^\top, x[k-1]^\top]^\top$ है। मैट्रिक्स $\bar{A}$ , विलंब $\tau_\theta$ पर निर्भर करता है।

C. LMIs के माध्यम से स्थिरता विश्लेषण (Stability Analysis via LMIs)

यह सुनिश्चित करने के लिए कि $[0, \bar{\tau}_\theta]$ के भीतर किसी भी विलंब के लिए स्थिरता बनी रहे, लेखक निम्नलिखित करते हैं:

$A$ के जोर्डन फॉर्म (Jordan form) का उपयोग करके, डिले-डिपेंडेंट मैट्रिक्स $\bar{A}(\tau_\theta, K)$ को वर्टेक्स मैट्रिसेस के एक कॉनवेक्स कॉम्बिनेशन के रूप में व्यक्त करते हैं।
एक कॉमन क्वाड्रेटिक लयापुनोव फंक्शन (common quadratic Lyapunov function) का उपयोग करके शूर स्थिरता (Schur stability) के लिए एक पर्याप्त स्थिति (sufficient condition) व्युत्पन्न करते हैं।
इस स्थिति को लीनियर मैट्रिक्स इनइक्वेलिटीज (LMIs) (इक्वेशन 19) के एक परिमित सेट के रूप में तैयार करते हैं। यदि वर्टेक्स मैट्रिसेस के लिए एक पॉजिटिव डेफिनिट मैट्रिक्स $P$ मौजूद है जो इन LMIs को संतुष्ट करता है, तो सिस्टम रेंज में सभी विलंबों के लिए स्थिर रहता है।

D. को-डिजाइन एल्गोरिदम (बाहरी-आंतरिक लूप) (Co-Design Algorithm - Outer-Inner Loop)

समाधान एक सुलभ खोज प्रक्रिया (एल्गोरिदम 1) के माध्यम से प्राप्त किया जाता है:

बाहरी लूप (क्रिप्टोग्राफिक मापदंड): उन उम्मीदवार मापदंडों $\Theta$ के एक डिस्क्रीट सेट के माध्यम से पुनरावृत्ति (iterate) करना जो सुरक्षा आवश्यकता ( $\lambda(\theta) \ge \lambda^*$ ) को पूरा करते हैं।
फिल्टरिंग: किसी भी ऐसे $\theta$ को हटा दें जहाँ गणना किया गया विलंब बाउंड $\bar{\tau}_\theta \ge T_s$ हो।
आंतरिक लूप (फीडबैक गेन): वैध $\theta$ के लिए, उम्मीदवार गेन $\mathcal{K}$ (जैसे, डिले-फ्री केस के लिए डिज़ाइन किए गए गेन) के लिए LMIs की व्यवहार्यता (feasibility) की जाँच करें।
आउटपुट: सभी शर्तों को पूरा करने वाले पहले जोड़े $(\theta, K)$ को वापस करें।

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

विलंब लक्षण वर्णन (Delay Characterization): यह पेपर एन्क्रिप्शन-प्रेरित विलंबों को क्रिप्टोग्राफिक मापदंडों ( $N, q, \sigma$ ) के एक स्पष्ट फलन के रूप में एक कठोर गणितीय लक्षण वर्णन प्रदान करता है, जो क्रिप्टोग्राफी और कंट्रोल थ्योरी के बीच के अंतर को पाटता है।
विलंब-जागरूक स्थिरता स्थिति (Delay-Aware Stability Condition): यह एक ज्ञात बाउंड के भीतर सटीक विलंब की अनिश्चितता को ध्यान में रखते हुए, LMIs के एक परिमित सेट के रूप में स्थिरता के लिए एक पर्याप्त स्थिति व्युत्पन्न करता है।
को-डिजाइन फ्रेमवर्क: पिछले कार्यों के विपरीत, जो सुरक्षा और नियंत्रण को अलग-अलग मानते हैं, यह फ्रेमवर्क सुरक्षा मापदंडों और कंट्रोल गेन को संयुक्त रूप से अनुकूलित करता है। यह स्वीकार करता है कि उच्च सुरक्षा (बड़ा $N, q$ ) विलंब को बढ़ाता है, जिससे स्थिरता बनाए रखने के लिए एक अलग कंट्रोलर गेन की आवश्यकता हो सकती है।
व्यावहारिकता (Tractability): अनंत-आयामी स्थिरता समस्या (निरंतर विलंब के कारण) को LMIs के एक परिमित सेट में बदलकर, यह विधि व्यावहारिक कार्यान्वयन के लिए कम्प्यूटेशनल रूप से सुलभ हो जाती है।

4. सिमुलेशन परिणाम (Simulation Results)

लेखकों ने एक डबल-इंटीग्रेटर प्लांट ( $A = [[0,1],[0,0]], B = [0,1]^\top$ ) और सैंपलिंग टाइम $T_s = 25$ ms के साथ एक संख्यात्मक उदाहरण का उपयोग करके विधि को मान्य किया।

सेटअप: लक्षित सुरक्षा स्तर $\lambda^* = 128$ बिट्स। तीन उम्मीदवार पैरामीटर सेट ( $\theta_1, \theta_2, \theta_3$ ) का परीक्षण किया गया।
विलंब विश्लेषण:
- $\theta_1$ : $\bar{\tau} \approx 19.15$ ms (संतुष्ट करता है $\tau < T_s$ )।
- $\theta_2, \theta_3$ : $\bar{\tau} > 80$ ms (उल्लंघन करता है $\tau < T_s$ )।
कंट्रोलर डिजाइन:
- दो गेन ( $K_1, K_2$ ) को पोल प्लेसमेंट का उपयोग करके डिले-फ्री केस के लिए डिज़ाइन किया गया था।
- $K_1$ के लिए परिणाम: LMIs अव्यवहार्य (infeasible) थे। सिमुलेशन ने दिखाया कि जब वास्तविक विलंब बाउंड के $3/4$ तक पहुँच गया, तो सिस्टम अस्थिर हो गया।
- $K_2$ के लिए परिणाम: LMIs व्यवहार्य (feasible) थे। सिमुलेशन ने पुष्टि की कि $K_2$ बाउंड तक के सभी विलंबों के लिए सिस्टम को स्थिर करता है।
निष्कर्ष: सिमुलेशन ने प्रदर्शित किया कि एन्क्रिप्शन विलंबों पर विचार किए बिना डिज़ाइन किया गया गेन ( $K_1$ ) विफल हो जाता है, जबकि प्रस्तावित को-डिजाइन फ्रेमवर्क के माध्यम से सत्यापित गेन ( $K_2$ ) स्थिरता सुनिश्चित करता है।

5. महत्व और प्रभाव (Significance and Impact)

व्यावहारिक व्यवहार्यता: यह कार्य विलंबता (latency) की महत्वपूर्ण बाधा को संबोधित करके एन्क्रिप्टेड कंट्रोल को सैद्धांतिक अवधारणाओं से व्यावहारिक कार्यान्वयन की ओर ले जाता है। यह इंजीनियरों को ऐसे एन्क्रिप्शन मापदंडों को चुनने के लिए एक ठोस कार्यप्रणाली प्रदान करता है जो सिस्टम स्थिरता से समझौता न करें।
सुरक्षा-स्थिरता ट्रेड-ऑफ (Security-Stability Trade-off): यह स्पष्ट रूप से ट्रेड-ऑफ को मापता है: उच्च सुरक्षा स्तरों के लिए बड़े मापदंडों की आवश्यकता होती है, जो विलंब को बढ़ाते हैं, जिससे संभावित रूप से कंट्रोलर को अधिक रूढ़िवादी (conservative) होने के लिए मजबूर होना पड़ता है या गेन के पुन: डिज़ाइन की आवश्यकता होती है।
भविष्य की दिशा: यह पेपर "सिक्योरिटी-अवेयर कंट्रोल" की नींव रखता है, यह सुझाव देते हुए कि भविष्य के कंट्रोल सिस्टम डिजाइन में सुरक्षा बाधाओं को केवल एक विचार के रूप में नहीं, बल्कि अंतर्निहित रूप से शामिल किया जाना चाहिए। लेखकों ने उल्लेख किया है कि इसे समय-परिवर्तनीय विलंब (time-varying delays) तक विस्तारित करना या $P$ के साथ $K$ को एक साथ अनुकूलित करना भविष्य के अनुसंधान के क्षेत्र हैं।