Қауіпсіз күй - Secure state

A қауіпсіз мемлекет болып табылады ақпараттық жүйелер қауіпсіздік а. объектілерді сипаттайтын термин компьютерлік жүйе субъектілері мен объектілеріне бөлінеді және әрбір күйдің ауысуы қауіпсіздіктің қауіпсіз жағдайдан қауіпсіз мемлекетке ауысуы арқылы қауіпсіздікті сақтайтынын ресми түрде дәлелдеуге болады. Сол арқылы болуы мүмкін индуктивті жүйенің қауіпсіз екендігі дәлелденді. Анықталғандай Bell-LaPadula моделі, қауіпсіз мемлекет а тұжырымдамасына негізделген мемлекеттік машина жүйеде рұқсат етілген күйлер жиынтығымен. Бір күйден екінші күйге өту ауысу функцияларымен анықталады.

Жүйе күйі «қауіпсіз» деп анықталады, егер объектілерге объектілерге рұқсат етілген жалғыз рұқсат режимі a сәйкес болса қауіпсіздік саясаты.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  • Фиш, Эрик А .; Ақ, Григорий Б. (2000), Қауіпсіз компьютерлер мен желілер: талдау, жобалау және енгізу, Boca Raton: CRC Press, 39-42 бет, ISBN  9780849318689, OCLC  849972357, алынды 13 наурыз 2018