A Privacy-Preserving Approach to Conformance Checking
यह शोध पत्र होमोमॉर्फिक एन्क्रिप्शन और स्ट्रिंग प्रोसेसिंग एल्गोरिदम का उपयोग करके एक गोपनीयता-संरक्षण अनुरूपता जांच (कन्फ़ॉर्मेंस चेकिंग) दृष्टिकोण प्रस्तावित करता है ताकि किसी भी पक्ष को दूसरे पक्ष के विवरण प्रकट किए बिना प्रोसेस मॉडल और इवेंट लॉग के बीच विसंगतियों को सुरक्षित रूप से पहचाना जा सके, हालांकि इसके लिए उच्च कम्प्यूटेशनल और मेमोरी आवश्यकताओं की लागत चुकानी पड़ती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
यहाँ सरल भाषा और रोज़मर्रा के उदाहरणों का उपयोग करके शोध पत्र (paper) का विवरण दिया गया है।
बड़ी तस्वीर: सामग्री देखे बिना रेसिपी की जाँच करना
कल्पना कीजिए कि आप एक ग्राहक हैं जिसने एक कस्टम केक ऑर्डर किया है। आप यह सुनिश्चित करना चाहते हैं कि बेकर आपकी विशिष्ट रेसिपी (प्रोसेस मॉडल) का पालन कर रहा है और रसोई में वे वास्तव में जो कदम उठा रहे हैं, वे आपके द्वारा माँगे गए कदमों से मेल खाते हैं (इवेंट लॉग)।
आमतौर पर, इसकी जाँच करने के लिए बेकर को आपको अपनी गुप्त रेसिपी बुक दिखानी होगी, और आपको उन्हें अपना गुप्त ऑर्डर फॉर्म दिखाना होगा। लेकिन क्या होगा यदि बेकर इस बात से चिंतित है कि आप उनकी गुप्त रेसिपी चुरा लेंगे, या आप इस बात से चिंतित हैं कि वे आपके गुप्त ऑर्डर का विवरण देख लेंगे?
यह पेपर एक तरीका प्रस्तावित करता है जिससे यह जाँच की जा सकती है कि केक सही ढंग से बनाया जा रहा है या नहीं, बिना किसी भी पक्ष द्वारा एक-दूसरे की गुप्त जानकारी देखे।
समस्या: गोपनीयता बनाम जाँच (Privacy vs. Checking)
बिजनेस सॉफ्टवेयर की दुनिया में, "कन्फ़ॉर्मेंस चेकिंग" (Conformance Checking) वह प्रक्रिया है जिसमें एक नियोजित वर्कफ़्लो (जैसे एक रेसिपी) की तुलना वास्तविक रूप में जो हुआ उसके रिकॉर्ड (जैसे एक किचन लॉग) से की जाती है।
- मॉडल (The Model): अपेक्षित पथ (रेसिपी)।
- लॉग (The Log): वास्तविक पथ (शेफ ने वास्तव में क्या किया)।
पारंपरिक रूप से, एक तीसरा पक्ष (या डेटा का मालिक) दोनों को देखता है ताकि गलतियाँ ढूँढी जा सकें। लेकिन संवेदनशील उद्योगों (जैसे हाई-टेक मैन्युफैक्चरिंग) में, कंपनियाँ अपने गुप्त ब्लूप्रिंट साझा नहीं करना चाहतीं, और क्लाइंट अपने निजी ऑर्डर विवरण साझा नहीं करना चाहते।
समाधान: एक "जादुई बॉक्स" और एक "सर्च इंजन"
लेखकों ने इस गोपनीयता पहेली को सुलझाने के लिए दो मुख्य उपकरणों का उपयोग करते हुए एक सिस्टम बनाया है:
1. जादुई बॉक्स (होमोमोर्फिक एन्क्रिप्शन - Homomorphic Encryption)
होमोमोर्फिक एन्क्रिप्शन को एक विशेष "जादुई बॉक्स" के रूप में सोचें।
- आप बॉक्स के अंदर एक गुप्त संख्या रख सकते हैं।
- आप किसी से उस संख्या में 5 जोड़ने के लिए कह सकते हैं बिना बॉक्स खोले या संख्या देखे।
- वे बॉक्स के अंदर "एन्क्रिप्टेड" संख्या पर गणितीय गणना करते हैं और उसे वापस दे देते हैं।
- जब आप बॉक्स खोलते हैं, तो परिणाम सही उत्तर होता है (मूल संख्या + 5)।
इस पेपर में, "क्लाइंट" (जिसके पास ट्रेस है) अपना डेटा इस जादुई बॉक्स में डालता है। "सर्वर" (मॉडल का मालिक) बॉक्स के अंदर डेटा की जाँच की गणितीय प्रक्रिया करता है, बिना वास्तविक डेटा देखे।
2. सर्च इंजन (FM-Index और स्ट्रिंग प्रोसेसिंग)
यह जाँचने के लिए कि क्या कदम मेल खाते हैं, सिस्टम पूरे प्रोसेस मॉडल को टेक्स्ट की एक विशाल स्ट्रिंग (जैसे रेसिपी को एक लंबे वाक्य में बदलना) में बदल देता है। फिर यह उस टेक्स्ट पर एक सुपर-फास्ट सर्च इंजन (FM-Index) बनाता है।
सामान्यतः, एक सर्च इंजन आपको एक शब्द टाइप करने और टेक्स्ट में उसे तुरंत खोजने की अनुमति देता है। यहाँ, सिस्टम इस सर्च इंजन का उपयोग यह देखने के लिए करता है कि क्लाइंट के लॉग में मौजूद "कदम" मॉडल के टेक्स्ट के भीतर मौजूद हैं या नहीं।
यह कैसे काम करता है: "बैकवर्ड सर्च" का खेल
पेपर क्लाइंट और सर्वर के बीच खेले जाने वाले एक विशिष्ट खेल का वर्णन करता है जो मिलान की जाँच करता है:
- तैयारी: सर्वर अपनी गुप्त मॉडल लेता है, उसे टेक्स्ट की एक लंबी स्ट्रिंग में बदलता है, और सर्च इंजन (FM-Index) बनाता है। वे इसे गुप्त रखते हैं।
- क्वेरी (Query): क्लाइंट के पास कदमों की एक गुप्त सूची (एक ट्रेस) है। वे जानना चाहते हैं कि क्या उनके कदम मॉडल में फिट बैठते हैं।
- गुप्त खोज (The Secret Search):
- क्लाइंट अपने कदमों की सूची को उल्टा (आखिरी कदम से पहले कदम तक) देखता है।
- सीधे कदम भेजने के बजाय, क्लाइंट सर्वर को एक "लॉक" किया हुआ अनुरोध भेजता है।
- सर्वर मॉडल में उस कदम को खोजने के लिए सर्च इंजन का उपयोग करता है।
- महत्वपूर्ण: सर्वर यह गणित "जादुई बॉक्स" के अंदर करता है। सर्वर केवल scrambled (बदली हुई) संख्याएँ देखता है, वास्तविक कदम के नाम नहीं।
- सर्वर परिणाम वापस क्लाइंट को भेजता है।
- क्लाइंट परिणाम को अनलॉक करके देखता है कि क्या कदम मिला।
- गलतियों को संभालना (Log Moves): यदि क्लाइंट की सूची में कोई कदम मॉडल से मेल नहीं खाता है, तो सिस्टम एक "स्किप" (जिसे Log Move कहा जाता है) की अनुमति देता है। यह यह कहने जैसा है कि, "ठीक है, यह कदम रेसिपी में नहीं था, लेकिन चलिए देखते हैं कि क्या अगला कदम फिट बैठता है।" सिस्टम गलती होने से पहले कहाँ था, इसे याद रखता है ताकि वह बिना सर्वर को गलती बताए फिर से प्रयास कर सके।
पेच: यह धीमा और भारी है
पेपर स्वीकार करता है कि हालांकि यह एक शानदार गोपनीयता समाधान है, लेकिन इसके साथ एक भारी कीमत आती है: गति और मेमोरी (Speed and Memory)।
- उदाहरण: कल्पना कीजिए कि आप कागज पर एक साधारण गणित का सवाल हल कर रहे हैं। इसमें एक सेकंड लगता है। अब कल्पना कीजिए कि आपको उस कागज को एक लेड-लाइन्ड (सीसे से बनी) तिजोरी में रखना पड़ता है, उसे एक दोस्त को भेजना पड़ता है, उन्हें एक मोटे कांच की खिड़की के माध्यम से गणित करने के लिए कहना पड़ता है, और फिर उसे वापस भेजना पड़ता है। इसमें बहुत अधिक समय लगता है।
- परिणाम: लेखकों ने वास्तविक और नकली डेटा पर इसका परीक्षण किया। उन्होंने पाया कि एक प्रोसेस को चेक करने में प्रति ट्रेस लगभग 1.12 मिनट का समय लगा। सटीक होने के बावजूद, यह बिना एन्क्रिप्शन के जाँच करने की तुलना में बहुत धीमा है। "जादुई बॉक्स" (एन्क्रिप्शन) के लिए बहुत अधिक कंप्यूटर पावर और मेमोरी की आवश्यकता होती है।
दावों का सारांश
- उन्होंने क्या किया: उन्होंने एक ऐसा सिस्टम बनाया जो एक-दूसरे का डेटा देखे बिना यह जाँच सकता है कि एक प्रोसेस लॉग, प्रोसेस मॉडल से मेल खाता है या नहीं।
- उन्होंने कैसे किया: होमोमोरफिक एन्क्रिप्शन (Homomorphic Encryption) के साथ एक तेज़ टेक्स्ट-सर्च एल्गोरिदम (FM-Index) को जोड़कर।
- उन्होंने क्या पाया: यह काम करता है! आप सुरक्षित रूप से विसंगतियों (mismatches) की जाँच कर सकते हैं।
- सीमा (Limitation): यह वर्तमान में बहुत धीमा है और बहुत अधिक मेमोरी का उपयोग करता है क्योंकि एन्क्रिप्शन का गणित भारी है। यह अभी केवल "लॉग मूव्स" (लॉग में कदम छोड़ना) को संभालता है और "मॉडल मूव्स" (मॉडल में कदम छोड़ना) को नहीं, क्योंकि यह अभी तक सक्षम नहीं है।
संक्षेप में, यह पेपर साबित करता है कि आप एक-दूसरे की जानकारी प्रकट किए बिना एक गुप्त रेसिपी की एक गुप्त ऑर्डर से जाँच कर सकते हैं, लेकिन वर्तमान में गणित करने में काफी समय लगता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।