论文部分内容阅读
对Canetti—Krawczyk模型进行深入研究,抽象并形式化IEEE802.11i协议的四步握手协议。依据Canetti—Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论。提出对于UC下的安全性和协议可用性将是下一步研究目标。