REAKTIV KIBERTIZIMLAR XAVFSIZLIGINI FORMAL MODELLASHTIRISH VA VERIFIKATSIYA QILISHNING PROGNOSTIK METODOLOGIYASI

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.