身份认证和密钥建立协议安全性的分类定义

摘要：

本文在基本概念中给出了一种新的逻辑语义,在此基础上对身份认证协议和密钥建立协议做了更细的分类,并对分类后的各种类型协议的安全目标作了较为详细的逻辑公式刻划,最后据此给出了新的安全性定义.

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

作者: 李益发 吕述望 南相浩

作者单位: 郑州信息工程大学信息工程学院 中国科学院研究生院国家信息安全重点实验室

会议类型: 国内会议

会议名称: 第七届中国密码学学术会议

会议地点: 威海

会议语种:中文

页码: 290-300

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