REAKTIV KIBERTIZIMLAR XAVFSIZLIGINI FORMAL MODELLASHTIRISH VA VERIFIKATSIYA QILISHNING PROGNOSTIK METODOLOGIYASI
Imamaliyev Aybek TurapbayevichMuhammad al-Xorazmiy nomidagi Toshkent axborot texnologiyalari universiteti dotsenti
Zenodo (CERN European Organization for Nuclear Research)repository2026
ABI
Annotatsiya
Ushbu tezisda zamonaviy murakkab va reaktiv axborot tizimlarida foydalanishni boshqarish (Access Control) siyosatining matematik modellarini qurish hamda loyihalash bosqichidayoq mantiqiy xatoliklarni formal aniqlash mexanizmlari tadqiq etiladi. Tizim holatlarini Kripke tuzilmasi shaklida tavsiflash hamda xavfsizlik va jonlilik (Safety & Liveness) xossalarini LTL va CTL vaqt mantiqlari yordamida verifikatsiya qilish (Model Checking) yondashuvi mantiqiy-matematik tahlil qilingan.
Hali tarjima qilinmagan
Identifikatorlar
Iqtiboslar va manbalar
0 ta iqtibos0 ta foydalanilgan manba