Uma especificação que define regras sobre como os objetos são usados para manter a segurança em um sistema de computador e objetos de dados de segurança.