摘要：为解决双层卫星网络高、低轨卫星间的组网认证问题,提出了一种安全、高效的星间组网认证方案。该方案基于对称加密设计,能够在无可信第三方参与的情况下,实现高、低轨卫星间的信任建立和安全通信。针对卫星网络时钟高度统一、节点运行轨迹可预测的场景特点,设计了认证预计算机制,有效提升了星间组网的认证效率。形式化证明与安全性分析表明,所提方案能够满足卫星在组网阶段的多种安全需求。性能分析及仿真结果显示,所提方案具有较低的计算和通信开销,能够实现卫星在资源有限场景下的安全组网认证。

摘要：服务功能链技术通过对虚拟网络功能的编排来支持灵活的网络服务请求。针对资源有限网络中的服务功能链部署问题,提出了一种基于最优加权图匹配的服务功能链部署方法,把服务功能链组合为功能拓扑图,利用邻接矩阵特征向量分解算法获取功能拓扑与物理拓扑的加权图匹配方式,并通过爬山算法对匹配结果进一步优化。仿真结果表明,所提方法在降低服务功能链部署所需带宽的同时,优化了节点负载和链路带宽的均衡度,可以支持更多的服务请求,且复杂度低,具有较高的时效性。

摘要：为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码。在KLEE中实现了上述优化框架,并对coreutils、binutils、grep、patch、diff这5个程序套件中的7个常用程序做了检测。ICBSE发现了7个之前未知的缺陷(KLEE只检测其中3个)。同时,ICBSE将指令行覆盖率、分支覆盖率分别提升了约20%,时间开销降低了约15%。

摘要：针对RPMA低功耗广域网基站密度大、业务分布不均匀等特点,提出了一种基于数据挖掘的网络规划方法。首先,利用提升回归树算法建立了信号质量预测模型,用于提取网络的覆盖分布空间模式;然后,针对覆盖分布空间模式,采用加权k-centroids分簇算法得到适应当前模式的最优基站部署;最后,根据总目标函数判定得到最终的基站拓扑。通过真实数据集的仿真实验结果表明,与传统的网络规划方法相比,所提的方法很好地提升低功耗广域网网络的覆盖质量。

摘要：针对用户对网络服务的差异化可靠性需求,提出一种带有区分保护的虚拟化光无线融合网络可靠传输机制。以用户需求的保护质量及所能够支付的费用作为条件,通过恢复概率进行多等级保护质量的量化,灵活地分配备份保护资源;利用等级服务区分算法筛选满足业务保护质量等级的保护路径,降低业务阻塞以及不受保护的业务数量,提高业务保护质量。结果表明所提机制在平均收益开销比和底层网络资源开销等指标上具有较高优势,在满足用户可靠性需求的同时,能够为用户提供更灵活的虚拟网络数据传输。