BibTeX record conf/itng/Gawanmeh14

download as .bib file

@inproceedings{DBLP:conf/itng/Gawanmeh14,
  author       = {Amjad Gawanmeh},
  editor       = {Shahram Latifi},
  title        = {Automatic Verification of Security Policies in Firewalls with Dynamic
                  Rule Sequence},
  booktitle    = {11th International Conference on Information Technology: New Generations,
                  {ITNG} 2014, Las Vegas, NV, USA, April 7-9, 2014},
  pages        = {279--284},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ITNG.2014.29},
  doi          = {10.1109/ITNG.2014.29},
  timestamp    = {Fri, 24 Mar 2023 00:02:06 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/Gawanmeh14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}