Security study of WiMAX systems
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 con...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/38709 |
| _version_ | 1826126924890505216 |
|---|---|
| author | Chia, Woanlan. |
| author2 | Ma Maode |
| author_facet | Ma Maode Chia, Woanlan. |
| author_sort | Chia, Woanlan. |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T07:00:22Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/38709 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T07:00:22Z |
| publishDate | 2010 |
| record_format | dspace |
| spelling | ntu-10356/387092023-07-07T16:08:57Z Security study of WiMAX systems Chia, Woanlan. Ma Maode School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Wireless communication systems 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. Bachelor of Engineering 2010-05-17T08:49:26Z 2010-05-17T08:49:26Z 2010 2010 Final Year Project (FYP) http://hdl.handle.net/10356/38709 en Nanyang Technological University 74 p. application/pdf |
| spellingShingle | DRNTU::Engineering::Electrical and electronic engineering::Wireless communication systems Chia, Woanlan. Security study of WiMAX systems |
| title | Security study of WiMAX systems |
| title_full | Security study of WiMAX systems |
| title_fullStr | Security study of WiMAX systems |
| title_full_unstemmed | Security study of WiMAX systems |
| title_short | Security study of WiMAX systems |
| title_sort | security study of wimax systems |
| topic | DRNTU::Engineering::Electrical and electronic engineering::Wireless communication systems |
| url | http://hdl.handle.net/10356/38709 |
| work_keys_str_mv | AT chiawoanlan securitystudyofwimaxsystems |