Formal validation of automated policy refinement in the management of network security systems (2010)
- Authors:
- USP affiliated author: PEREIRA, JOÃO PORTO DE ALBUQUERQUE - EACH
- School: 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:
- Place of publication: Heidelberg
- Date published: 2010
- Source:
- Título do periódico: 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 assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
ALBUQUERQUE, João Porto de; KRUMM, Heiko; GEUS, Paulo Lício. Formal validation of automated policy refinement in the management of network security systems. International Journal of Information Security, Heidelberg, v. 9, n. 2, p. 99-125, 2010. Disponível em: < http://dx.doi.org/10.1007/s10207-010-0101-6 > DOI: 10.1007/s10207-010-0101-6. -
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.Available from: http://dx.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.Available from: http://dx.doi.org/10.1007/s10207-010-0101-6 - A software architecture to integrate sensor data and volunteered geographic information for flood risk management
- Proceedings of the International Conference on Information Systems for Crisis Response and Management
- Collaboration among humanitarian relief organizations and volunteer technical communities: identifying research opportunities and challenges through a systematic literature review
- Understanding the decision-making process in disaster risk monitoring and early-warning: a case study within a control room in Brazil
- Does the spatiotemporal distribution of tweets match the spatiotemporal distribution of flood phenomena ?: a study about the River Elbe Flood in June 2013
- The impact of urban inequalities on monitoring progress towards the sustainable development goals: Methodological considerations
- Towards a participatory methodology for community data generation to analyse urban health inequalities: a multi-country case study
- Determining flooded areas using crowd sensing data and weather radar precipitation: a case study in Brazil
- Implantação de um sistema integrado de gestão no modelo Software as a Service (SAAS): um estudo de caso em uma pequena empresa de engenharia
- Scalable model-based configuration management of security services in complex enterprise networks
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
