On the security of Park et al.'s key distribution protocol for digital mobile communications | IEEE Conference Publication | IEEE Xplore