Mohamadi, Houssem E., Kara, Nadjia et Lagha, Mohand.
2018.
« Formal verification of RGR-SEC, a secured RGR routing for UAANETs using AVISPA, Scyther and Tamarin ».
In Future Network Systems and Security : 4th International Conference on Future Network Systems and Security (FNSS 2018) (Paris, France, July 09-11, 2018)
Coll. « Communications in Computer and Information Science », vol. 878.
pp. 3-16.
Springer Verlag.
Compte des citations dans Scopus : 2.
Rechercher dans Google Scholar
URL Officielle: http://dx.doi.org/10.1007/978-3-319-94421-0_1
Type de document: | Compte rendu de conférence |
---|---|
ISBN: | 18650929 |
Éditeurs: | Éditeurs ORCID Doss, Robin NON SPÉCIFIÉ Piramuthu, Selwyn NON SPÉCIFIÉ Zhou, Wei NON SPÉCIFIÉ |
Professeur: | Professeur Kara, Nadjia |
Affiliation: | Génie logiciel et des technologies de l'information |
Date de dépôt: | 06 août 2018 20:38 |
Dernière modification: | 06 août 2018 20:38 |
URI: | https://espace2.etsmtl.ca/id/eprint/17218 |
Actions (Authentification requise)
Dernière vérification avant le dépôt |