Bell-LaPadula model

Vikipediya saytından
Naviqasiyaya keç Axtarışa keç
Çap versiyası artıq dəstəklənmir və render xətaları ola bilər. Zəhmət olmasa brauzerinizi yeniləyin və əvəzinə standart brauzer çap funksiyasından istifadə edin.

Bell-LaPadula modeli təhlükəsizlik siyasətinin formal avtomat modelidir, girişin idarə edilməsi qaydaları çoxluğunu təsvir edir.

İş prinsipi

Bu modeldə sistemin komponentləri təhlükəsizlik obyektlərinə və subyektlərinə bölünür. Təhlükəsiz vəziyyət anlayışı daxil edilir və isbat edilir ki, əgər hər bir keçid təhlükəsiz vəziyyəti saxlayırsa (yəni sistemi bir təhlükəsiz vəziyyətdən digər təhlükəsiz vəziyyətə keçirirsə), onda induksiya prinsipinə görə sistem təhlükəsizdir.

Ədəbiyyat

  • İmamverdiyev Y. N, "İnformasiya təhlükəsizliyi terminlərinin izahlı lüğəti", 2015,"İnformasiya Texnologiyaları" nəşriyyatı,160 səh.