Analysis and Improvement of Chanllenge Handshake Authentication Protocol

• 认证协议设计逻辑的语义