Davide Benetti

Learn More
—Several different secure routing protocols have been proposed for determining the appropriate paths on which data should be transmitted in ad hoc networks. In this paper, we focus on two of the most relevant such protocols, ARAN and endairA, and present the results of a formal analysis that we have carried out using the AVISPA Tool, an automated model(More)
  • 1