Self-contained, piccolo insieme di istruzioni chiave di sicurezza che funziona come parte di un sistema operativo, specificando e far rispettare, i criteri che devono essere soddisfatte per programmi e dati per l'accesso privilegiata.