Mənası: Təhlükəsizlik siyasətinin formal modeli − təhlükəsizlik siyasətinin ciddi riyazi təsviri. Sistemin başlanğıc vəziyyətinin təsvirini, sistemin bir vəziyyətdən digərinə keçid qaydalarını və sistemin icazə verilən vəziyyətlər çoxluğunu müəyyən edir.
Tərif
Formal Security Policy Model, kompüter sistemlərinin təhlükəsizlik siyasətlərini riyazi dillər və məntiq vasitələri ilə dəqiq ifadə etmək üçün istifadə olunan bir yanaşmadır. Bu yanaşma, təhlükəsizlik siyasətinin qeyri-müəyyən və qeyri-dəqiq təsvirlərinin qarşısını alır və sistemin təhlükəsizliyinin riyazi olaraq təsdiqlənməsinə imkan yaradır. Model, sistemin müxtəlif vəziyyətlərini, həmçinin bu vəziyyətlər arasında keçidləri formal olaraq təsvir edir. Bu təsvir vasitəsilə, siyasətin tamlığını, ardıcıllığını və düzgünlüyünü yoxlamaq mümkündür.
İstifadə Sahələri
- İnformasiya Təhlükəsizliyi: Sistemlərin müdafiəsini və təhlükəsizlik siyasətlərinin dizaynını yaxşılaşdırmaq üçün istifadə olunur.
- Kompüter Elmləri: Sistemlərin təhlükəsizliyinin riyazi təhlilinə imkan verir.
- Kriptoqrafiya: Kriptoqrafik protokolların təhlükəsizliyinin təhlili və təsdiqi üçün tətbiq olunur.
- Proqram Mühəndisliyi: Təhlükəsiz proqram sistemlərinin dizaynı və təhlili üçün əsas təmin edir.
Əlaqəli Terminlər
- Təhlükəsizlik Siyasəti
- Riyazi Məntiq
- Formal Modelləşdirmə
- Sistem Təhlili
- Təhlükəsizlik Audit