|
Abstract: |
In this paper, the current known attack methods against WAI and the improvements of WAI called WAI’ were analyzed. Through analyzing the unicast key agreement protocol in the WAI’ by CPN model, the vulnerabilities of WAI’ were found out. The improvement of WAI’ was made and a new protocol called WAI’-E was proposed. The WAI’-E was combined with the key exchange mechanism of Diffie-Hellman based on elliptic curve cryptography. Moreover, by using CK mode, it is the fact that WAI’-E was SK-secure with PFS and was provided with independent security of certificate authentication was proved. |
Key words: WLAN WLAN Authentication and Privacy Infrastructure Colored Petri Nets CK model |
DOI:10.11916/j.issn.1005-9113.2012.06.008 |
Clc Number:TP393 |
Fund: |