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

计算机科学 2011年第02期杂志 文档列表

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

P2P中基于信任和属性的访问控制28-31

摘要：P2P具有无集中控制节点、节点对等自治和网络动态的特点,这些特点为实施访问控制带来很大的挑战,传统的访问控制技术不能很好地适应对等网环境。首先对现有的对等网环境中的访问控制技术进行研究,然后在基于信任模型的角色访问控制的基础上,针对无法区分通过信任模型计算出相同结果的用户的问题,提出了基于信任和属性的访问控制。基于信任和属性的访问控制引入资源属性和用户属性来分别描述资源和用户,依据用户属性、信任模型计算出的数值、环境属性和授权策略来建立用户角色指派关系,依据资源属性和授权策略来建立角色权限指派关系,从而解决基于信任模型的角色访问控制存在的问题。

网络安全策略求精一致性检测和冲突消解机制的研究32-37

摘要：通过对基于策略的网络安全管理的研究,分析了现有网络安全策略冲突检测和消解方法存在的不足。基于策略求精的思想和安全策略冲突分类技术,建立基于策略的网络管理安全级模型,并用扩展的XACML语言加以描述。根据策略行为间的关系,采用知识推理技术,动态分层地对相应安全级策略进行一致性自动检测和实时冲突消解,使其具有良好的可重用性和可扩展性,以利于安全策略管理效率的提高。并通过策略求精访问控制的应用实现进行了验证。最后给出了未来的研究方向。

红外线通信系统中的GBN-ARQ协议时延性能研究38-41

摘要：由于红外线通信半双工的特点,GBN-ARQ重传机制与全双工传输链路上的GBN-ARQ重传机制有很大不同。研究了半双工传输链路上的GBN-ARQ重传机制,分析了该机制在半双工传输链路上的传输特征,将影响传输系统的因素参数化,在此基础上利用排队理论分析系统时延组成,求得了GBN-ARQ系统的分组平均等待时延与平均分组服务时延的一般表达式。通过数值仿真分析了分组传输正确率、发送窗口长度以及分组长度对系统时延的影响。

基于Ad hoc网的身份型广播加密方案46-49

摘要：考虑到动态Ad hoc网的安全性及效率难以兼顾的问题,提出一种有效的基于动态网络的广播加密方案,并给出严格的安全性证明。该方案建立在标准模型下,当用户之间通过广播方式传递信息时,采用双线性对运算对任意数量无状态用户可实现完全抗串谋攻击。在密钥提取过程中,通过引入身份随机数并利用撤销用户身份集合进行加密,使得新用户可以动态加入群却不改变加解密密钥和密文的长度,其大小不超过O（1）。同时,所有有效操作过程在O（r）时间内完成,不依赖于用户总人数m,从而大大提高了算法的传输及存储效率。安全性验证表明,该方案在GD-DHE假设下是抗静态敌手IND-IN-CPA安全的。

一种基于智能卡的匿名公平移动支付系统50-54

摘要：提出了一种基于智能卡的匿名公平移动支付系统模型,基于该模型提出了一个可追踪匿名的脱线式数字现金协议,它使用智能卡作为分布匿名,实现了数字现金的动态匿名和兑零的功能[证明了匿名数字现金满足安全性和可追踪匿名性,该协议的效率高于基于盲签名和匿名服务器技术的协议。提出了一个关于时间敏感商品的公平移动支付方案,即使用智能卡实现交易中介功能,减少了使用时间戳和全局统一时钟的代价。业已证明该方案是公平的。

稳定有界Petri网的进程表达式55-58

摘要：文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。

基于多蚁群算法的无线传感器网络路由的跨层设计59-62

摘要：针对事件驱动型无线传感器网络对数据传输的强实时性和高可靠性的要求,将统计获得的节点接入效率和负载队列长度等MAC层状态信息作为路由度量参数。考虑到蚂蚁网络算法在重负荷网络中存在传输延迟大、聚合速度慢等缺陷,提出了一种基于多蚁群算法的负载感知和高效接入的跨层路由协议,该协议把节点的单跳延迟、负载及带宽接入效率等参数作为路径的启发值进行路由优化。仿真结果表明,基于多蚁群算法的路由协议能够保证数据传输的实时性,能够实现无线传感器网络的拥塞控制及负载平衡。

基于存储环境感知的重复数据删除算法优化63-67

摘要：在备份和归档等存储应用中产生的重复数据在存储空间和能耗上造成的浪费问题日益突出,如何删除重复数据已成为当前存储领域中的研究热点。CDC（Content-Defined Chunking）是一种适用于多种应用环境的重复数据删除算法,但缺乏针对具体应用环境的优化。通过对存储环境进行感知和分析,为CDC算法提出了两个参数选择约束条件：（1）根据存储设备中的数据块存储方式来选择平均分块大小等参数;（2）根据数据的分块边界分布特性来选择分块边界特征值参数。实验表明,与无约束条件的CDC算法相比,这两个约束条件在4个实验数据集上平均可提高16.3%的数据缩减比。

基于RTP/RTCP的VoIP智能切换技术的实现方法研究68-71

摘要：为满足通信接入需求的多样性,接入网络的异构融合将成为下一代网络的必然趋势。为了解决由于异构网络和终端性能的不稳定及用户需求的实时变化而导致的通话连续性差的问题,提出了一种面向用户的基于RTP/RTCP的VoIP系统智能切换技术。通过对RTP/RTCP协议的应用扩展,系统实时检测VoIP会话的端到端网络的QoS性能,并对终端和网络性能、用户信息进行采集,从而使系统可根据用户所需的业务性能需求、所处的网络环境、终端性能、用户偏好等,智能地将用户切换到最佳的可用网络和终端,以满足服务连续性与接入方式多样性的需求。

改进的混合蛙跳算法在传感器配置优化中的应用72-75

摘要：传感器配置优化是可测性设计的重要研究内容,将混合蛙跳算法应用于传感器配置优化是一种新的尝试。针对传感器配置优化属于离散问题求解,提出离散的混合蛙跳算法,设计了一种离散化的更新方式。为克服蛙跳算法的早熟收敛问题,在改进的离散蛙跳算法中采用混沌优化算法以概率的形式对全局极值进行了优化。最后通过具体系统实例验证了该方法的正确性和有效性。

基于DV-Hop定位算法的改进研究76-78

摘要：在无线传感器网络DV-Hop定位算法中,网络平均跳距离的估算是决定定位精度的重要因素之一。传统的DV-Hop定位算法只考虑了最近一个锚节点估计的平均跳距,从而导致定位误差较大。为了提高节点定位精度,在原算法基础上提出了一种改进算法,考虑使用多个锚节点估算的平均跳距离并且采用加权平均跳距代替传统算法中的平均跳距。仿真实验结果表明,在相同的网络环境下,改进后的算法能有效地减少跳距计算带来的定位误差,提高定位精度。

空间信息网络环境下一种基于双层卫星网络的认证路由协议79-81

摘要：以空间信息网络环境为背景,介绍了空间信息网络的概念,分析了卫星网络路由的研究现状和卫星网络拓扑结构路由需求。在卫星网络安全路由需求的基础上研究了卫星网络路由协议,提出了一种基于双层卫星网络的认证路由协议,并对该认证路由协议的安全性进行了证明。结果表明,该认证路由协议对卫星网络路由消息的安全性有了很大提高。

基于会话的应用特征自适应提取82-85

摘要：提取网络应用特征,对于准确地识别应用层流量,进一步提供差异性服务、QoS保障、入侵检测、流量监控以及计费管理等应用具有很重要的意义。然而目前还没有有效的应用特征自动提取方法。提出了一种自动提取应用特征的新方法,该方法能够从应用层的会话中提取频繁项集,经过冗余项过滤及基于识别率的自适应特征选择获取识别应用协议的最小特征集。采用识别率和正确率对所提取的特征进行评估。实验结果表明,该方法是有效的,所提取的特征具有准确性,能用于应用层流量的精确识别。

Ad hoc网络节点不相交多路径距离矢量路由协议86-90

摘要：AMR算法是Ad hoc网络计算节点不相交最大路径集合的累积多路径路由机制。针对节点不相交多路径源路由协议MNDP及SMNDP存在的问题,整合按需距离矢量路由AODV和AMR算法,提出了节点不相交多路径距离矢量路由协议MDVR。MDVR协议建立的路径信息分布在网络节点中,可缩短路由分组长度以及减轻路由发现源节点建立路由的负担;可防止攻击者通过篡改路由消息中的路径信息攻陷协议。

LTE中MBMS服务DSI设计91-94

摘要：在LTE系统中,动态调度对提高MBMS业务资源利用效率具有重要的理论与实际意义,而动态调度信息的设计亦是其中重要的一环。在详细讨论现有DSI设计方案存在的问题及其对MBMS业务影响的基础上,严格参照国际公认的3GPP标准业务模型与LTE协议栈,搭建OPNET仿真平台对问题进行仿真研究,以期压缩DSI信息比特数,达到减小MTCH信道指示信息所必需的控制信息开销的目的。对相关问题的仿真结果表明,所提出的以差分偏移表示DSI的设计方案可切实有效地节省DSI比特开销,对推动LTE的发展具有重要价值。

异步交互的Web服务的相容性分析95-99

摘要：Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法。

流密码Rabbit的安全性分析100-102

摘要：通过分析流密码算法Rabbit的设计弱点,提出了一种针对Rabbit密钥流生成器的密钥恢复攻击。攻击分3个阶段分别猜测96bits、96bits和5bits依次恢复状态变量、计数器变量以及密钥种子。结果表明,整个过程的预计算复杂度为O（2^96）,时间复杂度为O（2^97）,所需存储空间为O（2^95.81）。与已有的攻击算法相比,其增加了预计算复杂度和存储空间,但降低了时间复杂度。

基于超边际分析的分布式资源分配模型103-105

摘要：对以充分利用空闲资源为目的的分布式计算环境来说,可用节点具有波动性,网络环境具有不确定性,从而影响计算效率。提出一种基于超边际分析的分布式计算资源分配方法,该方法把计算任务分配到具有比较优势的节点,选择执行能力更强的节点进行计算,提高了分布式计算环境中资源分配的效率。仿真结果表明此方法合理、有效,适用于分布式计算环境。