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
Abstract
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.
Identifiers
Citations and references
Cited by 00 references