Authentication Protocol Suit for Restriction Environment and Its SVO Logic Analysis
Yuan Da · Jisuanji gongcheng · 2009
Aiming at the application and security problem of authentication protocol in restriction communication environment,this paper presents an authentication protocol based on elliptic curve cryptographic techniques,in which data confidentiality of exchanged information is supported by symmetric cryptography.The conversation key shared by participants is generated in the end of the protocol.Formal anlysis is done on recommended protocol by using extended SVO logic and the security of the protocol is proved by the results.