一种新的认证逻辑系统及其应用

摘要：

本文给出了一种新的逻辑系统,并给出了若干实用的定理,这些定理可更方便地用来分析密码协议的安全性.此外,本文还给出了若干协议的安全性分析实例,在得到协议安全性分析结果的同时,也说明了本系统不仅可以用来分析常见的密钥建立协议的安全性,还可用来分析身份认证协议和非否认协议等其他密码协议的安全性.

关键词： 密码协议 安全性分析 BAN类逻辑 认证逻辑系统 网络安全

作者: 李益发 赵亚群

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

会议类型: 国内会议

会议名称: 全国青年通信学术会议

会议地点: 北京

会议语种:中文

页码: 597-607

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