近几年来，随着无线局域网（Wireless Local Area Network，WLAN）技术的迅速发展，其技术的标准化也成为了人们关注的一个重要问题。1997年，IEEE制定出无线局域网协议标准802.11，802.11主要是对开放系统互连（Open System Interconnect，OSI）模型中的介质访问控制（Media Access Control，MAC）层和物理层做出了规范。其中，MAC层主要负责无线媒介的访问机制以及数据传送，是无线局域网技术研究的重点和难点。本文主要完成了以下几方面的工作：1、介绍了IEEE802.11无线局域网的拓扑结构和MAC帧结构，重点研究了MAC层的媒介访问模式以及退避机制，在给出了MAC层管理结构的基础上，详细地说明了MAC层扫描、鉴权、关联等管理操作。2、提出了一种利用规格描述语言（Specification and Description Language，SDL）开发工具Telelogic Tau SDL Suite完成802.11MAC协议的描述、实现以及验证工作的研究方案，该方案不仅有助于深入了解802.11MAC协议，而且有利于掌握研究通信协议的方法和过程，同时克服了传统协议研究方案的复杂性高、准确性低的缺点。3、针对协议实现过程中的语法和语义错误以及SDL映射为C语言过程中所产生的错误，给出了详细的解决方法。这些方法不仅可以解决802.11MAC协议实现过程中的问题，而且具有一定的通用性，也可用于解决其它协议的实现问题。4、在完成了协议的实现后，对MAC协议中的数据单元和管理单元分别进行了验证，通过对验证过程中生成的消息序列图（Message Sequence Charts，MSC）的观察和分析，证实了文中MAC协议的设计与802.11MAC规范相一致。对802.11MAC协议研究的工作虽然已经开展很长时间了，但是很多研究只是局限于协议的建模和描述，并没有进行详细的协议实现和验证，本文对802.11MAC协议的实现和验证工作可以较好的弥补这一不足。