%0 Journal Article
%T Formal Research of Kerberos Protocol Based on Spi Calculus<br>基于Spi演算的Kerberos认证协议形式化研究
%A 李国强
%A 顾永跟
%A 傅育熙
%J 计算机科学
%D 2004
%I 
%X 网络安全已成为世人关注的问题，安全协议的形式化验证显得越来越重要，基于Spi演算的验证是一种很好的模型检测方法。我们介绍了Spi演算并扩展了两个基本原语，描述和验证Kerberos协议的认证性，同时指出了该协议的不足之处，最后分析了基于Spi演算的形式化研究的今后发展方向。
%K Kerberos认证
%K Kerberos协议
%K 形式化验证
%K 模型检测
%K 网络安全
%K 安全协议
%K 扩展
%K 演算
%K 描述
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=498DE023D9C8D704&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=708DD6B15D2464E8&sid=DF92D298D3FF1E6E&eid=F3090AE9B60B7ED1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=8