基于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: | |
本文献已被 维普 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|