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.
| Item Type: |
Conference proceeding
|
| ISBN: |
18650929 |
| Editors: |
| Doss, Robin | UNSPECIFIED | | Piramuthu, Selwyn | UNSPECIFIED | | Zhou, Wei | UNSPECIFIED |
|
| Professor: |
|
| 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: |
https://espace2.etsmtl.ca/id/eprint/17218 |
Actions (login required)
 |
View Item |
