งบ mathematically ชัดเจนของนโยบายความปลอดภัย จะยิ่งชัดเจนขึ้น รูปแบบดังกล่าวต้องแสดงถึงสถานะเริ่มต้นของระบบ วิธีการระบบดำเนินจากสถานะหนึ่งไปยังอีก คำจำกัดความของระบบรัฐ "ปลอดภัย"