论文部分内容阅读
网络安全已成为世人关注的问题,安全协议的形式化验证显得越来越重要,基于Spi演算的验证是一种很好的模型检测方法.我们介绍了Spi演算并扩展了两个基本原语,描述和验证Kerberos协议的认证性,同时指出了该协议的不足之处,最后分析了基于Spi演算的形式化研究的今后发展方向.
基于Spi演算的Kerberos认证协议形式化研究
【摘 要】
：
网络安全已成为世人关注的问题,安全协议的形式化验证显得越来越重要,基于Spi演算的验证是一种很好的模型检测方法.我们介绍了Spi演算并扩展了两个基本原语,描述和验证Kerber
【机 构】
：
上海交通大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年11期
其他文献
摘 要：中职语文教学中，教师有必要通过阅读引导学生体情、悟情；教给学生分析、理解课文的情感方法；促进学生审美素质的发展，以达到增进学生心态健康的目的。关键词：情感教学； 阅读； 体情； 悟情中图分类号：G623．23 文献标识码：A 文章编号：1006-3315（2010）11-152-001列宁说过：“缺乏情感的认识便失去了认识的深入。人的思想只有被浓厚的情感渗透时，才能得到力量，引起积极的注意
《社会主义从空想到科学的发展》的问世,标志着社会主义从空想走向科学。在社会主义发展的140余年中,社会主义既迎来了俄国十月革命的伟大胜利,也经历了苏东剧变的历史教训。
本文针对Web日志中用户会话识别阈值问题,给出一种基于时间密度的频度分析方法.文中首先将基于时间间隔参数刻度的用户访问频度定义为一个随机向量,给出了随机向量的切尾算法
本文在分析分布式入侵检测面临的多源事件关联的基础上,提出了一种应用Bayesian关联算法进行事件分类处理的方法,该方法用Bayesian算法进行事件分类处理,能对事件进行过滤、
随着计算机网络的迅速发展和个人计算机处理能力的不断提高,P2P技术已高度重视其新的特性.但是,P2P系统的高度动态性和资源的广泛分布性使基难以其享资源.本文讨论了P2P系统