BibTeX record conf/tridentcom/SaadaouiSB18

• > Home > conf/tridentcom/SaadaouiSB18

@inproceedings{DBLP:conf/tridentcom/SaadaouiSB18,
  author       = {Amina Sa{\^{a}}daoui and
                  Nihel Ben Youssef Ben Souayeh and
                  Adel Bouhoula},
  editor       = {Honghao Gao and
                  Yuyu Yin and
                  Xiaoxian Yang and
                  Huaikou Miao},
  title        = {Automated and Optimized Formal Approach to Verify {SDN} Access-Control
                  Misconfigurations},
  booktitle    = {Testbeds and Research Infrastructures for the Development of Networks
                  and Communications - 13th {EAI} International Conference, TridentCom
                  2018, Shanghai, China, December 1-3, 2018, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {270},
  pages        = {96--112},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-12971-2\_6},
  doi          = {10.1007/978-3-030-12971-2\_6},
  timestamp    = {Wed, 06 Feb 2019 15:10:39 +0100},
  biburl       = {https://dblp.org/rec/conf/tridentcom/SaadaouiSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}