|
[NSZD20]
Jordi Navarrette, Subash Shankar, Xiaojie Zhang and Saptarshi Debroy.
Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks.
In Proc. 16th International Conference on the Design of Reliable Communication Networks (DRCN'20), IEEE.
2020.
[Analyses multi-rogue backoff manipulation attack strategies in secondary wireless networks using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|