Wireless Local Area Networks (WLANs) based on the IEEE 802.11 standards are one of today's fastest growing technologies in businesses, schools, and homes, for good reasons. In this paper, the authors propose the use of GSE methodology to analyze the incompleteness and uncertainties in specifications. The IEEE 802.11i security protocol is used as an example to compare the effectiveness of the GSE and UML models. The GSE methodology was found to be more effective in identifying ambiguities in specifications and inconsistencies between the specification and the state machines. Resolving all issues, they represent the Robust Security Network (RSN) proposed in the IEEE 802.11i standard using different GSE models.