Een wiskundig nauwkeurige verklaring van een veiligheidsbeleid. Om voldoende precies te zijn een dergelijk model moet vertegenwoordigen de oorspronkelijke staat van een systeem, de manier waarop het systeem van de ene staat naar de andere, en een definitie van een "veilige" toestand van het systeem vordert.