محاسبات ابری محرمانه؛ امنیت اطلاعات حساس در فضای ابری

سه گانه امنیت داده‌ها و چالش تسخیرناپذیر «داده در حال پردازش»

در مهندسی امنیت اطلاعات، داده‌ها همواره در سه حالت بنیادین مورد محافظت قرار می‌گیرند: «داده در حال انتقال» (Data in Transit) با پروتکل‌های مدرن نظیر TLS 1.3 و QUIC، و «داده در حالت سکون» (Data at Rest) با رمزنگاری‌های قدرتمند AES-256 در دیسک‌ها. با این حال، پاشنه آشیل تاریخی امنیت اطلاعات، حالت سوم یعنی «داده در حال پردازش» (Data in Use) بوده است. به محض اینکه داده‌ها از دیسک خوانده شده و برای پردازش به حافظه رم (RAM) و رجیسترهای پردازنده منتقل می‌شدند، رمزگشایی گشته و در برابر دسترسی ادمین‌های سرور، کدهای مخرب کرنل، حملات پهلو-کانالی (Side-Channel) و باگ‌های هایپروایزر به شدت آسیب‌پذیر می‌شدند.

در عصر دوران کنونی با استقرار بارهای کاری عظیم مدل‌های زبانی سازمانی، سوابق بهداشتی حساس بیماران و مدل‌های تحلیل ریسک مالی بر روی ابرهای عمومی، سازمان‌ها دیگر نمی‌توانند به اعتماد کورکورانه به اپراتورهای دیتاسنتر بسنده کنند. اینجا نقطه‌ای است که پارادایم «محاسبات محرمانه» (Confidential Computing) با تکیه بر محیط‌های اجرای مورد اعتماد (TEE) به یک ضرورت اجتناب‌ناپذیر زیرساختی تبدیل شده است.

همان‌طور که در معماری شبکه شاهد مهاجرت به سمت معماری ریزخدمات eBPF و شبکه‌های ابری کانتینری بدون Sidecar بودیم تا سربار و لایه‌های اضافی ترافیک حذف شوند، در سطح محاسبات ماشین‌های مجازی نیز نیاز به یک معماری حداقلی، سریع و کاملاً ایزوله برای حذف سربارهای سنگین سیستم‌عامل‌های عمومی احساس شد.

ظهور یونی‌کرنل‌های Rust؛ مرگ سیستم‌عامل‌های حجیم در پردازش ابری

برای بیش از سه دهه، اجرای یک سرویس ساده وب یا تابع بدون سرور (Serverless) در بستر ابر مستلزم راه‌اندازی یک سیستم‌عامل کامل لینوکس (مانند اوبونتو یا دبیان) شامل صدها هزار خط کد کرنل، درایورهای سخت‌افزاری نامربوط، پکیج‌های بی‌استفاده و شل‌های تعاملی بود. هر خط از این کدهای اضافی، سطحی بالقوه برای نفوذ هکرها و آسیب‌پذیری‌های روز-صفر (Zero-Day) ایجاد می‌کرد.

امروزه مهندسان سیستم با اقتباس از زبان برنامه‌نویسی ایمن Rust، مفهوم «یونی‌کرنل» (Unikernel) را به بلوغ رسانده‌اند. یونی‌کرنل در واقع یک ایمیج باینری فوق فشرده (غالباً کمتر از ۵ مگابایت) است که در آن کد برنامه تجاری، کتابخانه‌های مورد نیاز، و یک زیرمجموعه مینیاتوری از سرویس‌های هسته مستقیماً در یک فضای آدرس‌دهی منفرد (Single Address Space) به یکدیگر کامپایل می‌شوند. در این ساختار، هیچ خط فرمان لینوکسی، هیچ دسترسی روت (Root)، و هیچ سوئیچ پرهزینه میان فضای کاربر (User Space) و فضای کرنل (Kernel Space) وجود ندارد.

استفاده از کامپایلر Rust تضمین می‌کند که تمامی خطاها و خطرات سرریز بافر، رقابت داده‌ها در حافظه (Data Races) و اشاره‌گرهای معلق، پیش از تولید باینری و در مرحله کامپایل شناسایی و رفع شوند؛ فلسفه‌ای که کارایی آن در پروژه‌های پردازش سنگین داده نظیر موتورهای تحلیلی نهفته با Apache DataFusion و Rust نیز پیش‌تر به اثبات رسیده بود.

پروتکل CXL 3.1 و اشتراک‌گذاری امن استخرهای حافظه در مقیاس رک

چالش بزرگ محاسبات محرمانه در نسل‌های قبلی، محدود بودن انکلاوهای رمزنگاری به تراشه‌های محلی یک سرور منفرد بود؛ امری که مقیاس‌پذیری بارهای کاری هوش مصنوعی چندنودی را ناممکن می‌ساخت. اما امروزه همگرایی TEEها با نسخه جدید پروتکل اتصال اکسپرس (Compute Express Link یا CXL 3.1) این محدودیت فیزیکی را از میان برداشته است.

استاندارد CXL 3.1 که بر بستر سخت‌افزاری PCIe 6.0 و با نرخ تبادل ۶۴ گیگاترنسفر در ثانیه عمل می‌کند، اجازه می‌دهد چندین سرور در یک رک به یک استخر حافظه اشتراکی عظیم (Shared Memory Pool) با پروتکل‌های CXL.mem و CXL.cache با تأخیر کمتر از ۱۰۰ نانوثانیه متصل شوند. نوآوری محوری در این نسخه، افزوده شدن پروتکل امنیت جامع حافظه (CXL-IDE) است که تمامی تراکنش‌های خواندن و نوشتن روی گذرگاه را به صورت سخت‌افزاری و برخط با الگوریتم AES-GCM-256 رمزنگاری می‌کند.

بدین ترتیب، داده‌های فوق محرمانه مربوط به پیش‌بینی مدل‌های شناختی مانند معماری‌های ترکیبی ترنسفورمر-مامبا و مدل‌های SSM می‌توانند در یک فضای حافظه مشترک میان ده‌ها نود پردازشی توزیع شوند، بدون اینکه خطر شنود فیزیکی پین‌های حافظه یا دسترسی غیرمجاز سایر مستأجران کلود به این داده‌ها وجود داشته باشد.

یکپارچگی انکلاوهای پردازنده با AMD SEV-SNP و Intel TDX

در سطح پردازنده‌های مرکزی سرورها، دو فناوری رقیب AMD SEV-SNP (Secure Encrypted Virtualization-Secure Nested Paging) و Intel TDX (Trust Domain Extensions) در تراشه‌های دوران کنونی به تکامل کامل رسیده‌اند. این معماری‌ها مفهوم «دامنه‌های اعتماد» (Trust Domains) را پیاده‌سازی می‌کنند که در آن حافظه رم اختصاص‌یافته به یونی‌کرنل توسط کلیدهای سخت‌افزاری تزریق‌شده به کنترلر حافظه رمزگذاری می‌گردد.

ویژگی تفکیک‌پذیری تودرتو مانع از حملات دستکاری جداول صفحات حافظه توسط هایپروایزر متخاصم (Malicious Hypervisor) می‌شود. پیش از بارگذاری هر بایت کد، یک ماژول سخت‌افزاری با عنوان Root of Trust گواهی دیجیتال رمزنگاری‌شده‌ای از وضعیت حافظه و سلامت کدهای یونی‌کرنل تولید می‌کند (Remote Attestation). مشتری یا کلاینت راه دور تنها پس از اعتبارسنجی ریاضیاتی این امضا، داده‌های رمزگذاری‌شده خود را جهت پردازش ارسال می‌نماید.

این فرآیند شباهت ساختاری عمیقی با انزوای بدون کانتینر در معماری مؤلفه‌ای وب‌اسمبلی Wasm Component Model دارد؛ با این تفاوت که در یونی‌کرنل‌های محرمانه، انزوا مستقیماً در پایین‌ترین سطح سیلیکون و با شتاب‌دهنده‌های سخت‌افزاری تضمین می‌گردد.

جعبه‌ابزار مهندسی دوران کنونی راه‌اندازی و دیپلوی بارهای کاری محرمانه

برای معماران زیرساخت و توسعه‌دهندگان بک‌اند امروزه اکوسیستم متن‌باز ابزارهای غنی و استانداردی برای پیاده‌سازی این پارادایم فراهم کرده است:

۱. فریم‌ورک HermitCore-Rust: محیط توسعه یونی‌کرنل بازمتن برای زبان Rust که مستقیماً کدهای بدون سیستم‌عامل (no_std) را به ایمیج‌های قابل بوت در بستر KVM و QEMU تبدیل می‌کند و زمان بوت را به کمتر از ۱۰ میلی‌ثانیه می‌رساند.

۲. ابزار انکلاوساز Gramine-TDX نوین: لایه سازگاری مدرن که اجازه می‌دهد اپلیکیشن‌های پیچیده بدون نیاز به تغییر کد در انکلاوهای امنیتی Intel TDX و AMD SEV-SNP با کمترین افت کارایی (زیر ۳ درصد) اجرا شوند.

۳. درایورهای اشتراک حافظه Linux CXL Fabric: ماژول‌های کرنل بهینه‌شده برای مدیریت ناهمگام استخرهای حافظه CXL 3.1 و تخصیص مستقیم بافرهای رمزنگاری‌شده به محیط‌های کانتینری و ماشین‌های مجازی محرمانه.

۴. پلتفرم گواهی‌سنجی هوشمند Enarx 3.0: ابزار ارزیابی خودکار شواهد سخت‌افزاری (Attestation Verification) که به عنوان درگاه ورودی در خطوط CI/CD قرار گرفته و از استقرار کدها بر روی ماشین‌های دستکاری‌شده ممانعت می‌ورزد.

نتیجه‌گیری؛ گذار به ابر صفر-اعتماد و بازتعریف مالکیت داده‌ها در قرن بیست‌ویک

پیوند مبارک میان یونی‌کرنل‌های نفوذناپذیر Rust، پروتکل حافظه مشترک CXL 3.1 و انکلاوهای پیشرفته سخت‌افزاری امروزه پارادایم محاسبات ابری را به معنای واقعی کلمه دگرگون کرده است. دیگر مفهوم «ابر یعنی کامپیوتر شخص دیگر» متضمن پذیرش ریسک‌های امنیتی نیست؛ چرا که حتی اگر متخاصم‌ترین بازیگران به سخت‌افزار فیزیکی سرور یا سورس هایپروایزر دسترسی داشته باشند، داده‌های رم همچون رشته‌ای از اعداد تصادفی و غیرقابل رمزگشایی باقی خواهند ماند.

این پیشرفت بنیادین راه را برای شکل‌گیری بازارهای تبادل داده‌های پزشکی، آموزش مشترک مدل‌های هوش مصنوعی میان رقبای تجاری بدون افشای داده‌های خام، و تمرکززدایی عمیق در صنایع مالی هموار کرده است. در جهان فردا، امنیت نه یک تدبیر نرم‌افزاری واکنشی، بلکه خصلت ذاتی و فیزیکی محاسبات است.