Formal analysis of IEEE 802.11i
Liao Zhen-lan · Journal of Computer Applications · 2008
As one of the most representative theorem proving techniques used to analyze security protocols,the strand spaces theory has been successfully applied to prove a plenty of typical protocols.Based on the related document,we improved the Strand Space Model(SSM) of IEEE 802.11i protocols,and verified the security and authentication property.The result of the analysis proves the correctness of the IEEE 802.11i protocols in the present penetrator model.