Authenticated Key Exchange Protocol and Verification SVO Logic
Liu Zhi-meng · Communications technology · 2009
In a distributed wireless communication network,authenticated key agreement protocol is critical to the secure sessions between communication parties,and much attention is paid to formal theories of cryptographic protocol analysis. A Mutually-Authenticated Key Establish Protocol(AKEP) based on entity authentication with elliptic curve cryptography is proposed,which could provide data confidentiality of exchanged information between Server and client via symmetric cryptography. The security of the protocol is verified by SVO logic.