计算机科学杂志

发表咨询:400-808-1731

订阅咨询:400-808-1751

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

Computer Science

  • 50-1075/TP 国内刊号
  • 1002-137X 国际刊号
  • 0.94 影响因子
  • 1-3个月下单 审稿周期
计算机科学是国家科技部西南信息中心主办的一本学术期刊,主要刊载该领域内的原创性研究论文、综述和评论等。杂志于1974年创刊,目前已被维普收录(中)、北大期刊(中国人文社会科学期刊)等知名数据库收录,是国家科学技术部主管的国家重点学术期刊之一。计算机科学在学术界享有很高的声誉和影响力,该期刊发表的文章具有较高的学术水平和实践价值,为读者提供更多的实践案例和行业信息,得到了广大读者的广泛关注和引用。
栏目设置:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别

计算机科学 2008年第06期杂志 文档列表

计算机科学杂志计算机网络与信息技术
基于经典逻辑的安全协议模型检测方法20-24

摘要:本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。

移动协同感知研究综述25-27

摘要:移动感知网在军事、工业、医疗、交通、商业上运用极其广泛。为了进一步提高移动感知网的性能,更好地协同节点的移动感知行为,本文提出了移动协同感知技术。首先介绍了国内外近年来有关移动协同感知技术的发展情况和关键技术,包括移动协同感知模型、移动协同感知中间件、移动协同感知相关技术,然后概括归纳了技术特点,最后总结了移动协同感知技术的研究意义和发展趋势。

P2P流媒体技术研究28-31

摘要:流媒体业务正变得日益流行,然而传统流媒体系统存在着种种不足。最近兴起的P2P技术能够利用客户端节点的资源减轻服务器和骨干网的负担,为解决流媒体内容分发提供了一个新的方向。本文首先阐述了传统流媒体系统的不足之处,以及P2P流媒体系统与之相比的优势,而后通过对P2P流媒体技术研究现状的详细调查,分析了P2P流媒体技术的两个分支——直播与点播的特性要求,并以P2P流媒体系统的典型代表为例说明了当前所采用的主流技术。最后,本文就P2P流媒体技术在应用层拓扑的建立、激励机制、安全性、无线应用以及网络编码等方面的研究进行了讨论,指出了进一步的研究方向。

基于RBAC的P2P网络环境信任模型研究32-36

摘要:P2P网络的匿名性和动态性带来了许多安全问题,传统的分布式访问控制模型以及信任管理模型并不能很好地适应对等网络环境。本文提出了一种信任管理加权限控制的双重验证方法来实现P2P网络环境中的节点协作和资源访问等安全互操作。节点用户通过本文中的轻量级身份证书,不仅可以验证其合法身份,同时也可以通过该证书中用户的相关角色信息来获取对资源的访问控制权限。而且通过证书中的信任度字段,系统可以吊销低信任度的节点的证书,能有效地遏制恶意节点的非法行为。本文重点介绍了用户信任度的计算,以及用户节点身份证书的获取以及权限验证。最后,通过相关的实验,验证了本方法在效率上要优于传统的信任管理模型。

基于P2P环境的分布式数字签名研究及应用37-39

摘要:随着网络安全问题越来越受到重视,数字签名(Digital Sign)技术由于可以提供网络身份认证功能,因而其应用越来越广泛。本文从分析P2P网络的路由算法入手,利用门限密码技术设计了一个基于P2P网络的分布式多重数字签名平台,重点讨论了VSS可验证子密钥的生成和分发,最后对其进行了安全性和密钥分发(VSS)时间的测试。

P2P网络中Netshot路由算法的消息通信机制性能分析40-42

摘要:在基于对等网络的Netshot路由模型的构架下,通过选用节点间不同的组织方式来形成不同的网络形态,对这些网络结构中节点的加入、删除、消息通讯等一系列操作的开销进行推导和验证。对在P2P方式下,节点间不同的连接方式带来的性能差异进行全面的分析、比较。同时对节点出错时系统可靠性和开销进行分析和讨论。

基于资源位置与节点反馈的P2P搜索算法43-45

摘要:为了提高查询效率,本文提出了一种利用位置对节点分群,通过历史查询的搜索反馈结果动态选择转发与实际位置相邻节点的算法(FP算法)。该算法通过计算邻居节点的兴趣相关度,定期调整邻居节点。算法分析和实验结果表明,与泛洪式算法相比本算法在搜索时间上改进约10%~40%,同时很好地控制了总的消息数和重复访问节点的比例,提高了查询效率。

Multi—SoftMan入侵防御系统模型的智能弹性架构46-49

摘要:“软件人”(SoftMan,SM)是在Agent()、智能机器人、人工生命等技术基础上提出的一个新概念,它为解决当前网络入侵检测中存在的诸多问题提供了新的思路。本文在深入研究入侵检测与防护技术的基础上,受“软件人”技术的启示,提出了基于群体“软件人”(Multi-SoftMan,MSM)入侵防御系统的智能协商控制模型及相应的算法。模型采取无控制中心的群体“软件人”结构,充分利用“软件人”本身的独立性、自主性、自学习、自适性、遗传和变异等特性,尽量降低各检测部件间的相关性,避免了单个中心分析器带来的、单点失效问题。每个数据采集部件、检测部件和分析部件都是独立的单元,不仅实现了数据采集的分布化,而且将入侵检测和实时响应分布化,提高了系统的健壮性,真正实现了分布式检测的思想,这有助于解决目前入侵检测系统普遍存在的智能化程度不高、系统不易维护、检测效率低下等问题。

一个基于有色Petri网的自动Web服务合成模型50-54

摘要:提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。定义了一个封闭的web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成。定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成。

一种在区分服务网络中新的三色标记器55-59

摘要:研究了在区分服务体系结构中传统的标记算法,传统的标记算法不能提供标记的准确性和按比例共享带宽的公平性。在此基础上,提出了一种改进的标记算法。该算法在进行数据包的标记时,同时考虑平均速率和瞬时速率两个参数,提高了标记的准确性。当流的速率超过目标速率时,按照正比于数据流的速率的概率将超过速率的流标记为黄色,这样提高了对剩余带宽的公平共享性。试验证明,ITCM算法与传统的标记算法相比,不仅能提高吞吐量,还可以达到剩余带宽的按比例共享。

基于免疫学原理的混合入侵检测系统的设计与实现63-66

摘要:讨论了基于免疫学的入侵检测系统的架构和各模块的功能,重点研究了本文提出的基于改造开发源代码的入侵检测系统Snort的免疫检测器模块的设计,以及免疫检测器的检测流程。以KDDCup99数据集为样本,运用本文设计的基于免疫学原理的混合入侵检测系统进行了入侵检测实验,对全部18种攻击类型行为的平均检测率为64.94%,检测结果令人鼓舞。

高效的基于平面的层次化应用层组播树模型67-70

摘要:应用层组播在Internet上有着广泛的应用。本文在K-叉树结构的基础上提出了一种K-叉平面结构,同时在平面的组织上结合了分层和分簇的思想。K-叉平面结构降低了子树之间的错误关联度;分层分簇降低了组播树的深度,减少了组播管理上的复杂度;在增加一定冗余的前提下,不同平面的簇与簇之间采用小概率通信,提高了数据恢复和数据传递的效率。整体而言,组播树的健壮性得到了很好的保证。仿真实验结果证明本模型能够很好地对端用户进行管理,提高了因某些结点意外失效造成的数据恢复和应用层组播的转发效率。

一个多策略安全模型的研究与设计71-73

摘要:信息系统的安全性越来越受到人们的关注。在安全操作系统的研究过程中,提出了许多安全模型。本文研究了在军事部门使用的、保证信息机密性的BLP模型和在商业部门使用的、保证信息完整性的Clark-Wilson模型。在此基础上,借鉴了RBAC模型中的角色概念,提出了一个能够同时保证信息的机密性和完整性的多策略安全模型MPSM(Multi-Policy Security Model)。文中给出了MPSM的设计,讨论了它的机密性控制策略和完整性校验方法,并且介绍了MPSM的体系结构和各个子模块的功能。

支持移动客户应用的分布式订阅/通知框架74-76

摘要:订阅/通知框架是分布式系统中连接数据源和客户应用的一种常用框架。为了支持客户应用在不同的网络连接节点之间的迁移,实现客户应用移动的透明性,本文对通用的消息/订阅/通知框架进行了扩展,在客户应用移动时,自动引发通知订阅消息的重新发送、通过系统产生的Fetch消息的传递和Replay消息的传递,重构移动客户应用通知消息的传递路径,实现系统缓冲消息按照正确时间顺序重新发送给客户应用。同时该框架支持移动客户应用从多个数据源处订阅消息,具有良好的系统可适应性。

一种基于改进UCONc的网格授权策略规范77-82

摘要:由基于TLA(Temporal Logic of Action)的使用控制策略规范所表达的授权策略得出的决策结果仅能表达简单的“允许”或“拒绝”,这在服务网格中难以实现决策组件与执行组件的合理分工,也不利于独立授权过程的并发执行。因此,本文首先提出了委托凭证作为决策结果的细粒度表达方式,然后对基于条件谓词决策的策略规范进行了改进与扩充,将原来简单的访问状态改进与扩充为委托凭证处理过程的状态组合。决策组件能根据访问请求时的系统状态输出合理的委托凭证,也能根据随后的系统状态变化进行再决策,以转换委托凭证的处理状态。最后对新的策略规范的完备性和正确性进行了证明,并通过实例展示了策略规范的表达能力和访问请求的决策过程。

基于GridSim ToolKits的网格仿真环境设计与实现83-85

摘要:本文在研究GridSim的基础上,设计并实现一种基于GridSimToolKits的网格仿真环境MendSim,该网格仿真环境可以对各种高级调度算法进行模拟并实现对各种网格规则和调度算法的研究。

基于流媒体服务的高性能阵列研究86-89

摘要:伴随着流媒体市场的不断扩大,基于传统架构的服务器不能满足流媒体数据的特点。本文从STRIP SIZE,RAID处理、文件块等方面对流媒体服务器进行研究,针对流媒体应用的特点进行了流媒体服务器的设计,并建立起具有良好性能的流媒体服务器系统。模拟环境的测试结果表明,流媒体服务器的访问速度得到大大提高。

一种基于iSCSI的自适应故障检测器的研究90-94

摘要:故障检测器是构建可靠的iSCSI存储系统所必需的基础组件。本文实现了一种iSCSI系统中自适应故障检测器iAFD(adaptive failure detector for iSCSI)。根据心跳(heartbeat)策略,设计了一种自适应心跳机制。故障检测器通过估计预期到达时间来提供一个探测时间,并动态地估算心跳消息超时时限,以适应系统状态的变化,减少故障检测服务的错误。实验表明,该方法与其它的故障检测方法相比,故障检测出错次数较少,检测时间较短,并能够适应高可靠计算系统状况的变化,在侦测的实时性和正确性上提供较好的平衡。