Improved A(0) Protocol and it's Formal Analysis
Zhu Yong · Computer Engineering and Applications Journal · 2006
An improved protocol is proposed by modifying message format and adding handshake message to remove the limitations of A(0)protocol which can not against the replay and impersonation attack.And SVO logic is employed to analyze the security of the improved protocol using formal methods.Compared with A(0)protocol,the improved protocol illustrates higher security,and preserves the other advantages also.