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 görə sistem təhlükəsizdir.

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