|
|||||
|
|
| 模型检测技术和密码协议分析 | |
| 引用本文： | 张玉清 吴建平 等. 模型检测技术和密码协议分析[J]. 计算机科学, 2001, 28(8): 60-62 |
| 作者姓名： | 张玉清 吴建平 等 |
| 作者单位： | 清华大学信息网络工程研究中心, |
| 基金项目： | 国家863项目(No.863-306-ZD08-01-3)基金 |
| 摘 要： | 1 引言密码协议是建立在密码体制基础上的一种交互通信的协议,它运行在计算机通信网或分布式系统中,借助于密码算法来达到密钥分配、身份认证等目的。目前密码协议已广泛应用于计算机通信网与分布式系统中,但密码协议安全性的论证仍是一个悬而未决的问题。九十年代以来,密码协议的形式化分析成为国际上的研究热点。这种方法的出发点是希望将密码协议形式化,而后借助于人工推导,甚至计算机的辅助分析, |
| 关 键 词： | 模型检测技术 密码协议分析 计算机通信网 |
Model Checking and Cryptographic Protocol Analysis |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |