1. A calculus for access control in distributed systems;Abadi,1991
2. Policy modeling and refinement for network security systems.;Albuquerque,2005
3. Formal validation of automated policy refinement in the management of network security systems;Albuquerque;Int. J. Inf. Secur.,2010
4. Firewall policy advisor for anomaly discovery and rule editing;AlShaer,2003
5. Finite state transducers for policy evaluation and conflict resolution;Baliosian,2004