Title :
Modeling and analysis of IEEE 802.16 PKM Protocols using CasperFDR
Author :
Xu, Sen ; Huang, Chin-Tser ; Matthews, Manton M.
Author_Institution :
Dept. of Comput. Sci. & Eng., Univ. of South Carolina, Columbia, SC, USA
Abstract :
IEEE 802.16 is the standard for broadband wireless access. The security sublayer is provided within IEEE 802.16 MAC layer for privacy and access control, in which the Privacy and Key Management (PKM) protocols are specified. This paper models the PKM protocols using Casper and analyzes the CSP output with FDR, which are formal analysis tools based on the model checker. Later versions of PKM protocols are also modeled and analyzed. Attacks are found in each version and the results are discussed.
Keywords :
access protocols; private key cryptography; radio access networks; CasperFDR; MAC protocols; PKM protocols; private key management; Access protocols; Authentication; Body sensor networks; Communication system security; Data security; Logic; Power system modeling; Privacy; WiMAX; Wireless application protocol;
Conference_Titel :
Wireless Communication Systems. 2008. ISWCS '08. IEEE International Symposium on
Conference_Location :
Reykjavik
Print_ISBN :
978-1-4244-2488-7
Electronic_ISBN :
978-1-4244-2489-4
DOI :
10.1109/ISWCS.2008.4726137
