Eine mathematisch genaue Anweisung einer Sicherheitspolitik. , Ausreichend genau zu sein, ein solches Modell muss den anfänglichen Zustand eines Systems, die Art und Weise, in denen schreitet das System von einem Zustand in einen anderen, und eine Definition des Begriffs "sicheren" Stand des Systems, darstellen.