%0 Journal Article %1 journals/ijisec/AlbuquerqueKG10 %A de Albuquerque, João Porto %A Krumm, Heiko %A de Geus, Paulo Lício %D 2010 %J Int. J. Inf. Sec. %K dblp %N 2 %P 99-125 %T Formal validation of automated policy refinement in the management of network security systems. %U http://dblp.uni-trier.de/db/journals/ijisec/ijisec9.html#AlbuquerqueKG10 %V 9

@article{journals/ijisec/AlbuquerqueKG10, added-at = {2019-10-19T00:00:00.000+0200}, author = {de Albuquerque, João Porto and Krumm, Heiko and de Geus, Paulo Lício}, biburl = {https://www.bibsonomy.org/bibtex/2de222db67e400a029aca6cbb06ca3d2d/dblp}, ee = {https://doi.org/10.1007/s10207-010-0101-6}, interhash = {7084880e2f80615376981350f6514d24}, intrahash = {de222db67e400a029aca6cbb06ca3d2d}, journal = {Int. J. Inf. Sec.}, keywords = {dblp}, number = 2, pages = {99-125}, timestamp = {2019-10-22T11:45:46.000+0200}, title = {Formal validation of automated policy refinement in the management of network security systems.}, url = {http://dblp.uni-trier.de/db/journals/ijisec/ijisec9.html#AlbuquerqueKG10}, volume = 9, year = 2010 }