นโยบายการรักษาความปลอดภัยคอมพิวเตอร์ที่อธิบายชุดของกฎการควบคุมการเข้าถึงแบบจำลองการเปลี่ยนสถานะอย่างเป็นทางการ