تحلیل کیفی مدل های اعتماد در هم طراحی سخت افزار-نرم افزار مبتنی بر معماری RISC-V

این مقاله به واکاوی کیفی مدل های اعتمادسازی در فریم ورک های هم طراحی سخت افزار و نرم افزار مبتنی بر پلتفرم محاسباتی RISC-V اختصاص یافته و چالش اصلی خود را بر معیارسنجی پایداری امنیتی در سامانه های حیاتی ممیزی پذیر در مواجهه با مخاطرات مجراهای فرعی استوار ساخته است. گزاره بنیادین پژوهش حاضر بر این اصل صراحت دارد که ویژگی متن باز بودن، انطباق با مشخصات استاندارد دستورالعمل یا موفقیت در متدولوژی های سنتی تصدیق کارکردی هرگز ما به ازایی متقن جهت تضمین پایداری سیستم نخواهند بود. در اکوسیستم های مبتنی بر این معماری پارامتر اعتماد هویتی توزیع شده دارد که در پیوند میان ساختار فرامین لایه ریز معماری، زنجیره ابزارهای توسعه، ماژول های سفارشی، میان افزارها، محیط های اجرای امن، هسته های شتاب دهنده و فرآیندهای زنجیره تامین متبلور می شود. این تحقیق با اتکا به رویکرد کیفی، واکاوی مضمونی و استدلال منطقی سخت گیرانه نشان می دهد که حملات کانال جانبی غالبا نه از نقص منفرد یک المان بلکه از عدم هماهنگی میان مفروضات انتزاعی نرم افزار، رفتارهای واقعی لایه سخت افزار و مرزهای مشاهده پذیری نفوذگر در زمان اجرای فیزیکی سیستم نشئت می گیرند. برآیند این تحلیل اثبات می کند که راستی آزمایی عملکرد منطقی سیستم برای نیل به مصونیت جامع نارسایی داشته و الزامات صیانتی باید با مدل سازی نشت سیگنال، تبیین قراردادهای صریح امنیت کانال جانبی، پایش رفتارهای پویای ریز معماری، سخت سازی محیط ران تایم و ممیزی های دقیق زنجیره تامین تکمیل گردد. دستاورد راهبردی این مکتوب تدوین فریم ورکی مفهومی جهت استقرار مدل اعتماد کانال جانبی آگاه در لایه های حساس RISC-V است که پایداری سیستم را ویژگی چندبعدی شواهد بنیاد و منوط به مهندسی مسئولانه از مبدا طراحی قلمداد می کند.

کلیدواژه ها:

RISC-V ، مدل اعتمادسازی ، مخاطرات کانال جانبی ، هم طراحی سخت افزار و نرم افزار ، تصدیق اصالت امنیتی