ENGLISH
La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

Formal verification of RGR-SEC, a secured RGR routing for UAANETs using AVISPA, Scyther and Tamarin

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.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Rechercher dans Google Scholar
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 Dernière vérification avant le dépôt