基于虚拟多任务机制的OSPF-2的设计与实现

OSPF（Open Shortest Path First Protocol）协议是目前Internet上广泛使用的自治系统内部交换路由信息的动态路由协议。文章介绍了在清华大学研制的国产高性能路由器中分布式路由协议OSPF－2的具体实现。为了实现这一复杂的动态协议,文章提出了基于事件驱动的虚拟多任务机制的设计和实现方法。这种机制能够有效支持复杂系统的分解,在实时性要求不高的前提下提供一种简便有效的并行机制,方便基于状态机的软件实现,提高了软件的可移植性。该方法对于其它的Internet高层协议的设计和实现也有一定的参考价值。     

基于TTCN的测试序列选择技术研究

测试序列选择技术一直是协议测试领域中一个研究热点,本文对此技术进行了深入地探讨,建立了测试集动态关系模型,并以此为基础邮综合静态选择和动态选择的一种实现方案。     

分布式路由协议BGP-4的实现与优化

边界网关协议ＢＧＰ－４是用于自治系统之间交换路由信息的动态分布式路由协议。文中介绍了清华大学研制的国产高性能路由器中分布式路由协议ＢＧＰ－４的具体实现。为了提高路由器的性能,对ＢＧＰ－４的实现进行了优化,主要优化措施包括单进程体系结构,其于二叉树的支持可变长掩码的路由表和基于静态数组的时钟队列。测试结果表明,该实现在性能上表达了Ｃｉｓｃｏ７０００系列路由器的水平,完全达到了设计要求。     

校园网络Web站点安全防护措施

校园Web站点是校园网建设的一个重要组成部分,学校内外交信息流的平台,教师教学研究和学生学习的重要场所,保证校园网Web站点的正常运行及其数据的安全具有重要的意义。该文参考我院教学改革项目电工电子Web站点设计安全方面的研究,重点分析了校园网络中Web站点出现的安全威胁,并提出校园网Web站点网络安全的防范措施。     

计算机网络实验课程体系探索

计算机网络实验的课程体系的建立必须符合实验教学课程体系整体要求,体现通识基础、技术应用和专业技术多层次的特性,满足多层次学生的不同需求,在计算机网络应用和计算机网络原理等课程的理论基础上,不断完善符合时代要求、紧跟网络技术发展的实验课程内容。本文介绍了我中心在此方面的探索经验。     

路由协议测试的窗口黑盒模型和多通道的测试方法

路由协议测试中的效率和覆盖率亟待提高,原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用,因此在路由协议测试中以窗口黑盒模型描述被测实现,在测试结构上实现了多通道测试方法,提高了测试效率和测试覆盖率,通过与被测模块交互的其它模块,增强了测试的控制观察能力,测试便的执行时间相比原有方式下降50％;消除或减小了以往不能测试的范围和内容,相应测试例个数增加3倍以上;为目前急需的大规模的路由器测试工作奠定了基础。     

基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.     

面向大规模网络的基于政策的访问控制框架

研究防火墙(或过滤路由器)应用于传输网络中的管理问题与吞吐量问题.一方面,手工配置分布在各个接入点的大量防火墙,无法满足开放的、动态的网络环境的安全管理需求;另一方面,大量过滤规则的顺序查找导致了防火墙吞吐量下降.针对一个典型的传输网络和它的安全政策需求,提出了一种基于政策的访问控制框架(PACF),该框架基于3个层次的访问控制政策的抽象:组织访问控制政策(OACP)、全局访问控制政策(GACP)和本地访问控制政策(LACP).根据OACP,GACP从入侵监测系统和搜索引擎产生,作为LACP自动地、动态地分配到各防火墙中,由防火墙实施LACP.描述了GACP的分配算法和LACP的实施算法,提出了一种基于散列表的过滤规则查找算法.PACF能够大量减轻管理员的安全管理工作,在描述的安全政策需求下,基于散列表的规则查找算法能够将传统顺序查找算法的时间复杂度从O(N)降低到O(1),从而提高了防火墙的吞吐量.     

一个面向对象的Internet性能监控模型

性能监控模型和技术是当前Internet运行和管理所面临的关键问题之一.提出了一个面向对象的Internet性能监控模型.该模型已成功运用于CERNET全国主干网络的性能管理.首先综述了当前的各类网络性能管理技术及主要问题.进而抽象出大型计算机互联网络性能管理的主要需求和目标.针对这些问题和需求,提出了系统的网络性能监控和体系结构模型.最后,通过应用实例分析了模型的主要特点.     

海量数据快速批量处理的研究与实现

对海量数据快速大批量抽取和大批量处理进行研究,给出根据不同要求指定的具有一定共性特征的数据集进行交互式批量处理和批量加工的实现方法。