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

摘要：随着普适计算的不断深入发展，基于位置的服务也逐渐成为应用研究的重要方面。服务发现技术成为核心问题，而服务匹配就是重中之重，也是现在研究的热点问题。在对用户提供服务时，不仅要提高服务质量，而且要充分考虑用户的偏好。在面向位置服务领域分析与比较了现有的主流服务发现协议，并基于分析比较，提出了一种新的服务匹配方法，它通过分层匹配，以及充分考虑用户喜好程度来提高服务匹配成功率，从而达到提高服务质量的目的。

摘要：为了快速评估云计算中百万节点的整体负载状态，通过分析负载均衡本质与图像均衡特征的对应关系，以熵和信息论为基础，构建了集群负载信息向灰度图的映射模型，完成了负载均衡研究向图像均衡分析的转换。通过图像压缩、信息熵、haar小波变换方法对图像进行分析，提出了一种基于图像处理的集群负载评估方法。实验表明，该方法可以较快地评估出集群均衡性，由此得到的集群负载状态值为负载均衡算法的改进提供了新的思路。

摘要：鉴于城市路网环境中车载物联网车辆节点在全方向复杂路况下行驶以及道路环境对无线信号存在阻挡、叠加干扰等影响，结合智能行驶模型IDM，针对车载物联网蠕虫的传播进行分析研究，构建了车载物联网蠕虫传播模型VIOTWPM。通过仿真实验证明，VIOTWPM较好地显示了车辆节点平均速度、阴影衰落等交通流量、无线信道因素对蠕虫传播的影响，为真实地模拟城市路网环境车载物联网蠕虫的传播，以及设计实时检测策略来防治城市路网环境车载物联网蠕虫的破坏性传播提供了理论基础。

摘要：多收发机无线网络具有多接口多信道多跳的特点，是今后无线网络发展的趋势。该网络中信道与链路的资源分配，涉及路由、信道分配以及链路调度的联合优化。在以往的研究中通常对网络流量模型进行简化，假设其是确定且相对稳定的。考虑到实际网络中流量不确定性的特征，以网络吞吐量最大化为目标，提出传输流约束、信道资源约束以及干扰约束条件下的资源分配联合优化模型，以及基于不确定流量条件下资源分配最优解的链路调度策略。仿真实验结果证明所提出的路由、信道分配及链路调度方案能够更好地适应变化的网络流量需求。

摘要：在WSN领域中有很多亟待研究和解决的关键问题，节点的自我定位是其中之一。在众多定位算法中，DV-HOP是广受讨论或引用的定位算法，但该算法使用跳数乘以网络平均跳距来代替节点间的实际距离，而平均每跳距离的计算精确度与网络的性状、节点密度、拓扑结构等有很大关系，直接影响到DV-HOP算法的定位精度。针对DV-Hop算法这一缺陷，从半自动获取平均每跳距离、划分定位区域和对边缘区域采用坐标贴边三个角度，提出命名为ADBSADV-Hop的改进的DV-HOP算法。在MATLAB平台上对ADBSADv-Hop算法与DV-Hop算法进行了对比仿真实验，结果表明，ADBSADV-Hop算法运行性能好于DV-Hop算法，尤其满足贴边定位情景的需要。

摘要：P2P系统的本质任务在于提高资源利用率和系统吞吐量，满足更多用户的数据请求。在无结构P2P中，通常分配高权重节点以较多连接，使之收到并命中更多查询，以提高搜索成功率。但高搜索成功率本身却未必能够提高系统吞吐量，因为受带宽因素影响，高权重节点的负载较重，造成服务可用性降低。提出了一种覆盖网络优化方案，即根据带宽负载和存储权重自适应性调整节点连接度，优化覆盖网络结构，提高系统吞吐量。模拟实验数据表明，基于带宽和搜索成功率的覆盖网络优化方案可以以很小代价提高系统吞吐量，当文件体积较小时提高比例可高达22％。

摘要：在加权分簇算法（WCA）中引入预测机制，即在算法的路由维护阶段嵌入时间序列模型（ARIMA），用以预测网络节点的地理位置。利用ARIMA模型实时预测出节点下一时刻的地理位置，并以此计算出节点的累计保持时间预测值。将通过预测得到的累计保持时间值与时间预警阈值进行比较，在簇结构即将不稳定时，即在链路断开之前，提前启动预修复过程，寻找新的路由，降低网络拓扑动态变化的影响，维护簇结构的稳定。仿真结果表明，相对于LOWID以及没有加入预测机制的RLWCA，ARP-LWCA算法大幅度提高了网络的分组投递率，降低了网络的归一化开销，并且使得路由中断次数有了明显减少，改善了网络的整体性能。

摘要：Diffie-Hellman协议是用于正规场景中的基于离散对数的密钥交换算法，该算法要求通信双方建立长期可信任的伙伴关系。基于多态性Diffie-Hellman密钥交换协议，提出更加安全的多态性密钥交换协议设计方案，在交换协议中附加了通信双方的身份信息，可以由通信双方各自的伪随机序列产生器来共同设计多态性S盒，这种多态性S-盒在非正规的场景中可以得到广泛应用。

摘要：在分布式环境中如何在实体之间建立信任关系一直是信息安全领域研究的热点问题，远程证明为解决该问题提供了一种新的研究方向。远程证明是可信计算中非常重要的特性，利用可信远程证明方法能够在实体之间建立起信任关系。但是，二进制等静态远程证明方法对于计算平台的可信性证明存在明显不足，在建立信任关系时不能够提供充分的证据。主要研究基于行为证明方法在实体之间如何建立可信关系的问题。因此，利用基于行为的远程证明方法对计算机平台可信性进行证明，该方法能够为建立信任关系提供更加准确的经验结果。在证明过程中存在一些不确定因素，这些不确定因素将影响信任关系的建立以及评估。利用主观逻辑对信任关系进行了度量，建立了TMBA动态可信模型，该模型能够在基于行为证明所获得的经验的基础上，通过考虑过去经验以及现有经验分析信任关系的动态性，并且将信任关系中的信任度用主观逻辑的观点来表示。最后给出根据TMBA对信任观点进行计算的方法。

摘要：HMIPv6技术能够实现无线Mesh网络的无缝切换，针对其绑定更新过程中执行路由优化存在的安全问题，提出了一种适用于无线Mesh网络的基于椭圆曲线公钥自认证体制的安全路由优化方案。该方案使用户在执行路由优化的过程中能够实现对绑定更新消息的认证与授权，且通过有效的会话密钥协商机制为绑定更新消息的传输提供了安全保障，具有可证明安全性。最后通过性能分析表明，该方案简化了标准路由优化方案的流程，提高了一般注册过程的效率。

摘要：为应对网络流量快速增长问题，提出一种基于通用多核平台的入侵检测系统结构。在系统设计基础上，分析、验证了硬件平台、资源分配模式和流量特征等关键因素对系统处理性能的影响。实验表明，网络流量的流数、单位时间内报文包数等指标对系统性能的影响更大；在启用多核处理器超线程技术并将检测引擎与CPU绑定时，系统性能可以得到有效提高；系统易于实现，性价比高。

摘要：以基于四方的安全电子商务支付协议为研究对象，建立了协议的有限状态模型以及安全计算树逻辑CTL公式，利用符号模型检测工具SMV对协议的原子性进行检测验证。验证结果证明，基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性，协议符合电子支付的原子性安全要求。

摘要：采用连续时间马尔科夫链对有缓冲机制的认知系统进行建模和分析，针对过多的认知用户接入会导致业务中断的特点，设计算法控制认知用户的接入概率，在满足用户中断概率限制的前提下最大化系统容量。仿真结果表明，在使用该算法的系统中，用户的接入概率与系统吞吐量随中断概率限制的增大而增大，中断概率限制下的最大接入概率即为最大化系统容量的接入概率，用户中断概率限制的满足是以牺牲系统吞吐量为代价的。同时，引入缓冲机制能够提高用户的接入概率和系统容量。

摘要：在无线Ad-hoc网络中，基于极小连通支配集的虚拟主干网技术对资源分配和路由优化具有重要的作用。首先证明了相邻矩阵理论的一个有关结论，然后利用此结论以及极大独立集和极小支配集的关系，提出了一种基于相邻矩阵快速构建无线Ad-hoc网络最小连通支配集的近似算法，并给出了算法的正确性证明、复杂性分析和近似比分析。仿真试验结果表明，利用该算法可以快速高效地构建Ad-hoc网络的虚拟主干网。

摘要：现有的信任机制虽然有效地遏制了P2P系统中节点的恶意攻击，但未考虑如何抑制内在的大量搭便车节点的存在，即高信任值节点向搭便车节点的转变。大量搭便车节点的存在，降低了P2P网络的健壮性及可用性，为此设计了基于时间窗口的信任模型，对距现在时刻越近的时间窗口给予的权重值越大。仿真结果表明，机制不仅能够有效抑制大量高信任值节点向搭便车节点的转变，而且与提出的其它方案相比，能够有效遏制节点近期内进行恶意攻击，并且节点的信任值会更高。