On the security of public key protocols | IEEE Journals & Magazine | IEEE Xplore