Formální bezpečnostní politika

Matematicky přesné prohlášení o bezpečnostní politice.

Použito v metodice