作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2000, Vol. 26 ›› Issue (12): 46-48.

• 论文 • 上一篇    下一篇

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

张勇,陈涵生,白英彩   

  1. 上海交通大学计算机科学与工程系 上海 200030,华东计算技术研究所 上海 201800,上海交通大学计算机科学与工程系 上海 200030
  • 发布日期:2000-12-25

Research about the Design of Authentication Protocols

ZHANG Yong1, CHEN Hansheng2, BAI Yingcai1   

  1. (1.Dept. of Computer Science and Engineering ,Shanghai Jiaotong University ,Shanghai 200030; 2.East-China Institute of Computer Technology ,Shanghai 201800)
  • Published:2000-12-25

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

关键词: 认证协议, 激励-响应, 协议因子

Abstract: 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.

中图分类号: