%0 Conference Paper %1 conf/fnss/MohamadiKL18 %A Mohamadi, Houssem Eddine %A Kara, Nadjia %A Lagha, Mohand %B FNSS %D 2018 %E Doss, Robin %E Piramuthu, Selwyn %E Zhou, Wei %I Springer %K dblp %P 3-16 %T Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin. %U http://dblp.uni-trier.de/db/conf/fnss/fnss2018.html#MohamadiKL18 %V 878 %@ 978-3-319-94421-0

@inproceedings{conf/fnss/MohamadiKL18, added-at = {2021-07-21T00:00:00.000+0200}, author = {Mohamadi, Houssem Eddine and Kara, Nadjia and Lagha, Mohand}, biburl = {https://www.bibsonomy.org/bibtex/2bbb7d15ba7f625c6c77cb2230dce7865/dblp}, booktitle = {FNSS}, crossref = {conf/fnss/2018}, editor = {Doss, Robin and Piramuthu, Selwyn and Zhou, Wei}, ee = {https://doi.org/10.1007/978-3-319-94421-0_1}, interhash = {e286af4c8b69e33d75e975412f08ec32}, intrahash = {bbb7d15ba7f625c6c77cb2230dce7865}, isbn = {978-3-319-94421-0}, keywords = {dblp}, pages = {3-16}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T07:21:18.000+0200}, title = {Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin.}, url = {http://dblp.uni-trier.de/db/conf/fnss/fnss2018.html#MohamadiKL18}, volume = 878, year = 2018 }