Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}