Μαθηματικά ακριβής δήλωση μιας πολιτικής ασφαλείας. Να είναι επαρκώς ακριβείς, ένα τέτοιο μοντέλο πρέπει να αντιπροσωπεύουν την αρχική κατάσταση ενός συστήματος, ο τρόπος που το σύστημα προχωρεί από το ένα κράτος στο άλλο, και έναν ορισμό του «ασφαλή» κατάσταση του συστήματος.