|
|||||
|
|
| 网络安全中的两种认证协议及安全性分析 | |
| 引用本文： | 安兴朝,,房至一,,丛士佺,.网络安全中的两种认证协议及安全性分析[J].吉林大学学报(理学版),2006,44(6):190-194. |
| 作者姓名： | 安兴朝 房至一 丛士佺 |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 长春 130012; 2. 吉林大学 符号计算与知识工程教育部重点实验室, 长春 130012 |
| 摘 要： | 研究对称密钥算法产生的安全问题. 根据网络安全的特点设计了两种简单认证协议: 点到点简单认证协议和可信第三方的简单认证协议. 通过使用形式化分析方法（基于知识与信念推理的模态逻辑方法〖CD2〗SVO逻辑）, 对以上两个认证协议进行了安全性分析, 证实其达到了面向密钥的目标、 密钥确认目标和相互信任密钥目标. |
| 关 键 词： | 认证协议 形式化分析 SVO逻辑 |
| 收稿时间： | 2006-05-29 |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 | |