认证协议安全分析

摘要：

认证协议是网络系统安全性机制中的重要部分，在设计实现中需要避免产生安全缺陷。该文简单总结协议安全缺陷的研究，介绍我们改进的一种协议分析逻辑，然后将讨论无新时性缺陷的分析。

关键词： 认证协议 逻辑 分析 网络 安全

作者: 石春晖 赵战生

作者单位: 大北京研究生院信息安全国家重点实验室

会议类型: 国内会议

会议名称: 第十三届全国计算机安全技术交流会

会议地点: 黄山

会议语种:中文

页码: 96～104

在线出版日期: 1998-08-01（万方平台首次上网日期，不代表论文的发表时间）