João Porto de Albuquerque Heiko Krumm Paulo Lício de Geus Policy Modeling and Refinement for Network Security Systems. 24-33 2005 conf/policy/2005 POLICY http://dx.doi.org/10.1109/POLICY.2005.24 db/conf/policy/policy2005.html#AlbuquerqueKG05