@inproceedings{conf/policy/El-AtawySWALPL07,
  added-at = {2007-06-18T00:00:00.000+0200},
  author = {El-Atawy, Adel and Samak, Taghrid and Wali, Zein and Al-Shaer, Ehab and Lin, Frank and Pham, Christopher and Li, Sheng},
  biburl = {http://www.bibsonomy.org/bibtex/28952c53aed03fce24ad9635a600807f8/dblp},
  booktitle = {POLICY},
  crossref = {conf/policy/2007},
  date = {2007-06-18},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2007.5},
  interhash = {4eaf5daa01550a6ef0d9171ae53eb77c},
  intrahash = {8952c53aed03fce24ad9635a600807f8},
  keywords = {dblp},
  pages = {151-160},
  publisher = {IEEE Computer Society},
  timestamp = {2007-06-18T00:00:00.000+0200},
  title = {An Automated Framework for Validating Firewall Policy Enforcement.},
  url = {http://dblp.uni-trier.de/db/conf/policy/policy2007.html#El-AtawySWALPL07},
  year = 2007
}