首页 | 本学科首页   官方微博 | 高级检索  
     

基于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:
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号