Verificações de modelo semântico

Ao discutir sistemas de arquivos e segurança, distinguimos entre as verificações que o sistema de arquivos faz que fazem parte de seu modelo semântico, como acesso a arquivos compartilhados ou atributos de arquivo especiais, e as verificações que o sistema de arquivos faz que fazem parte das informações de segurança do arquivo. Esta seção se concentra nas verificações necessárias para cumprir o modelo semântico. Uma seção posterior discute as etapas específicas necessárias para um sistema de arquivos executar verificações de segurança específicas para as diretivas de informações de segurança do sistema de arquivos.

Esta seção inclui os seguintes tópicos:

Criar processamento

Excluir ao fechar

Imagens executáveis

Renomear e processar links rígidos

Definir processamento de informações do ficheiro

Nem operações de E/S

Processamento de controle do sistema de arquivos

Validação de Mídia