@article{articlee30afe56, title = {Formal validation of automated policy refinement in the management of network security systems}, author = {Albuquerque, João Porto de and Krumm, Heiko and Geus, Paulo Lício}, year = {2010}, doi = {10.1007/s10207-010-0101-6}, journal = {International Journal of Information Security} }