Verificações de modelo semântico

Ao discutir sistemas de arquivos e segurança, distinguemos entre essas 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 essas 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 etapas específicas necessárias por um sistema de arquivos para executar verificações de segurança específicas às políticas de informações de segurança do sistema de arquivos.

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

Iniciar processamento

Excluir ao fechar

Imagens executáveis

Renomear e processamento de vínculo rígido

Definir processamento de informações de arquivo

Nenhuma das operações de E/S

Processamento de controle do sistema de arquivos

Validação de mídia