BibTeX record conf/noms/KhorchaniHV12

download as .bib file

@inproceedings{DBLP:conf/noms/KhorchaniHV12,
  author       = {Bassam Khorchani and
                  Sylvain Hall{\'{e}} and
                  Roger Villemaire},
  editor       = {Filip De Turck and
                  Luciano Paschoal Gaspary and
                  Deep Medhi},
  title        = {Firewall anomaly detection with a model checker for visibility logic},
  booktitle    = {2012 {IEEE} Network Operations and Management Symposium, {NOMS} 2012,
                  Maui, HI, USA, April 16-20, 2012},
  pages        = {466--469},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/NOMS.2012.6211932},
  doi          = {10.1109/NOMS.2012.6211932},
  timestamp    = {Sat, 19 Oct 2019 20:07:47 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/KhorchaniHV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}