Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Houssem E. Mohamadi' in GoogleThis author has not been identified. Look up 'Nadjia Kara' in GoogleThis author has not been identified. Look up 'Mohand Lagha' in Google

runs on WebDSL