Intercepting Blackhole Attacks in MANETs: An ASM-based Model

Torna indietro

Abstract

The inherent features of Mobile Ad-hoc NETworks (MANETs) make them vulnerable to various kinds of security attacks. In particular, in a so-called blackhole attack, one or more malicious hosts can send fake routing information towards an initiator, compromising the reliability of the network in the whole. In this paper, we propose a refinement of the NACK-based Ad-hoc On-demand Distance Vector (N-AODV) protocol, namely Blackhole-free N-AODV (BNAODV), as a solution to intercept (cooperative) blackhole attacks in MANETs. Thanks to a formalization through an Abstract State Machine-based model, the correctness of the proposed protocol is formally proved.

Autore Pugliese

Tutti gli autori

  • BIANCHI A.;VESSIO G.;PIZZUTILO S.

Titolo volume/Rivista

Non Disponibile

Anno di pubblicazione

2018

ISSN

0302-9743

ISBN

978-3-319-74781-1

Numero di citazioni Wos

Nessuna citazione

Ultimo Aggiornamento Citazioni

Non Disponibile

Numero di citazioni Scopus

2

Ultimo Aggiornamento Citazioni

Non Disponibile

Settori ERC

Non Disponibile

Codici ASJC

Non Disponibile