| 结构化认证协议设计方法研究 |
| |
| 引用本文： | 张勇,陈涵生,白英彩. 结构化认证协议设计方法研究[J]. 计算机工程, 2000, 26(12): 46-48 |
| |
| 作者姓名： | 张勇 陈涵生 白英彩 |
| |
| 作者单位： | 1. 上海交通大学计算机科学与工程系,上海 200030:
2. 华东计算技术研究所,上海 201800 |
| |
| 摘 要： | 设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题，与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上，采用协议结构化的方法，给出了认证协议的分层设计原则。
|
| 关 键 词： | 认证协议 激励－响应 通信协议 结构化 密码学 |
| 文章编号： | 1000-3428(2000)12-0046-03 |
| 修稿时间： | 2000-04-17 |
Research about the Design of Authentication Protocols |
| |
| ZHANG Yong, CHEN Hansheng, BAI Yingcai. Research about the Design of Authentication Protocols[J]. Computer Engineering, 2000, 26(12): 46-48 |
| |
| Authors: | ZHANG Yong CHEN Hansheng BAI Yingcai |
| |
| Affiliation: | ZHANG Yong1, CHEN Hansheng2, BAI Yingcai1 |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
