MIMO Techniques for Jamming Threat Suppression in Vehicular Networks
Vehicular ad hoc networks have emerged as a promising field of research and development, since they will be able to accommodate a variety of applications, ranging from infotainment to traffic management and road safety. A specific security-related concern that vehicular ad hoc networks face is how to keep communication alive in the presence of radio frequency jamming, especially during emergency situations. Multiple Input Multiple Output techniques are proven to be able to improve some crucial parameters of vehicular communications such as communication range and throughput. In this article, we investigate how Multiple Input Multiple Output techniques can be used in vehicular ad hoc networks as active defense mechanisms in order to avoid jamming threats. For this reason, a variation of spatial multiplexing is proposed, namely, vSP4, which achieves not only high throughput but also a stable diversity gain upon the interference of a malicious jammer.
Vehicular ad hoc networks (VANETs) have emerged as a promising field of research [1, 2], where advances in wireless and mobile ad hoc networks can be applied to real-life problems (traffic jams, fuel consumption, pollutant emissions, and road accidents). Vehicles may utilize a variety of wireless technologies to communicate with other devices, but the dominant is Dedicated Short-Range Communication (DSRC) , which is designed to support a variety of applications based on vehicular communications. VANETs are currently the center of attention for car manufacturers, technology companies, and transportation authorities. The basic idea behind vehicular communications is to help broaden the range of perception of the driver and help with autonomous assistance applications.
VANETs can be considered as mobile ad hoc networks which are utilized to enhance traffic safety and provide comfort applications to drivers. The unique features of VANETs include fast-moving vehicles that follow predetermined paths (i.e., roads) though having high diversity of mobility patterns along with messages that have different priority levels. For example, messages for comfort and infotainment applications have low priority, while messages for traffic safety applications require timely and reliable message delivery . Hybrid VANETs can accommodate vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communication. This enables several other forms of communication, such as vehicle-to-broadband cloud (V2B), where the vehicle communicates with a monitoring data center and vehicle-to-human (V2H) to communicate with vulnerable road users, for example, pedestrians or bicycles . Except from uninterrupted and reliable connectivity, one of the major issues that VANETs have to face is security .
As cars become more interconnected, one of the main challenges that manufacturers have to face is security. Particularly for safety applications, where early warning of the driver is crucial, it is essential to ensure that life-critical information cannot be modified or dropped by an attacker. Vehicular security threats target all the three major components of security: confidentiality, integrity, and availability (CIA) . A specific security-related concern that VANETs face is maintaining communication during an RF jamming attack. As reported in , it is proven that constant, periodic, and reactive RF jamming has significant impact on vehicular communications through extensive measurements in an anechoic user. Specifically in  the impact of the reaction delay and interfering signal duration on the effectiveness of the reactive jammer is also quantified. Hence, jamming-aware communications, protocols, and applications as well as effective jamming detection and reaction strategies are of great need.
Regarding jamming in VANETs, the main purpose of previous works was to analyze threats and focus on the effects of RF jamming [9, 10]. Most of previous works deal with the early and correct detection of malicious nodes  or develop some techniques that use frequency hopping  in order to find an interference-free channel. These methods are too complicated to be implemented in a real environment, especially when more sophisticated jamming attacks have to be addressed (e.g., a reactive jammer). Also usually in RF jamming attacks all communication channels are blocked and techniques like frequency hopping do not have any positive effect.
To combat RF jamming effectively in this paper we propose the use of MIMO. MIMO systems, although thoroughly investigated, are mostly focused on how to improve some parameters of vehicular communications, for example, communication range and throughput. Previous work mainly focuses on explaining the benefits of using MIMO in VANETs  and examining propagation models [14, 15] and OFDM-based MIMO systems . Previous works did not study MIMO systems as an active defense mechanism that overcomes different types of RF jamming attacks. Only recently active antijamming MIMO-based techniques were introduced. Authors in  present a MIMO-based antijamming technique that uses prerotation or beamforming of the jamming signal in order to improve sender signal decodability. The method is difficult to be implemented in a VANET scenario, since the channel conditions are changing very frequently and multiple pilots must be used by the sender and the jammer for real-time channel tracking. In another work in  the authors proposed a cooperative interference mitigation scheme combined with MIMO for jamming suppression. This method is based on the channel information ratio, which is provided from the probing of the channel. In VANETs, the frequently changing channel would generate a large number of probes, overloading the channel. The authors in  use MIMO and interference cancellation in order to support communication in the presence of strong interference. However, only random interference is considered and the proposed method is not tailored to reactive RF jammers. Last, in , an improved MIMO channel estimation for interference cancellation is exploited to combat reactive jamming. However, a quite complicated method based on Kalman filter and basis expansion model (BEM) with a large number of iterations for convergence is used to track the channel of the jammer, making the method difficult to be employed in real situations.
This article investigates MIMO systems for improving robustness in RF continuous and reactive jamming threats and simultaneously achieving higher throughput rates in VANETs. In this paper, the MIMO scheme with instantaneous Channel State Information (CSI) per received packet at the receiver and without knowledge for the channel of jammer is used. We show that, using MIMO, the suppressing of the jamming signal can be successful without using a jamming detection phase and regardless of the type and structure of the jamming signal. Our proposed scheme named vSP4, which combines the Alamouti scheme with spatial multiplexing (SM) , nearly doubles the throughput and also decreases the silence time almost by a factor of two when compared to the classic cSP4 scheme in the presence of a malicious jammer. Another contribution of this paper is a new framework for VANET simulations which combines three known simulators for obtaining more realistic results.
3. System Model
3.1. Simulation Framework
For evaluating the proposed defense mechanisms, the VEINS simulator is used . This open-source framework consists of two well-known simulators: OMNET++, an event-based network simulator, and SUMO, a road traffic simulator. Furthermore, instead of using the existing PHY layer of OMNET++, the GEMV (a geometry-based efficient propagation model for V2V)  tool was integrated into the VEINS network simulator. GEMV calculates a propagation model that separates links into line-of-sight (LOS) and non-LOS (NLOSv and NLOSb) link types and calculates deterministically the large-scale signal variation (i.e., path loss and shadowing) for each link type. Furthermore, GEMV employs a simple geometry-based small-scale signal variation model that calculates the additional stochastic signal variation based on the information about the surrounding objects. GEMV was configured and modified to be portable to the VEINS simulator and incorporated into this. Figure 1 illustrates the instantaneous SNR versus distance calculated by integration of GEMV-VEINS compared with this calculated by VEINS simulator. GEMV uses a more detailed propagation model to calculate the SNR which takes into account the “quality” of the links taking into account the physical obstacles (e.g., building and cars) compared to simple log-distance model which is used in VEINS. The proposed VEINS-GEMV integrated simulation framework allows more realistic simulations, since the SNR is affected not only from the distance among vehicles but also from the small-scale and the large-scale variations of the wireless medium.
3.2. Channel Model and PHY Modulation
For simulations, the 802.11p MAC and PHY parameters at 5.9 GHz (10 MHz) are used. Please refer to Table 2 for details of specific parameter values. Also, Rayleigh fading channels with Additive White Gaussian Noise (AWGN) , being stable during the transmission of 10 symbols, are assumed. In our scenario, 10 packets per second are transmitted. The average SNR is calculated for each second. For the transmission of symbols the modulation that was used in simulations is QPSK/16-QAM and the data rates that were used are 3 Mbps for packet header and 6 Mbps for packet payload which are currently supported by VEINS project. A modulation and coding scheme (MCS) with bits/symbol is used by the transmitter and the jammer, while its optimal value is determined by each node independently. For the evaluation of MIMO for suppressing jamming effects, we use three different MIMO schemes.
3.3. MIMO Model
For all the MIMO schemes, we assume that is the number of symbols which are transmitted in the duration of time slots, is the power of transmitted signal, and is the uncorrelated equal noise power at the receiver. We also use forward error correction (FEC) coding at the transmitter, assuming perfect instantaneous channel knowledge at the receiver. Moreover, is the number of received antennas and is the number of transmitted antennas, while the variable describes how many antennas are used for sending multiple copies of the same symbol with the MIMO schemes for increasing the diversity gain. We assume that is the channel between the transmitter (Tx) and receiver (Rx). The systems we test are the following: a Alamouti scheme in Section 4.1, a SM in Section 4.2, and an enhanced combination of Alamouti scheme and SM scheme in Section 4.3.
4. The Proposed Defense System
4.1. Classic Alamouti Algorithm
One of the most popular techniques for improving reliability in MIMO systems is the Alamouti Space-Time Block Coding (STBC) technique . STBC is a technique used in wireless communications to transmit multiple copies of a data stream across a number of antennas to improve reliability. Alamouti requires at least transmit antennas . It does not improve throughput in terms of absolute numbers but achieves significantly lower Bit Error Rate (BER). With Alamouti, 2 symbols are transmitted orthogonally as illustrated in Table 1. We use a MIMO Alamouti scheme in which a number of symbols are transmitted in the duration of time slots .
Due to orthogonal transmission with Alamouti, the two transmitted symbols do not interfere with each other. Each symbol is communicated over a different independent channel realization, improving the overall system reliability. The received signal can be written as
In the above equation, and denote the received symbols at antenna element number 1 and number at the first time slot (Table 1) and similarly and represent the received symbols at antenna element number 1 and number at the second time slot . Using the diversity-multiplexing tradeoff (DMT) , we can see that the rate for symbols sent with the MIMO Alamouti scheme is symbols/time slots and the diversity gain is . So the DMT is .
Decoding with Maximum-Ratio Combining (MRC) combines signals using a weight factor in order to achieve higher average SNR . If we haveand the inverted matrix product is the proposed signal is
Because MRC decoding is used, as the number of received antennas is increased, the overall performance is also improved. Finally, after calculating the throughput of the Alamouti scheme, we see that the instantaneous capacity isFrom the above equation, we can conclude that the capacity of the Alamouti scheme depends on the rate of the symbols that are transmitted in each time slot (i.e., ). Consequently, if the rate with Alamouti increases, then the capacity of this scheme is also increased. Finally, for the MIMO Alamouti scheme, the capacity is , where SISO is a Single (antenna) Input Single (antenna) Output scheme.
4.2. Classic Spatial Multiplexing
The method which offers the highest throughput is SM. The reason is that each antenna transmits a different symbol during each time slot. So in case of , , or antennas in general, the throughput is doubled, quadrupled, or increased by times, respectively. However, in poor channel conditions, SM achieves low SNR and very high BER. The MIMO channel with SM isBy applying Least Squares Equalization to the channel matrix , we have to multiply with the pseudoinverse matrix:The sufficient statistic that is used for detection is thenwhich is also known as the zero-forcing method.
For a MIMO SM scheme, the received signals which are reached at antenna and antenna can be written asFrom the above equation, we notice that the received copies of the symbols and are 2. So, the multiplexing gain of the SM using the DMT is 2, while the diversity gain is 0 .
Calculating the capacity of SM scheme, we haveIn the above equation, are the eigenvalues of matrix . For our MIMO example, compared with the capacity of Alamouti scheme with SM, we can conclude that in the high SNR regime.
4.3. Enhanced Version of Spatial Multiplexing
In this work, the classic version of SM is enhanced for our particular application with a combination of SM and Alamouti. More specifically users may choose a slower but more reliable transmission technique by selecting how many different symbols will be transmitted in each time slot. The remaining antennas repeat these symbols, achieving higher probability of successful decoding. For example, in a MIMO system, with classic SM, symbols would be transmitted per time slot. In our system, symbols per time slot are transmitted in order not only to double the maximum throughput but also to provide a more robust communication by increasing the probability of successful decoding by a factor of 2. So the DMT for this (vSP4) scheme is , where the diversity gain is . In our system, in order for two symbols () to be transmitted, each odd numbered antenna transmits symbol and all the even numbered antennas transmit symbol. So the received signals, for our MIMO enhanced version of SM, are
The DMT for this MIMO SM variant (vSP4) is , while the DMT for the classic SM scheme is . The comparison of the diversity gains and multiplexing gains for the MIMO Alamouti and SM schemes isFrom the above equations, it is obvious that, using the vSP4 scheme, we increase the diversity gain by a factor of 2 and decrease the multiplexing gain by a factor of two too, compared with the classic SM MIMO scheme. The calculations of the capacity of the proposed communication scheme lead to
In the above equation, the new channel matrix is used and are the eigenvalues of matrix . We also use and . Compare the capacities of the schemes, vSP4 , SM , SM , and a Alamouti () scheme, in which 2 symbols per 2 time slots are transmitted, assuming ideal channel conditions between Tx and Rx for all the schemes:
Consequently, vSP4 is a method that almost doubles the diversity, increases the reliability compared with the classic SM scheme, and also decreases the overall throughput of the system.
Practical Considerations. The proposed defense system is based on MIMO signal processing techniques. MIMO enjoys widespread applicability in most wireless systems today. Hence, our proposed system is amenable to practical real-time implementation and operation without affecting other aspects of the wireless transmission system. Furthermore, there is no need for additional algorithms or processing besides the MIMO receiver processing.
5. Performance Evaluation
Methods Compared. In order to evaluate the performance of the proposed defense mechanism vSP4, we compare it with the MIMO classic version of SM (cSP2) and the MIMO classic version of SM (cSP4). We also compare a MIMO Alamouti (STBC) technique with a classic SISO system and with a classic SM scheme.
Performance Metrics. As performance metrics we used the throughput versus SNR, the throughput versus time (silence time), the throughput versus distance (silence range), the throughput versus SNR, and the PER (Packet Error Rate = ) versus time. Silence time is the time duration of the complete disruption of communication due to strong jamming, while silence range is the range in meters in which the communication is impossible. It is important to note that in our throughput results we exclude of course packet losses in order to ensure that we measure the actual volume of successfully communicated data per second in the presence of a jammer. In this paper, we do not investigate additional algorithms like packet retransmission (ARQ) or forward error correction (FEC) which can be employed at the PHY or the link layer. These schemes are well known and well investigated and they are distracted from the main idea of the simulation which is the use of MIMO signal processing for enjoying throughput improvements in the presence of a wireless jammer.
5.1. Simulation Setup
For our experiments, we used the parameters of the real experiments that were conducted in . More specifically, the same road in the outskirts of the city of Aachen as shown in Figure 3 was used. Several other parameters that are illustrated in Table 2 are also tuned in order to better represent the scenarios of the real experiments conducted in . The side road in which the jammer (Jn) is located is also the same. For our evaluation scenarios, Rx follows Tx, keeping a constant distance. The first time steps and the last time steps of our simulation can be mapped to the distances about 150 m between Rx and Jn and Jn approaches the pair Tx-Rx at about distance of 5 m at the middle (70 sec) of the simulation, increasing strongly the jamming effect. Also, in Section 5.3 (Experiment 2), we evaluate the use of a reactive jammer with μs and μs at the standard of .
5.2. MIMO Defense Mechanism (Experiment 1)
To highlight the negative effects that a jammer induces in vehicular communication and how the MIMO techniques effectively suppress these effects, we compare the performances of MIMO techniques for short and long distances within the Tx-Rx pair. Also, Figures 2(c) and 2(d) demonstrate the silence time of communication which is caused by the presence of a jammer in the side road.
As expected, while Tx-Rx distance increases from 20 m to 100 m, the RF jamming impact also increases dramatically, as seen in Figures 2(c) and 2(d). Also, the improved performance and the benefits of the MIMO system when compared to the SISO system are significant. For short distances, where there is the least impact in communication, the Alamouti technique manages to suppress the silence range of the RF jamming threat from the distance above 10 m (see Figure 2(a)). As we can also see in Figure 2(c), the silence time of communication is reduced to only a few seconds by using the Alamouti technique. For intervehicle distances of 100 m, the silence range is 20 m, which is almost double compared to the silence range for intervehicle distances of 20 m. This situation is also graphically represented in Figure 3. Silence range extends considerably for the other two techniques, 35 m for SISO and 75 m for SM.
In time domain, communication with the Alamouti technique is affected for a duration of 20 s for intervehicle distance of 100 m (see Figure 2(d)), while for intervehicle distance of 20 m, the disruption of communication is only about 2 s (see Figure 2(c)). On the other hand, using SM scheme, the communication is affected for about 10 s for distance of 20 m and the corruption of communication is dramatically increased at 30 s for distance of 100 m.
The first main conclusion from these figures is the stable performance of the Alamouti scheme for all the possible distances of Rx-Jn and Tx-Rx and the elimination of the jamming effect for intervehicle distances lower than 20 m with the presence of a jammer 20 m away at least from the receiver. Furthermore, besides throughput, we are also interested in higher reliability of the system under the presence of malicious jammers. Notably, for emergency situations, it is very important for the silence range to be very low. For this reason, an interesting result of our simulation study is that SM achieves the best throughput in jamming-free areas but the worst silence range (time) in areas where jamming exists.
5.3. Reactive Jammer (Experiment 2)
To evaluate the performance of a more intelligent jammer, we implemented a reactive algorithm. The reactive jammer is designed to start transmitting upon sensing energy above a certain threshold. We set the latter to −86 dBm as we empirically determined it to be a good tradeoff between jammer sensitivity and false transmission detection rate. If the detected energy exceeds the threshold during a certain time span (= μs), an ongoing 802.11p transmission is assumed by the jammer and starts its transmission for a duration of = 84 μs. The reactive jammer is designed in order to achieve jamming the header of 802.11p frame from Tx to Rx.
From Figures 4(a) and 4(b), we can see the PER of the transmission between Tx and Rx with the presence of a continuous jammer in Figure 4(a) and a reactive jammer in Figure 4(b) with the presence of an reactive jammer. For time slots where the distance between Jn and Rx is quite large, the performance of reactive jammer is lower than that of the continuous jammer, mainly because the reactive jammer is not sensing the ongoing transmissions at these time slots. At the small distances, Jn-Rx, it is obvious that the silence time for the MIMO Alamouti and SM is about the same for the continuous and the reactive jammer. The PER of the continuous jammer is smaller than the PER of the reactive jammer only for the SISO scheme at about sec. This behavior is justified because our MIMO defense scheme does not use a detection phase of the jammer but uses the multiple antennas continuously in order to suppress the jamming effects. The main characteristic of reactive jammer is to avoid detection from the Rx’s CCA mechanism of the 802.11p protocol PHY. Since we observed the same behavior between the reactive jammer and the continuous jammer for our MIMO schemes, we will use the continuous jammer for the rest of our experiments. So we can assume that our MIMO defense scheme suppresses all types of jamming. The ineffectiveness of reactive jammer compared with a continuous jammer can also be seen for a platoon of vehicles at Figures (a) and 19(b) of .
5.4. SM Variants (Experiment 3)
The results of Experiment 1 allow us to introduce the last set of experiments and more specifically the use of a MIMO system. Alamouti’s performance, as described above, can almost eliminate the silence range for intervehicle distances about 20 m for a MIMO system. On the other hand, the SM scheme achieves significant throughput in jamming-free areas but higher silence range when used in areas where jamming exists for the majority of the simulations. So these final simulations focus on trying to identify the optimal tradeoff between diversity and spatial multiplexing gain by comparing SM variants, which were described in Sections 4.2 and 4.3. In Figures 5(a) and 5(b), the schemes are the following:(i) MIMO SM (cSP2), transmitting 2 symbols/timeslot(ii) MIMO SM (cSP4), transmitting 4 symbols/timeslot(iii) MIMO SM variant (vSP4), transmitting 2 symbols/timeslot
The first conclusion based on the simulation that we conducted is that the SNR gain of vSP4 method is significant compared to the other two. Figure 5(a) demonstrates how cSP4 provides better throughput compared to cSP2 and vSP4, only for large SNR values.
On the other hand, using vSP4, the throughput is almost doubled compared to cSP4 at the middle SNR values in Figure 5(a). In Figure 5(b), the throughput of the SM variants versus time is presented. It can be seen that as the distance from a jammer remains relatively short, the optimal scheme is vSP4, achieving a throughput of 10 Mbps. When the jammer is removed from the effective zone of communication, the best solution is the cSP4 which achieves the best throughput for 20 Mbps when compared to the other schemes.
The most interesting result in these figures is that vSP4 doubles the throughput and significantly reduces the RF jamming silence range. Our goal is to illustrate the need for more complex, advanced, and full adaptive algorithms that will select dynamically the optimal version of SM depending on the operating regime, for example, diversity or throughput.
Summarizing the results of Experiment 3, it is obvious that as the distance from a jammer remains relatively short, the best solution that combines better throughput and diversity is vSP4, presenting a stable throughput value at about 10 Mbps. vSP4 also reduces the silence time at about 12 s, while, for cSP4 and cSP2, the silence time is 30 s and 20 s, respectively. So while a higher-order SM system is used, the throughput is increased with good channel conditions but the negative implication is that the silence range is also increased in the presence of RF jamming. These results confirm the fact that the classic version of SM is not suitable for suppressing the jamming effects.
In this paper, we proposed the use of MIMO to increase the throughput and reliability in VANETs which experience RF jamming attacks. The first novelty of this paper is the introduction of a new simulation framework that combines three different well-known simulators. The first one is the traffic simulator SUMO , the second is the network simulator OMNET++ , and the third is the GEMV , a geometry-based propagation model that is integrated in the VEINS simulator .
The second contribution is a set of extensive simulations that represent real conditions. We showed that the Alamouti scheme retains a stable performance despite the intervehicle distance Tx-Rx and the presence of a malicious jammer in very close distances. Moreover, we showed that it can eliminate completely the silence range for small intervehicle distances. Last, by conducting experiments using a reactive jammer in addition to a continuous jammer, we showed that the Alamouti scheme can suppress the jamming effect regardless of the type of jamming signal and that SM achieves the best throughput in jamming-free areas but the worst silence range (time) in areas where jamming exists.
The third contribution of this paper is a new technique which is a combination of the SM scheme and the Alamouti scheme, namely, vSP4, which not only achieves the throughput to be sustainable but also doubles the reliability from the classic SM, decreasing the silence time at the same time, with the presence of a malicious jammer.
Our future work will focus on designing a dynamic, fully adaptive scheme that will select the optimal MIMO transmission mode depending on the total interference level. Also we plan to use our novel simulation model  which is able to handle secured messages in order to simulate more realistic situations.
The authors declare that they have no competing interests.
S. Mitra and A. Mondal, “Secure inter-vehicle communication: a need for evolution of vanet towards the internet of vehicles,” in Connectivity Frameworks for Smart Devices, pp. 63–96, Springer, Berlin, Germany, 2016.View at: Google Scholar
C. Pereira and A. Aguiar, “A realistic rf jamming model for vehicular networks: design and validation,” in Proceedings of the IEEE 24th International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC '13), pp. 1868–1872, London, UK, September 2013.View at: Publisher Site | Google Scholar
A. M. Malla and R. K. Sahu, “Security attacks with an effective solution for dos attacks in vanet,” International Journal of Computer Applications, vol. 66, no. 22, pp. 45–49, 2013.View at: Google Scholar
A. El-Keyi, T. ElBatt, F. Bai, and C. Saraydar, “MIMO VANETs: research challenges and opportunities,” in Proceedings of the 2012 International Conference on Computing, Networking and Communications (ICNC '12), pp. 670–676, IEEE, Kauai, Hawaii, USA, February 2012.View at: Publisher Site | Google Scholar
A. Theodorakopoulos, P. Papaioannou, T. Abbas, and F. Tufvesson, “A geometry based stochastic model for MIMO V2V channel simulation in cross-junction scenario,” in Proceedings of the 13th International Conference on ITS Telecommunications (ITST '13), pp. 290–295, Tampere, Finland, November 2013.View at: Publisher Site | Google Scholar
A. B. Al-Khalil, A. Al-Sherbaz, and S. Turner, “Enhancing the physical layer in V2V communication using OFDM—MIMO techniques,” Architecture, vol. 1, article 10, 2013.View at: Google Scholar
Y. Hou, M. Li, X. Yuan, Y. T. Hou, and W. Lou, “Cooperative cross-technology interference mitigation for heterogeneous multi-hop networks,” in Proceedings of the 33rd IEEE Conference on Computer Communications (IEEE INFOCOM '14), pp. 880–888, IEEE, Toronto, Canada, May 2014.View at: Publisher Site | Google Scholar
D. Tse and P. Viswanath, Pervasive Computing and Applications, Cambridge University Press, Cambridge, UK, 2005.
D. Krajzewicz, J. Erdmann, M. Behrisch, and L. Bieker, “Recent development and applications of SUMO—simulation of urban mobility,” International Journal on Advances in Systems and Measurements, vol. 5, no. 3-4, pp. 128–138, 2012.View at: Google Scholar
A. Varga, “The omnet++ descrete event simulation system,” in Proceedings of the European Simulation Multiconference (ESM '01), Prague, Czech Republic, June 2001.View at: Google Scholar
R. Riebl, M. Monz, S. Varga et al., “Improved security performance for vanet simulations,” in Proceedings of the 4th IFAC Symposium on Telematics Applications (TA '16), Porto Alegre, Brazil, 2016.View at: Google Scholar