arXiv · 2504.17164
Range and Topology Mutation Based Wireless Agility
Abstract
In this paper, we present formal foundations for two wireless agility techniques: (1) Random Range Mutation (RNM) that allows for periodic changes of AP coverage range randomly, and (2) Ran- dom Topology Mutation (RTM) that allows for random motion and placement of APs in the wireless infrastructure. The goal of these techniques is to proactively defend against targeted attacks (e.g., DoS and eavesdropping) by forcing the wireless clients to change their AP association randomly. We apply Satisfiability Modulo The- ories (SMT) and Answer Set Programming (ASP) based constraint solving methods that allow for optimizing wireless AP mutation while maintaining service requirements including coverage, secu- rity and energy properties under incomplete information about the adversary strategies. Our evaluation validates the feasibility, scalability, and effectiveness of the formal methods based technical approaches.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Qi Duan, Ehab Al-Shae, Jiang Xie. 2025-04-24. Range and Topology Mutation Based Wireless Agility. https://arxiv.org/abs/2504.17164
Cite the original work for its findings. Save a collection to share your selection of sources.