The modeling and comparison of wireless network denial of service attacks

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

Volumn , Issue , 2011, Pages

  Eian, Martin ^a   Mjølsnes, Stig F ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

DENIAL OF SERVICE ATTACKS; HANDHELDS; IEEE 802.11S; NETWORK DENIAL OF SERVICE; ROBUST PROTOCOL; SAFETY CRITICAL APPLICATIONS; WIRELESS ACCESS; WIRELESS PROTOCOL;

FORMAL METHODS; NETWORK PROTOCOLS; SEMANTICS; STANDARDS; TRANSMISSION CONTROL PROTOCOL; WIRELESS NETWORKS;

COMPUTER CRIME;

EID: 81055155451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2043106.2043113     Document Type: Conference Paper

References (22)

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.
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.
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.
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.
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.
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. (Pubitemid 41696436)
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/wpasupplicant.
16. Meadows, C. A formal framework and evaluation method for network denial of service. IEEE Computer Security Foundations Workshop 00 (1999), 4.
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.
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.
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.