Some remarks on andrew secure RPC
We review the Andrew secure RPC protocol and reveal some unsoundness of it. Some modifications are made to the protocol. The changes made include the encryption in the first message, the expansion of the second and third messages as well as the elimination of the fourth message. Our GNY analysis shows that even though changes have been made, the outcomes of the protocol do not change. That is, both client and server hold the same new secret key shared between themselves.
Full Text: PDF