Analysis and Enhancement of Two Key Agreement Protocols for Wireless Networks

We analyze two recent key agreement protocols designed to provide access control in wireless networks. Both protocols are intended to be resistant to denial-of-service attacks. We identify computation DoS attacks against the protocols and model one of the attacks using a cost-based framework proposed by Meadows. We also identify several other security flaws in the protocols. We propose modifications to the protocols to improve their DoS resistance and overall security.