| 基于Spi演算的Kerberos认证协议形式化研究 |
| |
| 引用本文： | 李国强 顾永跟 傅育熙. 基于Spi演算的Kerberos认证协议形式化研究[J]. 计算机科学, 2004, 31(11): 7-10 |
| |
| 作者姓名： | 李国强 顾永跟 傅育熙 |
| |
| 作者单位： | 上海交通大学计算机系,上海,200030;上海交通大学计算机系,上海,200030;上海交通大学计算机系,上海,200030 |
| |
| 基金项目： | 国家杰出青年科学基金资助项目(编号:60225012). |
| |
| 摘 要： | 网络安全已成为世人关注的问题，安全协议的形式化验证显得越来越重要，基于Spi演算的验证是一种很好的模型检测方法。我们介绍了Spi演算并扩展了两个基本原语，描述和验证Kerberos协议的认证性，同时指出了该协议的不足之处，最后分析了基于Spi演算的形式化研究的今后发展方向。
|
| 关 键 词： | Spi演算 Kerberos协议 测试等价 |
Formal Research of Kerberos Protocol Based on Spi Calculus |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
