Neformální bezpečnostní politika

Popis přirozeného jazyka, případně doplněný matematickými argumenty, prokazující korespondenci funkční specifikace s vysokou úrovní designu.

Použito v metodice