We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless networks. It is defined on abstract messages exchanged between entities and includes arbitrary, real-time modification of messages by the attacker. In this work, we aim at understanding and evaluating the conditions under which these real-time, covert low-energy signal modifications can be successful. In particular, we focus on the following signal and message manipulation techniques: symbol flipping and signal annihilation. We analyze these techniques theoretically, by simulations, and experiments and show their feasibility for particular wireless channels and scenarios. © 2011 Springer-Verlag.
CITATION STYLE
Pöpper, C., Tippenhauer, N. O., Danev, B., & Capkun, S. (2011). Investigation of signal and message manipulations on the wireless channel. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6879 LNCS, pp. 40–59). Springer Verlag. https://doi.org/10.1007/978-3-642-23822-2_3
Mendeley helps you to discover research relevant for your work.