会议论文《基于扩展串空间模型对802.11i四步握手协议的分析》发表于第六届中国信息和通信安全学术会议(CCICS2009)。该文运用扩展串空间模型对802.11i协议中的四步握手过程进行形式化分析，旨在验证其安全性与可靠性。研究揭示了协议在抵抗重放攻击和密钥泄露方面的有效性，为无线网络安全提供了理论支持。
文档为pdf格式，0.49MB，总共11页。
举报
