BibTeX record conf/fnss/MohamadiKL18

• > Home > conf/fnss/MohamadiKL18

@inproceedings{DBLP:conf/fnss/MohamadiKL18,
  author       = {Houssem Eddine Mohamadi and
                  Nadjia Kara and
                  Mohand Lagha},
  editor       = {Robin Doss and
                  Selwyn Piramuthu and
                  Wei Zhou},
  title        = {Formal Verification of RGR-SEC, a Secured {RGR} Routing for UAANETs
                  Using AVISPA, Scyther and Tamarin},
  booktitle    = {Future Network Systems and Security - 4th International Conference,
                  {FNSS} 2018, Paris, France, July 9-11, 2018, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {878},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94421-0\_1},
  doi          = {10.1007/978-3-319-94421-0\_1},
  timestamp    = {Wed, 21 Jul 2021 12:11:33 +0200},
  biburl       = {https://dblp.org/rec/conf/fnss/MohamadiKL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}