I read many papers on authenticated key exchange protocols. Most securitys proof are done by the authors. In this method, you can imagine that the efficiency is low. Moreover, even if you have proven ...
I want to know the basic methodology that can be used to prove that a key exchange algorithm is secure. I am not asking about any specific algorithm. I want to know what should be proven and how to ...