结构化认证协议设计方法研究

Research about the Design of Authentication Protocols

设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题，与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上，采用协议结构化的方法，给出了认证协议的分层设计原则。

Design of secure and effective authentication protocols is an important research subject in crytography and communication area, as well as formal techniques applied to analysis of authentication protocols. We adopt a structural method and present a layered design principle of authentication protocols on the basis of analyzing the secure techniques applied to authentication protocols and protocol types.