论文部分内容阅读
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。
安全协议的形式化分析方法研究
【摘 要】
：
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2003年05期
其他文献
在数据挖掘中关联规则的频繁项集计算时 ,通过一种改进的Apriori算法 ,即用升序替代原来的按字母次序对项集进行排序 ,可大大精简候选频繁集 ,而且能保持频繁集的完整性 ,减少计算开销。
呼伦贝尔学院建筑工程学院始建于1987年，2005年在原有建筑工程技术、工程造价、工程监理等生源较好的专科专业基础上，相继增设了土木工程、工程管理两个本科专业，提升了办学层次
针对我国尚未制定判例法的现状，论述了建立判例法制度的必要性与可行性，指出为适应司法改革的客观要求，我国应建立判例法制度，形成以成文法为主体，判例法为补充的中国特色的社会主
XML扩展标记语言与XSL样武表达语言的应用是一种真正的数据与表现分离的机制,由于其特有的优势,在J2EE构架中有着重要而广泛的应用。可以真正解决动态的数据处理、业务流异步消息机制、动态的界面生成等关键的应用技术问题。本文就有关的技术作了比较详细的研究并进行了实例应用,相信会对基于J2EE构架的开发应用有重要的帮助。
EMS能量管理系统中的高级应用软件，是基于SCADA功能之上，经过对电网实时遥测和遥信信息处理，再对电网进行科学的、安全的、经济分析，以便保证电网运行更加优质、更加稳定。
查询是数据处理软件中常用的功能之一。因此 ,构建一个独立于具体应用的中文通用查询具有广泛的实用价值。本文介绍了一种通用查询类并支持中文查询功能。
解放思想、实事求是是中国共产党的思想路线，是毛泽东思想和中国特色社会主义理论体系活的灵魂．实事求是是马克思主义中国化的必然要求，解放思想是是实现实事求是的前提条件．在社
本文根据最大熵原则和贝叶斯公式 ,提出了一种针对图像多阈值分割的有效的分等级方法。在该方法中 ,不用假定图像直方图分布为高斯分布。为了确定最佳的阈值 ,有五种条件概率分布式供选择。实验证明 :我们提出的方法是有效的 ,在速度方面也有很大改善
本文提出一种基于网络活动行为图的入侵检测模型(GrIDS)。GrIDS模型采用分层的体系结构,收集被监控的计算机的活动数据以及网络流量数据,并将此信息集合为网络活动的行为图,以表征因果结构的网络活动,从而几乎实时地检测大规模的自动或协同攻击。
报道了红茶-KBrO3-H2SO4的非催化振荡反应,研究了各反应物（红茶、KBrO3和H2SO4）浓度、反应温度对非催化振荡反应的影响,计算了反应活化能,并分析了催化反应与非催化反应的不同,