Return to search

Formal verification of initial network entry protocols in wimax networks.

M. Tech. Electrical Engineering. / Discusses the study as limited to the formal specification/modelling and formal verification of protocols proposed and applicable to the initial network entry procedure in WiMAX networks. Secondly, formal specification of the existing protocols under consideration will be based on their informal specification available in the literature and not on proprietary protocols for which little or no information is available. Thirdly, this research work does not intend to wipe out the state space explosion problem but rather applies existing optimization techniques to supress it. Finally, the study does not assess the usability performance impact of the proposed security scheme and thus recommends that this analysis should be done as future work to evaluate the functionality and soundness of deploying the proposed security scheme.

Identiferoai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:tut/oai:encore.tut.ac.za:d1000636
Date January 2012
CreatorsKomu, Beth Njeri.
ContributorsMzyece, Mjumo., Djouani, K. (Karim)
Source SetsSouth African National ETD Portal
LanguageEnglish
Detected LanguageEnglish
TypeText
FormatPDF

Page generated in 0.0018 seconds