Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks | IEEE Conference Publication | IEEE Xplore