Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/38709
Title: Security study of WiMAX systems
Authors: Chia, Woanlan.
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Wireless communication systems
Issue Date: 2010
Abstract: Denial of Service (DoS) is one of the most common attacks on wireless networks. Studies were done to research on the vulnerabilities and the security measures of IEEE802.16e against this type of attack. However, most of the researches were done through theory proving. This method however is less convincing as there maybe differences between theoretical and physical implementation. This report proposes to formally verify the Denial of Service (DoS) attack due to the vulnerabilities in the initial ranging protocol as specified in IEEE 802.16e. Two models are implemented in SPIN and the verification results are compared and analysed. The results shows that a DoS attack is possible based on the assumptions made during the modelling process. In addition, through simulation in SPIN, it was proven that encryption can be used for added security to prevent DoS.
URI: http://hdl.handle.net/10356/38709
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
eA5089-091.pdf
  Restricted Access
1.73 MBAdobe PDFView/Open

Page view(s)

298
Updated on Oct 21, 2021

Download(s)

13
Updated on Oct 21, 2021

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.