کتابخانهٔ پژوهش
سیزده سند OSAFIS نسخهٔ 2.0.0-draft.1؛ پیشنهادی پژوهشی برای توصیف و ارزیابی شکست‌های امنیتی در سامانه‌های هوشمند.
- ۰۱چشم‌انداز پژوهشی OSAFIS
OSAFIS بازنمایی مشترکی برای تحلیل شکست‌های امنیتی در سامانه‌های هوشمند پیشنهاد می‌کند. هدف آن پیوند دادن قرارداد امنیتیِ شکست‌خورده با جزء یا رابطهٔ درگیر…
- ۰۲مفاهیم بنیادی
OSAFIS واژگانی برای توصیف شکست‌های امنیتی در سامانه‌های هوشمند و شواهد لازم برای ارزیابی آن‌ها پیشنهاد می‌کند.
- ۰۳لایه‌های امنیتی
نُه شناسهٔ لایه در OSAFIS تحلیل را بر پایهٔ شیء، کارکرد یا رابطه‌ای سازمان می‌دهند که قرارداد امنیتی آن ممکن است بشکند.
- ۰۴خاصیت‌های امنیتی
خاصیت امنیتی نام تعهدی است که ارزیابی می‌تواند آن را برای یک شیء، کارکرد یا رابطهٔ حفاظت‌شده عینی کند.
- ۰۵مدل تهدید
این مدل تهدید توضیح می‌دهد که یک سامانهٔ هوشمند چگونه ممکن است یک خاصیت امنیتیِ مشخص را از راه اثرگذاری خصمانه، یا از راه شکستی مرتبط با امنیت و بدون حضور…
- ۰۶طبقه‌بندی حمله‌ها
طبقه‌بندیِ یک حمله باید توضیح دهد که مهاجم چه مداخله‌ای را آزموده، کدام قرارداد را به چالش کشیده و چه شواهدی مداخله را به اثر پیوند می‌دهد.
- ۰۷روش‌شناسی ارزیابی
این روش‌شناسی یک فرضیهٔ امنیتی را به ارزیابی‌ای محدود و بازتولیدپذیر تبدیل می‌کند. مصنوعات و قواعد تصمیمی را مشخص می‌کند که برای بررسی این امر به کار می‌روند…
- ۰۸پروفایل‌های حوزه‌ای
پروفایل حوزه‌ای مشخص می‌کند که چارچوب چگونه بر رده‌ای محدود از استقرارها اعمال می‌شود. واژگان تحلیلی می‌تواند میان سامانه‌ها مشترک باشد، در حالی که اختیار…
- ۰۹رجیستری آسیب‌پذیری
رجیستری ادعاها، شواهد، تصمیم‌ها و تاریخچهٔ بازنگری آن‌ها را ثبت می‌کند. ثبت شدن در رجیستری اعتبار یا به‌رسمیت‌شناخته‌شدن در چارچوب را ثابت نمی‌کند.
- ۱۰رابطهٔ OSAFIS با چارچوب‌های موجود
OSAFIS باید با منابع جاافتادهٔ امنیت هوش مصنوعی هم‌کنش‌پذیر باشد. سهم پیشنهادی آن، بازنمایی‌ای قراردادمحور است که یک یافته را به حوزه‌های تحلیلی، روابط واقعی…
- ۱۱نسخه‌گذاری و شناسه‌های OSAFIS
قالب پیشنهادی MAJOR.MINOR.PATCH همراه با پسوندی اختیاری برای پیش‌انتشار است. بازنگریِ MAJOR تفسیر یا تعهداتِ طبقه‌بندیِ موارد موجود را تغییر می‌دهد؛ برای…
- ۱۲آینده و سامانه‌های خودمختار
OSAFIS باید سودمند بماند، حتی وقتی سامانه‌ای هوشمند به‌صورت برخط یاد می‌گیرد، قواعد اجرایی‌اش را تغییر می‌دهد، محیطی دیجیتال را مشاهده می‌کند، تجهیزات فیزیکی…
- ۱۳مثال‌های آموزشی
هر دوازده موردِ زیر فرضی و اجرانشده‌اند. این موارد نه یافته‌هایی اعتبارسنجی‌شده‌اند و نه مدخل‌هایی در رجیستری. شناسه‌های آن‌ها ارجاع‌هایی محلی برای آموزش‌اند.