Formal validation of automated policy refinement in the management of network security systems
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de GeusVolume:
9
Language:
english
Pages:
27
DOI:
10.1007/s10207-010-0101-6
Date:
April, 2010
File:
PDF, 903 KB
english, 2010