Source: International Journal of Information Security. Unidade: EACH
Subjects: SEGURANÇA DE REDES, SISTEMAS DE INFORMAÇÃO, GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBUQUERQUE, João Porto de e KRUMM, Heiko e GEUS, Paulo Lício. Formal validation of automated policy refinement in the management of network security systems. International Journal of Information Security, v. 9, n. 2, p. 99-125, 2010Tradução . . Disponível em: https://doi.org/10.1007/s10207-010-0101-6. Acesso em: 27 nov. 2025.APA
Albuquerque, J. P. de, Krumm, H., & Geus, P. L. (2010). Formal validation of automated policy refinement in the management of network security systems. International Journal of Information Security, 9( 2), 99-125. doi:10.1007/s10207-010-0101-6NLM
Albuquerque JP de, Krumm H, Geus PL. Formal validation of automated policy refinement in the management of network security systems [Internet]. International Journal of Information Security. 2010 ; 9( 2): 99-125.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10207-010-0101-6Vancouver
Albuquerque JP de, Krumm H, Geus PL. Formal validation of automated policy refinement in the management of network security systems [Internet]. International Journal of Information Security. 2010 ; 9( 2): 99-125.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10207-010-0101-6
