Houssem E. Mohamadi, Nadjia Kara, Mohand Lagha. Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin. In Robin Doss, Selwyn Piramuthu 0001, Wei Zhou, editors, Future Network Systems and Security - 4th International Conference, FNSS 2018, Paris, France, July 9-11, 2018, Proceedings. Volume 878 of Communications in Computer and Information Science, pages 3-16, Springer, 2018. [doi]
@inproceedings{MohamadiKL18,
title = {Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin},
author = {Houssem E. Mohamadi and Nadjia Kara and Mohand Lagha},
year = {2018},
doi = {10.1007/978-3-319-94421-0_1},
url = {https://doi.org/10.1007/978-3-319-94421-0_1},
researchr = {https://researchr.org/publication/MohamadiKL18},
cites = {0},
citedby = {0},
pages = {3-16},
booktitle = {Future Network Systems and Security - 4th International Conference, FNSS 2018, Paris, France, July 9-11, 2018, Proceedings},
editor = {Robin Doss and Selwyn Piramuthu 0001 and Wei Zhou},
volume = {878},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-94421-0},
}