Login / Signup
Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin.
Houssem Eddine Mohamadi
Nadjia Kara
Mohand Lagha
Published in:
FNSS (2018)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
bounded model checking
routing algorithm
program slicing
high speed
ad hoc networks
temporal logic
shortest path
routing protocol
routing problem
inter domain