یک جزء استانداردشده نقطهٔ شروع بررسی است، نه گواهی برای تمام پیام‌رسان.
ML-KEM-768 به دو طرف کمک می‌کند یک راز مشترک برقرار کنند که سپس برای حفاظت از پیام‌ها استفاده شود. این تنها یکی از اجزای سامانهٔ پیام‌رسانی است، نه پروتکل کامل چت، الگوریتم رمزکردن پیام یا گواهی امن بودن برنامه.
NIST در ۱۳ اوت ۲۰۲۴ استاندارد FIPS 203 را منتشر کرد و ML-KEM و مجموعه‌پارامترهای ۵۱۲، ۷۶۸ و ۱۰۲۴ آن را استاندارد ساخت. امنیت آن‌ها بر مسائل مبتنی بر شبکه‌های ریاضی استوار است که گمان می‌رود در برابر حملات کوانتومی مقاوم باشند. «گمان می‌رود مقاوم باشد» یک فرض امنیتی پشتیبانی‌شده با تحلیل است، نه وعده‌ای مبنی بر ناممکن بودن هر ضعف آینده. NIST FIPS 203.
جایگاه KEM در گفت‌وگوی رمزنگاری‌شده
راهی مفید برای فهم یک ادعای رمزنگاری، دنبال کردن مسیر مواد کلید است:
- هویت طرف مورد نظر را احراز کنید. تبادل کلید با یک جعل‌کنندهٔ هویت، همچنان تبادل کلید با شخص اشتباه است.
- مواد محرمانهٔ مشترک را برقرار کنید. KEM از طریق کپسوله‌سازی و کپسوله‌گشایی یک راز فراهم می‌کند.
- کلیدها را برای کاربردهای مشخصشان مشتق کنید. تابع مشتق‌سازی کلید، مواد مورد استفادهٔ بخش‌های مختلف پروتکل را جدا می‌کند.
- پیام‌ها را رمزنگاری و اصالت‌سنجی کنید. طرح رمزنگاری اصالت‌سنجی‌شده از محتوا محافظت و تغییر غیرمجاز را شناسایی می‌کند.
- نشست را در طول زمان مدیریت کنید. چرخش و حذف کلید، تغییر دستگاه و بازیابی تعیین می‌کنند نفوذ بعدی چه چیزی را می‌تواند آشکار کند.
این مراحل توضیح می‌دهند چرا استانداردی برای مرحلهٔ دوم نمی‌تواند کل برنامه را اعتبارسنجی کند. پرسش‌های متداول پساکوانتومی NIST زمینهٔ لازم برای استقرار استانداردهای جدید را ارائه می‌کند.
چرا ML-KEM را با توافق کلید کلاسیک ترکیب کنیم؟
طراحی ترکیبی یک جزء پساکوانتومی را در کنار جزء کلاسیکی مانند دیفی–هلمن منحنی بیضوی به کار می‌گیرد. هدف این است که در دورهٔ گذار، وابستگی انحصاری به هیچ‌یک از دو مجموعه فرض ایجاد نشود.
ادعای امنیت مربوط به ترکیب‌گر و پروتکل کامل است، نه صرفاً فهرستی از دو الگوریتم. بررسی‌کنندگان باید بدانند کدام ورودی‌ها اصالت‌سنجی می‌شوند، چگونه کدگذاری و ترکیب می‌شوند، چه زمینه‌ای به فرایند مشتق‌سازی پیوند می‌خورد و هنگام شکست یک جزء چه رخ می‌دهد. چسباندن رازها به هم بدون ساختار مشخص، استدلال امنیتی نیست.
برای کاربران، پرسش عملی این نیست که «آیا صفحهٔ تنظیمات نوشته امن در برابر کوانتوم؟» بلکه این است: «کدام گفت‌وگوها و نسخه‌ها واقعاً از این ساختار استفاده می‌کنند و چه شواهدی از این گفته پشتیبانی می‌کند؟»
Livara چه چیزی را مستند می‌کند؟
مستندات امنیتی Livara نشست‌های گفت‌وگوی مستقیم LVR1 را با مواد P-256 کلاسیک و ML-KEM-768 و استفاده از AES-256-GCM برای محتوا توصیف می‌کند. گروه‌های خصوصی LGS1 به‌صورت زنجیره‌های فرستنده‌ای شرح داده می‌شوند که از طریق نشست‌های دونفرهٔ LVR1 توزیع می‌شوند. این‌ها لایه‌های متفاوتی هستند: یک پیام عادی گروه لزوماً برای هر گیرنده یک تبادل جدید ML-KEM انجام نمی‌دهد.
این مستندات را شرح توسعه‌دهنده بدانید. نام بردن از اجزای پایهٔ استانداردشده اثبات نمی‌کند ترکیب سفارشی Livara مستقلاً ممیزی شده یا هر بیلد نصب‌شده آن را درست پیاده‌سازی می‌کند. Proof Lab دامنهٔ نمایش مرورگری خود را صراحتاً محدود می‌کند: رچت‌های کامل LVR1/LGS1 را اجرا نمی‌کند و ممیزی پروتکل محسوب نمی‌شود.
حفاظت پساکوانتومی چه چیزهایی را پوشش نمی‌دهد؟
| پرسش | چرا ML-KEM به‌تنهایی پاسخ نمی‌دهد |
|---|---|
| آیا گیرنده می‌تواند پیام من را کپی کند؟ | گیرنده محتوای خوانا دریافت می‌کند. |
| آیا دستگاه من فاقد جاسوس‌افزار است؟ | یکپارچگی نقطهٔ پایانی فرض اعتماد جداگانه‌ای است. |
| آیا نسخه‌های پشتیبان محافظت می‌شوند؟ | کلیدهای پشتیبان و قواعد بازیابی به طراحی مستقل نیاز دارند. |
| آیا تغییر عضویت گروه امن است؟ | قواعد احراز هویت، عضویت و نوسازی کلید اهمیت دارند. |
| آیا سرویس فراداده نگه می‌دارد؟ | رمزنگاری محتوا خودکار مسیر یا زمان‌بندی را پنهان نمی‌کند. |
| آیا تماس مانند چت متنی محافظت می‌شود؟ | سیگنال‌دهی و رسانهٔ تماس ممکن است پروتکل‌های متفاوتی داشته باشند. |
مدل تهدید Livara نیز گفت‌وگوهای خصوصی را از کانال‌های عمومی جدا می‌کند و خطر افشا در سطح دستگاه را می‌پذیرد. ادعای مربوط به گفت‌وگوی مستقیم را به همهٔ بخش‌های محصول تعمیم ندهید.
چک‌لیست خریدار برای «پیام‌رسانی FIPS 203»
مجموعه‌پارامتر و نسخهٔ دقیق پروتکل، شرح احراز هویت طرف مقابل و ترکیب کلید، نسخه‌های کلاینت پشتیبانی‌شده، رفتار با کلاینت ناسازگار و آزمون‌ها یا یافته‌های بررسی مرتبط با پیاده‌سازی عرضه‌شده را بخواهید. اگر عرضه‌کننده ادعای اعتبارسنجی FIPS دارد، رکورد اعتبارسنجی مربوط و دامنهٔ آن را درخواست کنید. استفاده از الگوریتم توصیف‌شده در یک سند FIPS به‌خودی‌خود شاهد اعتبارسنجی محصول یا ماژول نیست.
از نام پارامتر دربارهٔ عمر باتری، توان عملیاتی یا پاسخ‌گویی برنامه نتیجه‌گیری نکنید. این موارد به اندازه‌گیری با دستگاه، بیلد و بار کاری مستند نیاز دارند.
تغییر مفید برای پیام‌رسانی، ابزار تازه‌ای برای محرمانگی بلندمدت است. ارزش آن به یکپارچه‌سازی، پیاده‌سازی و مرزهای عملیاتی بستگی دارد، نه جایگزین کردن یک برچسب بازاریابی با برچسبی دیگر.
