| 一种安全协议的机器证明算法 |
| |
| 引用本文： | 黄连生,王新兵,谢锋,杨克.一种安全协议的机器证明算法[J].计算机工程与应用,2001,37(4):23-25,28. |
| |
| 作者姓名： | 黄连生 王新兵 谢锋 杨克 |
| |
| 作者单位： | 清华大学计算机系 |
| |
| 基金项目： | 国家自然科学基金项目!（项目编号：69872019） |
| |
| 摘 要： | 安全协议的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同，文章的算法是证伪的从“攻击者”的角度出发，避免了“有限状态机”方法的复杂“状态空间”的搜索。
|
| 关 键 词： | 安全协议 形式化 |
An Automatic Authentication of Security Protocol |
| |
| Huang Liansheng Wang Xinbing Xie Feng Yang Ke.An Automatic Authentication of Security Protocol[J].Computer Engineering and Applications,2001,37(4):23-25,28. |
| |
| Authors: | Huang Liansheng Wang Xinbing Xie Feng Yang Ke |
| |
| Abstract: | Formal authentication of security protocol is an important field of network security.This paper introduces an algorithm of automatic authentication. Unlike traditional method,this paper is falsification based on intruder,so we avoid the complexity of finite-state machine. |
| |
| Keywords: | security protocol formalize |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
