FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Editors:
EditorsORCID
Doss, RobinUNSPECIFIED
Piramuthu, SelwynUNSPECIFIED
Zhou, WeiUNSPECIFIED
Professor:
Professor
Kara, Nadjia
Affiliation: Génie logiciel et des technologies de l'information
Date Deposited: 06 Aug 2018 20:38
Last Modified: 06 Aug 2018 20:38
URI: http://espace2.etsmtl.ca/id/eprint/17218

Actions (login required)

View Item View Item