Formal validation of automated policy refinement in the management of network security systems (2010)
- Authors:
- Autor USP: PEREIRA, JOÃO PORTO DE ALBUQUERQUE - EACH
- Unidade: EACH
- DOI: 10.1007/s10207-010-0101-6
- Subjects: SEGURANÇA DE REDES; SISTEMAS DE INFORMAÇÃO; GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
- Language: Inglês
- Imprenta:
- Publisher place: Heidelberg
- Date published: 2010
- Source:
- Título: International Journal of Information Security
- ISSN: 1615-5262
- Volume/Número/Paginação/Ano: v. 9, n. 2, p. 99-125, apr. 2010
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 21 jan. 2026. -
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-6 -
NLM
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 2026 jan. 21 ] Available from: https://doi.org/10.1007/s10207-010-0101-6 -
Vancouver
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 2026 jan. 21 ] Available from: https://doi.org/10.1007/s10207-010-0101-6 - Flexibility in business process management: an actor-network theory approach
- Repensando a flexibilidade em projetos de gestão de processos de negócios: a abordagem sociotécnica da teoria ator-rede
- How volunteered geographic information can be integrated into emergency management practice?: First lessons learned from an urban fire simulation in the city of Coimbra
- oDMN: an integrated model to connect decision-making needs to emerging data sources in disaster management
- The use of heterogeneous geospatial big data for improving decision-making
- Mobile money and payment: a literature review based on academic and practitioner- oriented publications (2001-2011)
- The use of Volunteered Geographic Information and crowdsourcing in disaster management: a systematic literature review
- Crowdsourced validation and updating of dynamic features in OpenStreetMap: an analysis of Shelter mapping after the 2015 Nepal earthquake
- Scalable model-based configuration management of security services in complex enterprise networks
- The tension between business process modelling and flexibility: revealing multiple dimensions with a sociomaterial approach
Informações sobre o DOI: 10.1007/s10207-010-0101-6 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
