On the security of public key protocols | IEEE Conference Publication | IEEE Xplore