Zabezpečený stav - Secure state

A bezpečný stav je informační systémy bezpečnostní termín popisující, kde entity v a počítačový systém jsou rozděleny na předměty a objekty a lze formálně dokázat, že každý přechod státu zachovává bezpečnost přechodem z jednoho zabezpečeného stavu do jiného zabezpečeného stavu. Tím to může být indukčně prokázáno, že je systém bezpečný. Jak je definováno v Bell – LaPadula model, zabezpečený stav je postaven na konceptu a státní stroj se sadou povolených stavů v systému. Přechod z jednoho stavu do druhého je definován přechodovými funkcemi.

Stav systému je definován jako „bezpečný“, pokud jsou jediné povolené režimy přístupu subjektů k objektům v souladu s a pravidla bezpečnosti.

Viz také

• Bell – LaPadula model
• TCSEC - Oranžová kniha

Reference