协议安全性和分析的目标与前提

摘要：

本文对身份认证协议和密钥建立协议作了详细的分类,并对分类后的各种类型协议的安全目标作了较为详细的逻辑公式刻划,据此给出了新的安全性定义,同时对协议安全性分析提出了若干基本假设.

关键词： 身份认证协议 密钥建立协议 BAN逻辑 协议安全性

作者: 李益发 南相浩

作者单位: 郑州信息工程大学信息工程学院

会议类型: 国内会议

会议名称: 中国计算机学会信息保密专业委员会学术年会

会议地点: 内蒙古呼伦贝尔

会议语种:中文

页码: 91-99

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