語意模型檢查

在討論檔案系統及安全性時，我們會區分檔案系統所進行的檢查，這些檢查是其語意模型的一部分，例如共用檔案存取或特殊檔案屬性，以及檔案系統所進行的檢查，這些檢查是檔案安全資訊的一部分。本節著重於遵守語意模型所需的檢查。稍後的章節會討論檔案系統所需的特定步驟，以執行檔案系統安全資訊原則特有的安全檢查。

本節包含下列主題：