Provably secure entity authentication the three party case | IEEE Conference Publication | IEEE Xplore