计算机科学

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

Computer Science

杂志简介:《计算机科学》杂志经新闻出版总署批准,自1974年创刊,国内刊号为50-1075/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别

主管单位:国家科学技术部
主办单位:国家科技部西南信息中心
国际刊号:1002-137X
国内刊号:50-1075/TP
全年订价:¥ 1000.00
创刊时间:1974
所属类别:计算机类
发行周期:月刊
发行地区:重庆
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:1.6
复合影响因子:0.94
总发文量:9065
总被引量:52317
H指数:66
引用半衰期:3.7625
立即指数:0.0157
期刊他引率:0.8858
平均引文率:12.0993
  • 一种RBAC的描述逻辑表示方法

    作者:马丽 马世龙 眭跃飞 伊胜伟 刊期:2010年第03期

    基于角色的访问控制(RBAC)通过角色来控制用户对资源的访问,极大地简化了安全管理。虽然对RBAC的研究比较成熟,但由于RBAC目前缺乏形式化的表示,使得RBAC中的一些概念和性质存在不同的理解。描述逻辑(DL)是一种基于对象的知识表示的形式化系统,它是一阶逻辑的一个可判定的子集,具有合适定义的语义,并且具有很强的表示能力。为了给出RB...

  • 一种针对邮件服务类应用改进的2Q^*算法及其在存储缓存中的应用

    作者:孟晓烜 司成祥 刘振晗 许鲁 刊期:2010年第03期

    针对2Q算法对于邮件服务类负载所表现出的缓存性能特点提出了一种改进算法2Q^*。模拟实验数据显示,改进后的2Q^*算法在各种缓存容量下都优于包括经典2Q算法在内的其他替换算法。为了验证2Q^*算法在真实系统中的有效性,将该算法集成于F1exiCache系统中并与目前主流的顺序自适应预取策略有机结合。实验结果表明,2Q^*算法不仅能够在实际缓存...

  • 传输子网选择:度数有界最大支撑子图逼近

    作者:凤旺森 张蓓 陈萍 崔健 刊期:2010年第03期

    研究了源于无线网状网络的度数有界最大支撑子图问题:给定连通图G=(V,E)和正整数d〉2,求G的一个最大支撑子图H,满足对V中每个顶点二,v在H中的度数dH(v)不超过d。这里,支撑子图指图G的一个连通而且包括G中所有顶点的子图。就输入图的边是否带权,分别设计了多项式时间近似算法。当输入图为无权图时,证明了近似算法的近似比为2;当输入图...

  • 二维可反向迭代细胞自动机在数据加密中的应用

    作者:夏学文 李元香 曾辉 刊期:2010年第03期

    针对一维触发细胞自动机加、解密速度慢,迭代次数多的问题,提出了一种基于二维触发细胞自动机的数据加密算法。通过部居细胞间的相互作用与共同演化,反向迭代完成数据加密,正向演化完成数据解密。密钥空间,即反转规则表,随着细胞自动机邻居半径增大呈指数增长,且可以根据不同的安全性要求,通过调整细胞自动机的部居半径及加密轮次来实现...

  • 基于3G与WLAN网络改进的切换策略研究

    作者:张历卓 贾维嘉 周仕飞 刊期:2010年第03期

    传统垂直切换技术缺乏切换对称性的考虑,从而导致了切换过程计算复杂度较高。通过对3G和WLAN之间切换过程的分析,提出了基于背景扫描机制的滑动平均值预测法和坡度预测法的改进切换策略。其中滑动平均值预测策略首先实时地计算接收的信号强度平均值,然后统计新接收的信号强度小于该平均值的个数,最后做出切换决策;而坡度预测策略通过计算所...

  • 基于分层象限空间的P2P超级节点查找技术

    作者:冯劲潇 陈贵海 谢俊元 刊期:2010年第03期

    在目前的非结构化超级节点查找中,采用简单的泛洪或随机游走消息传递方式,效率不高,同时系统没有将非结构模糊查询和结构化数据定位方式有效地结合。提出一种基于分层象限空间的新型超级节点结构Quad,并在Quad上实现了两种非结构化超级节点查找方法:一是回溯扩展查找方法,该方法将泛洪和随机游走方式进行折衷,兼顾了网络流量和查询长度;...

  • 窄带Ad hoc网络端到端拥塞控制机理分析

    作者:牛大伟 于卫波 王海 郭晓 刊期:2010年第03期

    基于窄带半双工信道的军用无线网络限制了ACK反馈信息的及时性和有效性,使得单程时延和交付概率等端到端传输指标成为发现网络拥塞的有效途径。利用M/G/1模型的排队方法分析和揭示了无线自组织网络中节点拥塞程度、链路层参数以及业务层面的性能参数之间的量化关系,从而为窄带无线自组织网络的拥塞控制协议设计提供了理论依据。

  • 电磁分析环境下密码设备面向实际的安全性度量

    作者:张鹏 邓高明 邹程 陈开颜 赵强 刊期:2010年第03期

    为在充斥电磁分析旁路攻击敌手的危险环境下评估密码设备的安全性,通过将密码学标准黑盒模型中的敌手能力进行加强,在物理可观测密码术模型的框架内,定义了具有电磁泄漏信息分析能力的密钥恢复敌手与不可分辫性判定敌手。分别以敌手成功率定量度量与敌手优势定性度量,给出密码设备面向实际的安全性度量方式。通过成功率度量方式的实验,比较...

  • 一种增强的程序行为异常检测方法

    作者:谢丰 谢丽霞 刊期:2010年第03期

    程序行为异常检测是保护应用程序的重要方法。针对异常检测的数据源选择问题,提出一种细粒度的安全审计事件L-Call,用来刻画程序行为,该事件本质上是一种具有位置属性的系统调用。为了评估程序行为偏离程度,提出一种基于切比雪夫不等式的异常度量化方法,用以在序列概率分布未知情况下估算异常强度。最后实现了基于马尔科夫模型的检测原型系...

  • MIMO系统中的自适应比例公平调度算法研究

    作者:谭力 苏钢 朱光喜 王玲 刊期:2010年第03期

    在MIMO系统中,通过在每个时隙选择信道条件最好的用户进行通信,可以利用无线通信系统的多用户分集大大提高系统吞吐量,但该方法存在公平性差的缺点。主要关注应用机会波束形成的MIMO系统的公平性。提出了一种自适应比例公平调度算法来提高长时间处于较差信道条件下的用户的吞吐量,从而提高系统的公平性。在每个时隙,基站监测每个用户的实时...

  • 量子纠错码的一个统一构造方法

    作者:钱建发 马文平 刊期:2010年第03期

    在量子通信和量子计算中,量子纠错码起着至关重要的作用。人们已经利用Hamming码、BCH码、Reed-Solomon码等各种循环码、常循环码、准循环码来构造量子纠错码。利用准缠绕码将这些构造方法统一起来,给出了准缠绕码包含其对偶码的充分必要条件及准缠绕码的一个新构造方法,并且利用准缠绕码构造了新的量子纠错码。

  • 标准模型下可证安全的多身份单密钥解密方案

    作者:明洋 王育民 庞辽军 刊期:2010年第03期

    多身份单密钥解密方案是基于身份加密方案的一个变体,用户的一个解密密钥可以对应于多个公钥(身份),即单一的密钥可以解密多个不同公钥加密下的密文。在双线性对,提出标准模型下可证安全的多身份单密钥解密方案。在判定性:q-TBDHE假设下,证明了所提方案在适应性选择密文和身份攻击下是不可区分的。

  • 面向开放移动网络环境的新一代中间件技术研究

    作者:李琪林 王敏毅 周明天 刊期:2010年第03期

    结合现有网络计算环境的特点,对适用于开放、移动网络环境的新一代中间件技术进行了研究。在分析今天网络环境关键特征的基础上,提出了新一代中间件系统需要满足的技术需求;从所针对的问题角度对新一代中间件系统面临的主要挑战进行了详细的讨论,包括上下文感知、环境自适应、开放式协作、服务发现和普适互操作等,并给出了一些解决方案。

  • 一种新的QoS感知的Ad Hoc网络多径DYMO路由协议

    作者:韩冰青 陈伟 张宏 刊期:2010年第03期

    DYMO是Ad Hoc网络中一种动态的按需路由协议,本质上属于单径路由协议,而多径路由能更好地支持QoS。首先分析了DYMO协议的优点及存在的问题,在此基础上将DYMO和服务质量QoS及多径路由结合起来,提出一种新的QoS感知的多径DYMO路由协议QA-DYMO,利用多条链路不相交路径来发送数据,并提出一种QoS感知的路由算法。该协议能够适应网络的动态变化...

  • 认证协议中数据同步的分析

    作者:邓淼磊 黄照鹤 杨录山 周利华 刊期:2010年第03期

    认证双方数据的同步是认证协议以及认证密钥交换协议的基本要求,但是在协议设计过程中难以把握且经常被忽视。对近年来可证明安全的一个RFID认证协议和一个RFID认证密钥交换协议以及可证明安全的一个移动卫星通信系统认证密钥交换协议进行了仔细分析,分别发现了针对这些协议的数据同步攻击,这些攻击破坏了协议的可用性。最后分别给出了改进方...