计算机科学杂志 北大期刊 CSCD期刊 统计源期刊

计算机科学 2009年第04期杂志 文档列表

计算机科学杂志计算机网络与信息安全

基于GATS—C4．5的IP流分类68-72

摘要：流分类技术在网络安全监控、QoS、入侵检测等应用领域起着重要的作用，是当前研究的热点。提出一种新的特征选择算法GATS-C4．5来构建轻量级的IP流分类器。该算法采用遗传算法与禁忌搜索相混合的搜索策略对特征子集空间进行随机搜索，然后利用提供的数据在C4．5上的分类正确率作为特征子集的评价标准来获取最优特征子集。在IP流数据集上进行了大量的实验，实验结果表明基于GATS-C4．5的流分类器在不影响检测准确度的情况下能够提高检测速度，并且基于GATS-C4．5的IP流分类器与NBK-FCBF（Naive Bayes method with Kemeld ensity estimation after Correlation-Based Filter）相比具有更小的计算复杂性与更高的检测率。

基于改进认证测试理论的高效安全协议验证算法73-76

摘要：提出一种基于改进认证测试理论的高效安全协议验证算法——AAAP（Automatic Analyzer for Authentication Protocols）算法。利用认证测试理论中消息间的偏序关系避免状态空间爆炸的问题，通过算法实现改进认证测试中的三条定理，从而证明安全协议的安全属性。实验证明，该算法能够检测出Neuman-Stubblebine协议中存在的类型攻击，并在对NSL（Needham-Schroeder-Lowe）协议的证明中较其他几种经典算法具有更高的效率。

一种基于P2P机制的虚拟以太网改进设计与实现77-80

摘要：传统基于C／S模式的虚拟以太网的数据在处理过程中需要两次经过协议栈，这在一定程度上影响了远程安全组网的传输效率。提出了一种改进的基于P2P机制的虚拟以太网设计，实现虚拟网络中节点之间的对等连接，能有效克服传统虚拟以太网的不足。测试表明，该设计提高了系统的通信效率，明显改善了虚拟以太网的传输性能。

结构化P2P覆盖网络的Cayley图构造方法研究81-83

摘要：结构化P2P覆盖网络通常都基于某个静态的图结构，而这些静态图又常常是Cayley图或其超图，这些静态图的直径、度等特性可以直接影响到覆盖网络拓扑的路由表大小、路由长度等特性，因此静态图的选择显得非常重要。Cayley图是使用代数群论建立的一类图，它的最大好处是其对称性和点传递性，利用Cayley图的这类性质，可以分析结构化P2P覆盖网络拓扑结构的本质。就几种典型的结构化P2P覆盖网络的静态拓扑，分析了其Cayley图构造方法的本质。

一种基于神经网络权值同步的TinySec协议密钥更新方案84-86

摘要：一种新的神经网络模型通过输出互学习可实现内部权值同步，将该模型用于安全密钥协商具有计算耗费低、通信量少等特点。在介绍权值同步模型的基础上，结合传感器网络安全协议TinySec的密钥更新问题，提出一种基于神经网络权值同步的轻量级密钥更新方案，有效解决了运行TinySec协议的节点密钥文件更新，增强了TinySec协议安全性。

网络磁盘阵列中基于任务排队的多用户请求动态调度策略87-89

摘要：在存储系统中，底层I／O调度策略十分重要，它决定了整个存储系统的效率。一个良好的调度策略可以有效地提高系统的性能。结合网络磁盘阵列的工作特点，提出了一种基于任务排队的动态调度算法，其基本思想是充分利用多个网络用户的请求数据在网络磁盘阵列上的空间连续性，最大限度地减小磁头寻道延迟和旋转延迟，从而降低系统的响应时间。

一个基于双线性对的前向安全的签名方案90-93

摘要：提出了一个基于双线性对的前向安全的签名方案，方案能实现即使签名人的密钥被泄露，之前所产生的签名依然有效。该方案是基于双线性签名体制构造的，具有签字短、安全、高效等优点，不仅能有效抵制任何第三方和原始签名人的伪造攻击和签名人的权滥用，而且能满足强的一切性质。最后，对所提出方案的安全性做了详细分析和讨论。

基于卡尔曼滤波的蠕虫检测方法94-96

摘要：蠕虫对Internet安全构成了严重威胁，检测和防范蠕虫成为网络安全的研究课题。提出了一种基于卡尔曼滤波的蠕虫检测方法，建立适当的数学模型，给出相应的滤波方程，最后进行仿真分析。该方法可以利用实时量测信息不断地修正估计值。仿真结果表明，采用卡尔曼滤波能够快速有效地检测出蠕虫的爆发。

移动环境下基于策略的信道资源管理研究97-100

摘要：为了在移动环境下提高各类业务的服务质量及资源利用率，提出了一种基于策略信道资源管理方法。该方法提出了改进的基于策略的管理框架，并根据网络状态的变化，采用策略来实现信道资源的分配和调整，不仅保证了实时业务能够获得较高的优先占用信道的权力，而且非实时业务也获得了一定的保证。通过策略来实现网络资源的管理，消除了以设备为中心的传统方法常常引发的网络配置差错，大大提高了管理效率和灵活性。

基于二分图的组密钥管理方案设计101-104

摘要：随着基于群组通信应用的不断发展，安全群组通信成为目前分布式计算领域和信息安全领域研究的一个热点问题。有效的组密钥管理是安全群组通信需要解决的关键问题。将一个安全群组通信系统中组成员拥有的辅助密钥与组成员之间的关系用一个二分图表示，将设计组密钥管理方案问题转化为构造满足一定条件的二分图的问题，为设计组密钥管理方案提供了一种新途径。利用构造的二分图设计了一种组密钥管理方案。所设计的组密钥管理方案不需要组管理中心保存树或矩阵等结构，因而降低了组管理中心的存储开销，另外避免了类似LKH方案中维持平衡树的开销。

一种提高TCP性能的移动自组网E-OAODV协议的实现105-107

摘要：为了改善移动AdHOC网络环境下TCP的性能，对AODV的改进协议0AODV协议做了一定的修订，得到E-OAODV（Enhanced Optimal Ad Hoc On-demand Distant Vector）协议。该协议通过在路由失效时使用来自目的节点的ACK应答信号所包含的路由信息来尝试继续传输数据，同时通过对OAODV和TCP两者的修订来实现在路由重建后尽可能地恢复因路由失效所丢失的数据包。NS2下的仿真结果表明，E-OAODV对断线点离源节点较近的情况下的TCP性能有较显著的改善，尤其在路由总跳数较大时。

IPv6下基于病毒过滤防火墙的设计与实现108-111

摘要：包过滤防火墙无法检测出网络病毒，因此对其研究很有必要。设计的防火墙屏蔽了Linux自身的TCP／IP协议栈，重新构建了适合防火墙专用的TCP／IP协议栈，完成了防火墙上TCP协议的连接保持、数据包确认、文件传输等功能。防火墙主要考虑了HTTP协议下的文件过滤，使得内网主机在通过H1vrP协议下载文件时自动过滤病毒文件，保证内网主机的安全；防火墙以Linux可加载内核模块形式实现，可以过滤链路层以上的各层；为提高病毒检测速度，提出了将病毒检测软件运行在核心态的方法。实验结果表明：设计的防火墙在性能和功能上都达到了预期目的。

SUPANET信控管理平台的UNI和NNI研究112-115

摘要：单物理层用户数据传输与交换平台体系结构（SUPA）是由四川省网络通信技术重点实验室提出的、基于“面向以太网的物理帧时槽交换”（EPFTS）技术的下一代Intemet（NGI）体系结构。此前对EPFTS技术的研究主要针对用户数据交换平台（U-平台）。从SUPA第二阶段过渡的需要，进一步将信控管理平台（S＆M_平台）的下部两层结构简化为单层EPFTS结构，从而形成4层的S＆M-平台。定义了该平台的用户-网络接口（UNI）和网络-网络接口（NNI）并对相关接口上的典型协议在新环境中进行了仿真，以证实其可行性。

基于多路径蚁群算法的无线传感器网络的路由116-118

摘要：针对能量控制在无线传感器网络路由上的特殊要求，为了促使网络节点能量消耗相对均衡，将基本蚁群算法（ACS）应用于无线传感器网络的路由，提出一种基于多路径蚁群算法的无线传感器网络的路由（MACS）。该算法利用蚁群的自组织、自适应和动态寻优能力，通过蚂蚁并行地寻找从源节点到达目的节点的最优路径和次优路径，使得网络中的节点不需要维护全局信息，形成多条传输路径，延长了整个网络的生命期。仿真结果表明，该算法和定向扩散路由（DD）、基本蚁群算法及极大-极小蚁群算法（MMAS）相比，在路由代价和节能方面效果显著。

基于RSSI测距的传感器网络定位算法研究119-120

摘要：基于RSSI（Received Signal Strength Indicator）的测距技术根据理论或经验信号传播模型将传播损耗转化为距离。在实际应用环境中，由于多径、绕射、障碍物等因素，无线电传播路径损耗使得定位过程中产生距离误差。通过对二维空间定位过程中产生距离误差区域进行分析，提出了基于RSSI的新的定位算法ERSS。该算法计算简单，定位过程中节点间不增加通信开销，无需硬件扩展。仿真实验表明，该算法较普通的基于RSSI的测距方法有了明显的改进，提高了距离估计的精度，适合在通信开销小、硬件要求低的传感器网络节点上应用。

一种改进的多跳网络802．11DCF分析模型121-124

摘要：提出了一种改进的多跳环境下的IEEE802．11 DCF分析模型。新模型考虑了多跳网络中，发送和接收节点之间进行分组交换时，即使在RTS／CTS握手成功的情况下，仍然会出现由于邻节点干扰而导致后续帧交换失败的因素，对成功传输条件做了更为严格的约束，从而修正了原模型中的一个重要缺陷。对两个模型所做的仿真验证结果表明，新模型具有比原模型更好的准确性。

一种主动网络中报文转发机制的研究125-128

摘要：主动网络是一种新型的网络体系，不仅可以传送数据包，而且还可以执行数据包中特定的运算任务。主动网络为用户提供了可编程的接口，用户可通过网络中的节点动态地注入所需的服务。而传统网络管理不适应主动网络管理，因而不能发挥主动网络的分布式计算能力。讨论了一种基于节点的主动网络管理模型，分析了该模型的结构、管理机制和设计要点，并对网络拓扑发现和流量进行了分析。

计算机科学杂志软件工程与数据库技术

Jikes RVM动态编译技术分析与性能评测129-132

摘要：随着Java语言的广泛应用，Java虚拟机的性能越来越受到人们重视，而虚拟机的动态编译技术是影响其性能的重要因素。Jikes RVM使用Java语言实现了一个Java虚拟机。首先分析了Jikes RVM的3个主要动态编译器的结构及其涉及的关键编译技术，包括基线编译、优化编译和自适应编译，然后利用SPECjvm Client98对Jikes RVM和Sun JVM的动态编译性能进行了测试和比较。测试结果显示，Jikes RVM的性能和Sun JVM性能基本相同。最后针对Jikes RVM的不足提出了改进Jikes RVM编译器的方法。