论文部分内容阅读
设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题，与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上，采用协议结构化的方法，给出了认证协议的分层设计原则。
Designing a secure and effective authentication protocol is a very important research topic in the fields of cryptography and communication, which is in step with the formal analysis of authentication protocols. Based on the analysis of the application technologies and protocol types of authentication protocols, this paper presents a hierarchical design principle of authentication protocols based on protocol structured approach.