Tłumaczenie Formal Security Policy Model to Formalny Model Polityki Bezpieczeństwa.
Co to jest Formal Security Policy Model?
Matematycznie precyzyjne określenie polityki bezpieczeństwa. Aby być odpowiednio precyzyjnym, taki model musi reprezentować stan początkowy systemu, sposób, w jaki system przechodzi z jednego stanu do drugiego oraz definicję „bezpiecznego” stanu systemu. Aby model był akceptowalny jako podstawa dla TCB (Trusted Computing Base), model musi być poparty formalnym dowodem, że jeśli stan początkowy systemu spełnia definicję stanu „bezpiecznego” i jeśli wszystkie założenia wymagane przez model są spełnione, wtedy wszystkie przyszłe stany systemu będą bezpieczne.
Niektóre formalne techniki modelowania obejmują modele przejść między stanami, denotacyjne modele semantyki i modele specyfikacji algebraicznej. Zobacz: Model Bell-La Padula i Security Policy Model.
Skrót: –
Dodaj komentarz