Formal validation of automated policy refinement in the management of network security systems

• Autor(es): Geus, Paulo Lício
• Data: 2010
• Origem: Oasisbr
• Assunto(s): GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
• Tipo de Documento: Artigo científico
• Idioma: Inglês