SHA-3 एल्गोरिथम के मुख्य कार्यान्वयन के साथ लाइब्रेरी में भेद्यता

XKCP पैकेज (एक्सटेंडेड केकैक कोड पैकेज) में पेश किए गए SHA-3 (केकैक) क्रिप्टोग्राफ़िक हैश फ़ंक्शन के कार्यान्वयन में एक भेद्यता (सीवीई-2022-37454) की पहचान की गई है, जो कुछ डेटा को संसाधित करते समय बफर ओवरफ़्लो का कारण बन सकती है। समस्या SHA-3 के विशिष्ट कार्यान्वयन के कोड में एक बग के कारण होती है, न कि एल्गोरिथम में किसी भेद्यता के कारण। XKCP पैकेज को SHA-3 के आधिकारिक कार्यान्वयन के रूप में जाना जाता है, जिसे केकक विकास टीम के इनपुट के साथ विकसित किया गया है, और विभिन्न प्रोग्रामिंग भाषाओं में SHA-3 कार्यों के लिए आधार के रूप में उपयोग किया जाता है (उदाहरण के लिए, XKCP कोड का उपयोग पायथन हैशलिब में किया जाता है) मॉड्यूल, रूबी डाइजेस्ट पैकेज sha3 और PHP हैश_* फ़ंक्शन)।

समस्या की पहचान करने वाले शोधकर्ता के अनुसार, वह हैश फ़ंक्शन के क्रिप्टोग्राफ़िक गुणों का उल्लंघन करने और पहली और दूसरी प्रीइमेज ढूंढने के साथ-साथ टकराव का पता लगाने के लिए भेद्यता का उपयोग करने में सक्षम था। इसके अलावा, यह घोषणा की गई थी कि एक प्रोटोटाइप शोषण बनाया जाएगा जो विशेष रूप से डिज़ाइन की गई फ़ाइल के हैश की गणना करते समय कोड को निष्पादित करने की अनुमति देगा। भेद्यता का उपयोग संभावित रूप से SHA-3 (उदाहरण के लिए, Ed448) का उपयोग करने वाले डिजिटल हस्ताक्षर सत्यापन एल्गोरिदम पर हमला करने के लिए भी किया जा सकता है। हर जगह से भेद्यता समाप्त हो जाने के बाद, हमले के तरीकों का विवरण बाद में प्रकाशित करने की योजना है।

यह अभी तक स्पष्ट नहीं है कि व्यवहार में भेद्यता मौजूदा अनुप्रयोगों को कितना प्रभावित करती है, क्योंकि समस्या को कोड में प्रकट करने के लिए, ब्लॉकों में चक्रीय हैश गणना का उपयोग किया जाना चाहिए और संसाधित ब्लॉकों में से एक का आकार लगभग 4 जीबी होना चाहिए (कम से कम) 2^32 - 200 बाइट्स)। इनपुट डेटा को एक साथ संसाधित करते समय (भागों में क्रमिक रूप से हैश की गणना किए बिना), समस्या प्रकट नहीं होती है। सुरक्षा की सबसे सरल विधि के रूप में, हैश गणना के एक पुनरावृत्ति में शामिल डेटा के अधिकतम आकार को सीमित करने का प्रस्ताव है।

भेद्यता इनपुट डेटा की ब्लॉक प्रोसेसिंग में त्रुटि के कारण होती है। प्रकार "int" के साथ मानों की गलत तुलना के कारण, लंबित डेटा का गलत आकार निर्धारित होता है, जिसके कारण आवंटित बफर से परे टेल लिखा जाता है। विशेष रूप से, तुलना में "आंशिकब्लॉक + इंस्टेंस->बाइटआईओइंडेक्स" अभिव्यक्ति का उपयोग किया गया, जिसके कारण घटक भागों के बड़े मूल्यों के लिए पूर्णांक अतिप्रवाह हुआ। इसके अतिरिक्त, कोड में एक गलत प्रकार का कास्ट "(unsigned int)(dataByteLen - i)" था, जिसके कारण 64-बिट size_t प्रकार वाले सिस्टम पर ओवरफ्लो हो गया।

उदाहरण कोड जो अतिप्रवाह का कारण बनता है: आयात हैशलिब एच = हैशलिब.शा3_224() एम1 = बी"\x00" * 1; m2 = b"\x00″ * 4294967295; h.update(m1) h.update(m2) print(h.hexdigest())

स्रोत: opennet.ru