Modeling and verification tools for jamming attacks in VANETs

Researchers have payed more and more attention on security issues in wireless networks this last decade as those networks are exposed to Denial of Service (DoS) attacks. Last improvements of the wireless technologies has developed the possibility to cars to communicate with Vehicular Ad Hoc networks more known as VANET. In these networks the impact of DoS is more important as it can affect the life of passengers. The features of DoS attacks are not well known in VANETs, thus we propose in this study a new Analytical model that represents the behavior of jamming attack in VANETS. This DoS attack consists of a node that disturb/disrupt the communications between nodes, then the overall quality of service is decreased. Representing this attack by analytical model using Markov chains is impossible as we face a problem of a state space explosion, thus we have used a more appropriate concept that is not usually used in the security in wireless networks with Stochastic Automata Networks. This model was used to calculate the rewards of this attack and can be used to decide whether a network is under or not a DoS attack.