Design and Formal Analysis of Highly Effective Authentication Protocol
Mingxia Shi, Huaiqiang Li, Li Chen · Procedia Engineering · 2012
In view of the low efficiency problem in the existing authentication protocols, the paper proposes a highly effective authentication which can authenticate identities of the important entities in the foremost time, as well as the session key can be negotiated efficiently. The objective and security properties of the protocol are analyzed by utilizing the logical verification method. The security and efficiency of the proposed protocol are discussed. The results show that the proposed protocol can not only resist personating the entities and messages replay attacks, but also can resist DoS attacks effectively, meanwhile the proposed protocol has better efficiency.