Formal Security Policy Model

Formalny Model Polityki Bezpieczeństwa.

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:

0 0 votes
Ocena artykułu
Subscribe
Powiadom o
guest
0 komentarzy
Inline Feedbacks
View all comments
0
Zależy mi na Twojej opinii poniżej 😀x