Semantiska modellkontroller

När vi diskuterar filsystem och säkerhet skiljer vi mellan de kontroller som filsystemet gör som ingår i dess semantiska modell, till exempel delad filåtkomst eller särskilda filattribut, och de kontroller som filsystemet gör som ingår i säkerhetsinformationen i filen. Det här avsnittet fokuserar på kontroller som behövs för att följa semantikmodellen. I ett senare avsnitt beskrivs specifika steg som krävs av ett filsystem för att utföra säkerhetskontroller som är specifika för filsystemets säkerhetsinformationsprinciper.

Det här avsnittet innehåller följande avsnitt:

Skapa process

Ta bort vid stängning

Körbara avbildningar

Omdöpning och bearbetning av hårdlänkar

Ange filinformationsbearbetning

Varken I/O-åtgärder

Bearbetning av filsystemkontroll

Medieverifiering