research-article

The modeling and comparison of wireless network denial of service attacks

Authors:

Stig F. MjølsnesAuthors Info & Claims

MobiHeld '11: Proceedings of the 3rd ACM SOSP Workshop on Networking, Systems, and Applications on Mobile Handhelds

Article No.: 7, Pages 1 - 6

https://doi.org/10.1145/2043106.2043113

Published: 23 October 2011 Publication History

Abstract

Mobile handhelds with wireless access are used in numerous safety critical applications. The wireless network protocols in use are vulnerable to a wide array of denial of service attacks. We propose a formal method for modeling semantic denial of service attacks against wireless network protocols. We then use our proposed model to find a new deadlock vulnerability in IEEE 802.11. The history of published denial of service attacks against wireless protocols indicates that formal methods can contribute to the construction of robust protocols.

References

[1]

Bellardo, J., and Savage, S. 802.11 denial-of-service attacks: Real vulnerabilities and practical solutions. In Proceedings of the 12th USENIX Security Symposium (Berkeley, CA, USA, 2003), USENIX Association.

Digital Library

[2]

Eian, M. Fragility of the robust security network: 802.11 denial of service. In Proceedings of the 7th International Conference on Applied Cryptography and Network Security (2009), vol. 5536 of Lecture Notes in Computer Science, Springer-Verlag, pp. 400--416.

Digital Library

[3]

Eian, M. A practical cryptographic denial of service attack against 802.11i TKIP and CCMP. In Proceedings of the Ninth International Conference on Cryptology And Network Security (2010), vol. 6467 of Lecture Notes in Computer Science, Springer-Verlag, pp. 62--75.

[4]

Han, T., Zhang, N., Liu, K., Tang, B., and Liu, Y. Analysis of mobile WiMAX security: Vulnerabilities and solutions. In Mobile Ad Hoc and Sensor Systems, 2008. MASS 2008, 5th IEEE International Conference on (2008), pp. 828--833.

[5]

Holzmann, G. Spin model checker, the: primer and reference manual, first ed. Addison-Wesley Professional, 2003.

Digital Library

[6]

IEEE. IEEE Std 802.11g-2003. New York, NY, USA, 2003.

[7]

IEEE. IEEE Std 802.11h-2003, IEEE 802.11-1999 Amendment 5: Spectrum and Transmit Power Management Extensions in the 5 GHz band in Europe. New York, NY, USA, 2003.

[8]

IEEE. IEEE Std 802.11i-2004, IEEE 802.11-1999 Amendment 6: Medium Access Control (MAC) Security Enhancements. New York, NY, USA, 2004.

[9]

IEEE. IEEE Std 802.11-2007, IEEE Standard for Information technology -- Telecommunications and information exchange between systems -- Local and metropolitan area networks -- Specific requirements Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. New York, NY, USA, 2007.

[10]

Kambourakis, G., Kolias, C., Gritzalis, S., and Hyuk-Park, J. Signaling-oriented DoS attacks in UMTS networks. In Advances in Information Security and Assurance, vol. 5576 of Lecture Notes in Computer Science. Springer-Verlag, 2009, pp. 280--289.

Digital Library

[11]

Könings, B., Schaub, F., Kargl, F., and Dietzel, S. Channel switch and quiet attack: New DoS attacks exploiting the 802.11 standard. In LCN 2009: Proceedings of the IEEE 34th Conference on Local Computer Networks (2009), pp. 14--21.

[12]

Lafrance, S., and Mullins, J. Using admissible interference to detect denial of service vulnerabilities. In Sixth International Workshop in Formal Methods. Electronic Workshops in Computing (eWiC) by British Computer Society (BCS) (2003), pp. 1--19.

Digital Library

[13]

Mahimkar, A., and Shmatikov, V. Game-based analysis of denial-of-service prevention protocols. In Proceedings of the 18th IEEE workshop on Computer Security Foundations (Washington, DC, USA, 2005), IEEE Computer Society, pp. 287--301.

Digital Library

[14]

Malinen, J. hostapd: IEEE 802.11 AP, IEEE 802.1X/WPA/WPA2/EAP/RADIUS Authenticator, 2011. http://hostap.epitest.fi/hostapd.

[15]

Malinen, J. Linux WPA/WPA2/IEEE 802.1X Supplicant, 2011. http://hostap.epitest.fi/wpa supplicant.

[16]

Meadows, C. A formal framework and evaluation method for network denial of service. IEEE Computer Security Foundations Workshop 00 (1999), 4.

Digital Library

[17]

Narayana, P., Chen, R., Zhao, Y., Chen, Y., Fu, Z., and Zhou, H. Automatic vulnerability checking of IEEE 802.16 WiMAX protocols through TLA+. In Secure Network Protocols, 2006. 2nd IEEE Workshop on (2006), pp. 44--49.

Digital Library

[18]

Pelechrinis, K., Iliofotou, M., and Krishnamurthy, V. Denial of service attacks in wireless networks: The case of jammers. Communications Surveys Tutorials, IEEE PP, 99 (2010), 1--13.

[19]

Ramachandran, V. Analyzing DoS-resistance of protocols using a cost-based framework. Tech. rep., Yale University, 2002.

[20]

Sankaran, C. Network access security in next-generation 3GPP systems: A tutorial. Communications Magazine, IEEE 47, 2 (2009), 84--91.

Digital Library

[21]

Smith, J. Denial of Service: Prevention, Modelling and Detection. Brisbane, Australia, 2007. PhD Thesis, Queensland University of Technology.

[22]

Tritilanunt, S. Protocol engineering for protection against denial-of-service attacks. Brisbane, Australia, 2009. PhD Thesis, Queensland University of Technology.

Cited By

Luo ZWang WHuang QJiang TZhang Q(2022)Securing IoT Devices by Exploiting Backscatter Propagation SignaturesIEEE Transactions on Mobile Computing10.1109/TMC.2021.308475421:12(4595-4608)Online publication date: 1-Dec-2022
https://doi.org/10.1109/TMC.2021.3084754
Balarezo JWang SChavez KAl-Hourani AKandeepan S(2022)A survey on DoS/DDoS attacks mathematical modelling for traditional, SDN and virtual networksEngineering Science and Technology, an International Journal10.1016/j.jestch.2021.09.01131(101065)Online publication date: Jul-2022
https://doi.org/10.1016/j.jestch.2021.09.011
Huang YWang WWang HJiang TZhang Q(2020)Authenticating On-Body IoT Devices: An Adversarial Learning ApproachIEEE Transactions on Wireless Communications10.1109/TWC.2020.299111119:8(5234-5245)Online publication date: Aug-2020
https://doi.org/10.1109/TWC.2020.2991111
Show More Cited By

Index Terms

The modeling and comparison of wireless network denial of service attacks
1. Applied computing
  1. Computers in other domains
    1. Personal computers and PC applications
2. Networks
  1. Network types
    1. Mobile networks
    2. Wireless access networks

Recommendations

Mitigating denial of service attacks: a tutorial

This tutorial describes what Denial of Service (DOS) attacks are. how they can be carried out in IP networks, and how one can defend against them. Distributed DoS (DDoS) attacks are included here as a subset of DoS attacks. A DoS attack has two phases: ...
Surviving Distributed Denial-of-Service Attacks

A series of distributed denial-of-service (DDoS) attacks were launched against computer systems and services in the US and South Korea beginning July 4th. A DDoS attack is an attempt to make a computer service unavailable to its intended users. The ...
Protection Against Denial of Service Attacks

Denial of service (DoS) is a prevalent threat in today's networks because DoS attacks are easy to launch, while defending a network resource against them is disproportionately difficult. Despite the extensive research in recent years, DoS attacks ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MobiHeld '11: Proceedings of the 3rd ACM SOSP Workshop on Networking, Systems, and Applications on Mobile Handhelds

October 2011

64 pages

ISBN:9781450309806

DOI:10.1145/2043106

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

INESC: Systems and Computer Engineering Institute
SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

SOSP '11

Sponsor:

INESC
SIGOPS

SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles

October 23, 2011

Cascais, Portugal

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
290
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Luo ZWang WHuang QJiang TZhang Q(2022)Securing IoT Devices by Exploiting Backscatter Propagation SignaturesIEEE Transactions on Mobile Computing10.1109/TMC.2021.308475421:12(4595-4608)Online publication date: 1-Dec-2022
https://doi.org/10.1109/TMC.2021.3084754
Balarezo JWang SChavez KAl-Hourani AKandeepan S(2022)A survey on DoS/DDoS attacks mathematical modelling for traditional, SDN and virtual networksEngineering Science and Technology, an International Journal10.1016/j.jestch.2021.09.01131(101065)Online publication date: Jul-2022
https://doi.org/10.1016/j.jestch.2021.09.011
Huang YWang WWang HJiang TZhang Q(2020)Authenticating On-Body IoT Devices: An Adversarial Learning ApproachIEEE Transactions on Wireless Communications10.1109/TWC.2020.299111119:8(5234-5245)Online publication date: Aug-2020
https://doi.org/10.1109/TWC.2020.2991111
Pokorny JFujdiak RKovanda MStrajt MHosek J(2020)Traffic Analysis of IEEE 802.11 on Physical Layer by using Software Defined Radio2020 12th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)10.1109/ICUMT51630.2020.9222444(78-81)Online publication date: Oct-2020
https://doi.org/10.1109/ICUMT51630.2020.9222444
Chen DZhang NQin ZMao XQin ZShen Xli X(2016)S2M: A Lightweight Acoustic Fingerprints based Wireless Device Authentication ProtocolIEEE Internet of Things Journal10.1109/JIOT.2016.2619679(1-1)Online publication date: 2016
https://doi.org/10.1109/JIOT.2016.2619679
Chen DMao XQin ZWang WLi XQin Z(2015)Wireless Device Authentication Using Acoustic Hardware FingerprintsBig Data Computing and Communications10.1007/978-3-319-22047-5_16(193-204)Online publication date: 24-Jul-2015
https://doi.org/10.1007/978-3-319-22047-5_16
AAMIR MZAIDI M(2013)A Survey on DDoS Attack and Defense Strategies: From Traditional Schemes to Current TechniquesInterdisciplinary Information Sciences10.4036/iis.2013.17319:2(173-200)Online publication date: 2013
https://doi.org/10.4036/iis.2013.173
Xiong JJamieson KHelal SChandra RKravets R(2013)SecureArrayProceedings of the 19th annual international conference on Mobile computing & networking10.1145/2500423.2500444(441-452)Online publication date: 30-Sep-2013
https://dl.acm.org/doi/10.1145/2500423.2500444
Idland CJelle TMjølsnes S(2013)Detection of Masqueraded Wireless Access Using 802.11 MAC Layer FingerprintsDigital Forensics and Cyber Crime10.1007/978-3-642-39891-9_18(283-301)Online publication date: 2013
https://doi.org/10.1007/978-3-642-39891-9_18
Eian MMjolsnes S(2012)A formal analysis of IEEE 802.11w deadlock vulnerabilities2012 Proceedings IEEE INFOCOM10.1109/INFCOM.2012.6195841(918-926)Online publication date: Mar-2012
https://doi.org/10.1109/INFCOM.2012.6195841

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents