Analysis of PKM protocol of LMDS by NCP logic
Meng Wu · Journal of China Institute of Communications · 2004
We use NCP logic to formally analyze PKM protocol of LMDS and show that the protocol is vulnerable to forgery attack and will possibly be vulnerable to replay attack that is caused by the faultiness of message structure. On the basis of security measures that PKM protocol has provided, we put forward a proposal of improving message structure to solve the forgoing weak points.