基于NS2的CSMA/CD协议的模拟及分析

NS2是目前学术界广泛使用的一种网络仿真软件,也常被用于计算机网络课程的教学中。在介绍NS2模拟网络运行的一般流程和一些常用的分析工具的基础上,描述了以太网MAC子层协议CSMA/CD的工作原理,实验模拟运行及对跟踪文件的分析说明了以太网的数据传送方式及性能影响因素,可以很好地用于计算机网络课程中以太网协议内容的教学。     

基于着色petri网的安全协议验证方法

设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．     

Internet路由技术的研究

Ｉｎｔｅｒｎｅｔ 内部路由技术是网络技术的关键技术。ＲＩＰ 和ＯＳＰＦ 是两种内部路由协议, 一种属于距离向量协议, 一种属于链路状态协议． 本文通过对这两种协议的分析比较说明了ＯＳＰＦ 取代ＲＩＰ 的原因．     

用串空间分析路由协议SGSR

用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。     

SSL协议与SET协议的分析与比较

电子商务安全问题的核心和关键是电子交易的安全性,目前电子商务交易中广泛使用的两种安全在线支付协议是安全套接层SSL协议和安全电子交易SET协议。其中,SEL协议已经得到了广泛的应用,而SET协议则是今后的发展趋势。本文首先对这两种协议的工作原理进行了分析和比较,同时对这两种协议各自存在的主要问题进行了深入探讨,并在此基础上提出对这两种协议的改进设想,阐明在未来一段时间里,必将由SET与SSL并存过渡到一种融合SET与SSL的新型安全协议。     

基于MATLAB扩展HL-2ADAS数据处理的两种方法及其比较

介绍了HL-2A DAS数据处理软件中，实现数据处理与图形功能扩展的两种方法．一种是以MATLAB作为主要平台，以C Builder作为接口工具实现数据的复杂处理与图像处理．另一种是用C Builder作为主要平台，调用MATLAB引擎实现数据与图像处理．这两种方法是以MATLAB为主要工具，从不同的角度入手，采用了不同的编程思想．分析了这两种程序开发策略在HL-2A DAS中的运用情况及性能比较．     

一种基于双协议栈转换机制的IPv6网络安全研究

探讨IPv4向IPv6网络过渡的主要技术,并重点提出了双栈技术的安全性,在向IPv6协议的转换过程中,传统的网络安全工具仍然不可或缺,但是它们都必须加以改进以适应IPv6协议的要求．提出了一种基于双栈转换机制的网络动态安全防御体系,并对其应用前景作了展望．     

铸造质量控制中的数理统计方法

数理统计分析是一种十分有效的质量分析和控制手段，生产中最重要的工具包括七种数理统计工具和新七种数理统计工具．以CY6140车床床身铸件的生产过程为例，介绍了如何在铸造生产中应用排列图、因果图找出铸件主要废品及产生废品的主要原因，用散布图判断变量相关性，用直方图判断工序状况并用控制图动态地判断工序波动情况．通过对这些生产实例的分析，介绍了统计方法在铸造生产质量控制中的基本应用．     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大