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

• Author(s): Geus, Paulo Lício
• Date: 2010
• Origin: Oasisbr
• Subject(s): GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
• Document Type: Journal article
• Language: English