eBPF এর দুর্বলতা যা Specter 4 আক্রমণ সুরক্ষাকে বাইপাস করতে পারে

লিনাক্স কার্নেলে দুটি দুর্বলতা চিহ্নিত করা হয়েছে যা ইবিপিএফ সাবসিস্টেমকে স্পেকটার v4 আক্রমণের (এসএসবি, স্পেকুলেটিভ স্টোর বাইপাস) বিরুদ্ধে সুরক্ষা বাইপাস করার জন্য ব্যবহার করার অনুমতি দেয়। একটি সুবিধাবিহীন BPF প্রোগ্রাম ব্যবহার করে, একজন আক্রমণকারী নির্দিষ্ট ক্রিয়াকলাপগুলির অনুমানমূলক সম্পাদনের জন্য শর্ত তৈরি করতে পারে এবং কার্নেল মেমরির নির্বিচারে এলাকার বিষয়বস্তু নির্ধারণ করতে পারে। কার্নেলের ইবিপিএফ সাবসিস্টেমগুলির রক্ষণাবেক্ষণকারীরা একটি প্রোটোটাইপ শোষণে অ্যাক্সেস পেয়েছে যা অনুশীলনে আক্রমণ চালানোর ক্ষমতা প্রদর্শন করে। সমস্যাগুলি প্যাচ (1, 2) আকারে সংশোধন করা হয়েছে, যা পরবর্তী লিনাক্স কার্নেল আপডেটে অন্তর্ভুক্ত করা হবে। বিতরণ কিটগুলিতে আপডেটগুলি এখনও তৈরি করা হয়নি (ডেবিয়ান, আরএইচইএল, সুস, আর্চ, ফেডোরা, উবুন্টু)।

স্পেকটার 4 আক্রমণ পদ্ধতিটি পরোক্ষ ঠিকানা ব্যবহার করে বিকল্প লিখন এবং পড়ার অপারেশনগুলি প্রক্রিয়া করার সময় অপারেশনগুলির অনুমানমূলক কার্য সম্পাদনের ফলাফল বাতিল করার পরে প্রসেসর ক্যাশে সংরক্ষিত ডেটা পুনরুদ্ধারের উপর ভিত্তি করে। যখন একটি রিড অপারেশন একটি লেখার ক্রিয়াকলাপ অনুসরণ করে (যেমন, mov [rbx + rcx], 0x0; mov rax, [rdx + rsi]), তখন অনুরূপ ক্রিয়াকলাপ সম্পাদিত হওয়ার কারণে পঠিত ঠিকানার অফসেট ইতিমধ্যেই জানা যেতে পারে (পড়া অপারেশনগুলি হল অনেক বেশি ঘন ঘন সঞ্চালিত হয় এবং ক্যাশে থেকে রিডস সঞ্চালিত হতে পারে) এবং প্রসেসর অনুমানমূলকভাবে লেখার পূর্বে পঠন সম্পাদন করতে পারে লেখার পরোক্ষ অফসেট গণনা করার জন্য অপেক্ষা না করে।

যদি, অফসেট গণনা করার পরে, লেখা এবং পড়ার জন্য মেমরি অঞ্চলগুলির একটি ছেদ সনাক্ত করা হয়, প্রসেসর কেবল ইতিমধ্যে অনুমানমূলকভাবে প্রাপ্ত পঠিত ফলাফলটি বাতিল করবে এবং এই অপারেশনটি পুনরাবৃত্তি করবে। এই বৈশিষ্ট্যটি একটি পঠিত নির্দেশকে কোনো ঠিকানায় একটি পুরানো মান অ্যাক্সেস করার অনুমতি দেয় যখন স্টোর অপারেশন এখনও সম্পূর্ণ হয়নি। একটি অসফল অনুমানমূলক ক্রিয়াকলাপ বাতিল করার পরে, এর কার্য সম্পাদনের চিহ্নগুলি ক্যাশে থেকে যায়, যার পরে ক্যাশের বিষয়বস্তু নির্ধারণের পদ্ধতিগুলির মধ্যে একটি ক্যাশে এবং ক্যাশেড ডেটাতে অ্যাক্সেসের সময় পরিবর্তনের বিশ্লেষণের ভিত্তিতে এটি পুনরুদ্ধার করতে ব্যবহার করা যেতে পারে।

প্রথম দুর্বলতা (CVE-2021-35477) BPF প্রোগ্রাম যাচাইকরণ প্রক্রিয়ার ত্রুটির কারণে ঘটে। একটি Specter 4 আক্রমণ থেকে রক্ষা করার জন্য, যাচাইকারী সম্ভাব্য সমস্যাযুক্ত স্টোরের পরে একটি অতিরিক্ত নির্দেশ যোগ করে যা মেমরিতে একটি নাল মান সঞ্চয় করে যা পূর্বের অপারেশনের চিহ্নগুলিকে স্থানচ্যুত করে। রাইট নাল অপারেশনটি খুব দ্রুত হবে বলে আশা করা হয়েছিল এবং অনুমানমূলক এক্সিকিউশনকে ব্লক করবে কারণ এটি শুধুমাত্র BPF স্ট্যাক ফ্রেমের একটি পয়েন্টারের উপর নির্ভর করে। কিন্তু প্রকৃতপক্ষে, এটি এমন পরিস্থিতি তৈরি করা সম্ভব বলে প্রমাণিত হয়েছে যার অধীনে অনুমানমূলক মৃত্যুদন্ডের দিকে পরিচালিত একটি নির্দেশ প্রিম্পেটিভ স্টোর অপারেশনের আগে কার্যকর করা যেতে পারে।

দ্বিতীয় দুর্বলতা (CVE-2021-3455) এই কারণে যে যখন BPF যাচাইকারী সম্ভাব্য বিপজ্জনক মেমরি সংরক্ষণ ক্রিয়াকলাপগুলি সনাক্ত করে, তখন এটি BPF স্ট্যাকের অপ্রবর্তিত এলাকাগুলিকে বিবেচনায় নেয় না, প্রথম লেখার অপারেশন যা সুরক্ষিত নয়। এই বৈশিষ্ট্যটি স্টোরের নির্দেশ কার্যকর করার আগে একটি অপ্রচলিত মেমরি এলাকার উপর নির্ভর করে একটি অনুমানমূলক পঠন অপারেশন সম্পাদন করার সম্ভাবনার দিকে পরিচালিত করে। BPF স্ট্যাকের জন্য নতুন মেমরি বরাদ্দ করা হয় আগে থেকেই বরাদ্দ করা মেমরিতে থাকা বিষয়বস্তু পরীক্ষা না করেই, এবং BPF প্রোগ্রামটি মেমরি অঞ্চলের বিষয়বস্তুগুলিকে ম্যানিপুলেট করার আগে একটি উপায় আছে যা BPF স্ট্যাকের জন্য বরাদ্দ করা হবে।

উত্স: opennet.ru