杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：徐畅 刘吉锋 孙吉贵 刊期：2008年第06期
本文分别以安全协议模型检测器SATMC和ProVerif为例，介绍了基于经典逻辑的安全协议模型检测两种方法：SAT方法和归结方法，并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
作者：滕文星 李士宁 尹小燕 刊期：2008年第06期
移动感知网在军事、工业、医疗、交通、商业上运用极其广泛。为了进一步提高移动感知网的性能，更好地协同节点的移动感知行为，本文提出了移动协同感知技术。首先介绍了国内外近年来有关移动协同感知技术的发展情况和关键技术，包括移动协同感知模型、移动协同感知中间件、移动协同感知相关技术，然后概括归纳了技术特点，最后总结了移动协同感...
作者：鲁逸峰 王劲林 苏少炜 刊期：2008年第06期
流媒体业务正变得日益流行，然而传统流媒体系统存在着种种不足。最近兴起的P2P技术能够利用客户端节点的资源减轻服务器和骨干网的负担，为解决流媒体内容分发提供了一个新的方向。本文首先阐述了传统流媒体系统的不足之处，以及P2P流媒体系统与之相比的优势，而后通过对P2P流媒体技术研究现状的详细调查，分析了P2P流媒体技术的两个分支——直...
作者：文珠穆 卢正鼎 唐卓 辜希武 刊期：2008年第06期
P2P网络的匿名性和动态性带来了许多安全问题，传统的分布式访问控制模型以及信任管理模型并不能很好地适应对等网络环境。本文提出了一种信任管理加权限控制的双重验证方法来实现P2P网络环境中的节点协作和资源访问等安全互操作。节点用户通过本文中的轻量级身份证书，不仅可以验证其合法身份，同时也可以通过该证书中用户的相关角色信息来获取...
作者：刘汝正 刊期：2008年第06期
随着网络安全问题越来越受到重视，数字签名（Digital Sign）技术由于可以提供网络身份认证功能，因而其应用越来越广泛。本文从分析P2P网络的路由算法入手，利用门限密码技术设计了一个基于P2P网络的分布式多重数字签名平台，重点讨论了VSS可验证子密钥的生成和分发，最后对其进行了安全性和密钥分发（VSS）时间的测试。
作者：向学哲 刊期：2008年第06期
在基于对等网络的Netshot路由模型的构架下，通过选用节点间不同的组织方式来形成不同的网络形态，对这些网络结构中节点的加入、删除、消息通讯等一系列操作的开销进行推导和验证。对在P2P方式下，节点间不同的连接方式带来的性能差异进行全面的分析、比较。同时对节点出错时系统可靠性和开销进行分析和讨论。
作者：孙华志 侯洁 刊期：2008年第06期
为了提高查询效率，本文提出了一种利用位置对节点分群，通过历史查询的搜索反馈结果动态选择转发与实际位置相邻节点的算法（FP算法）。该算法通过计算邻居节点的兴趣相关度，定期调整邻居节点。算法分析和实验结果表明，与泛洪式算法相比本算法在搜索时间上改进约10％～40％，同时很好地控制了总的消息数和重复访问节点的比例，提高了查询效率...
作者：马占飞 郑雪峰 曾广平 涂序彦 刊期：2008年第06期
“软件人”（SoftMan，SM）是在Agent（）、智能机器人、人工生命等技术基础上提出的一个新概念，它为解决当前网络入侵检测中存在的诸多问题提供了新的思路。本文在深入研究入侵检测与防护技术的基础上，受“软件人”技术的启示，提出了基于群体“软件人”（Multi-SoftMan，MSM）入侵防御系统的智能协商控制模型及相应的算法。模型采取无控制中...
作者：张昭理 洪帆 刊期：2008年第06期
提出了一个基于有色Petri网的自动Web服务合成模型，为Web服务的合成提供语义支持，提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。定义了一个封闭的web服务合成算法，通过算法获得的框架能够对Web服务进行说明性的合成。定义了一个自动Web...
作者：郝俊瑞 余少华 刊期：2008年第06期
研究了在区分服务体系结构中传统的标记算法，传统的标记算法不能提供标记的准确性和按比例共享带宽的公平性。在此基础上，提出了一种改进的标记算法。该算法在进行数据包的标记时，同时考虑平均速率和瞬时速率两个参数，提高了标记的准确性。当流的速率超过目标速率时，按照正比于数据流的速率的概率将超过速率的流标记为黄色，这样提高了对剩...
作者：傅涛 孙文静 孙亚民 崔萌萌 刊期：2008年第06期
讨论了基于免疫学的入侵检测系统的架构和各模块的功能，重点研究了本文提出的基于改造开发源代码的入侵检测系统Snort的免疫检测器模块的设计，以及免疫检测器的检测流程。以KDDCup99数据集为样本，运用本文设计的基于免疫学原理的混合入侵检测系统进行了入侵检测实验，对全部18种攻击类型行为的平均检测率为64．94％，检测结果令人鼓舞。
作者：许建真 濮松兰 张福炎 刊期：2008年第06期
应用层组播在Internet上有着广泛的应用。本文在K-叉树结构的基础上提出了一种K-叉平面结构，同时在平面的组织上结合了分层和分簇的思想。K-叉平面结构降低了子树之间的错误关联度；分层分簇降低了组播树的深度，减少了组播管理上的复杂度；在增加一定冗余的前提下，不同平面的簇与簇之间采用小概率通信，提高了数据恢复和数据传递的效率。整体...
作者：吴娴 钱培德 刊期：2008年第06期
信息系统的安全性越来越受到人们的关注。在安全操作系统的研究过程中，提出了许多安全模型。本文研究了在军事部门使用的、保证信息机密性的BLP模型和在商业部门使用的、保证信息完整性的Clark-Wilson模型。在此基础上，借鉴了RBAC模型中的角色概念，提出了一个能够同时保证信息的机密性和完整性的多策略安全模型MPSM（Multi-Policy Security M...
作者：闫新庆 尹周平 熊有伦 刊期：2008年第06期
订阅／通知框架是分布式系统中连接数据源和客户应用的一种常用框架。为了支持客户应用在不同的网络连接节点之间的迁移，实现客户应用移动的透明性，本文对通用的消息／订阅／通知框架进行了扩展，在客户应用移动时，自动引发通知订阅消息的重新发送、通过系统产生的Fetch消息的传递和Replay消息的传递，重构移动客户应用通知消息的传递路径，...
作者：桂劲松 陈志刚 郭迎 刊期：2008年第06期
由基于TLA（Temporal Logic of Action）的使用控制策略规范所表达的授权策略得出的决策结果仅能表达简单的“允许”或“拒绝”，这在服务网格中难以实现决策组件与执行组件的合理分工，也不利于独立授权过程的并发执行。因此，本文首先提出了委托凭证作为决策结果的细粒度表达方式，然后对基于条件谓词决策的策略规范进行了改进与扩充，将原来...
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.67
期刊级别：省级期刊
发行周期：旬刊