云计算环境下数字媒体分发协议及其安全性证明

云计算是一种新兴的计算模型,具备可靠性高、数据处理量大、灵活可扩展以及设备利用率高等优势,环境下的数字媒体分发同时又能对数字媒体的版权进行保护是目前的一个热点和难点。提出了一种云计算环境下数字媒体分发协议CDMDP,可有效进行版权保护,并采用基于S_Petri网模型对其安全性进行了形式化证明,新的方法有效避免了状态空间爆炸问题。在证明过程中,采用协议安全性等价原则,对分发协议进行适当简化,使证明更加简洁。     

一种基于对角载入的鲁棒MVDR波束形成算法

当信号方向向量精确已知时,传统最小方差无畸变响应(MVDR)波束形成算法具有较好的分辨率和抗干扰能力.在实际通信环境中,由于外部环境、天线阵列以及采样协方差矩阵的估计误差等因素的影响,导致传统MVDR波束形成算法的性能急剧下降.针对这一问题,本文提出了一种新的基于对角载入的鲁棒MVDR波束形成算法.该算法考虑信号方向向量的偏差对MVDR算法性能的影响,并在最大允许偏差范围内导出最优的权重向量,有效地抑制了偏差对输出性能的影响,具有很强的鲁棒性,从而能够适应复杂的通信环境;同时该算法采用递推算法避免矩阵求逆,降低了计算复杂度,便于工程实现.仿真实验表明,与传统MVDR算法相比,所提算法具有更好的输出性能。     

IPTV数字内容版权保护安全协议的设计

针对IPTV流媒体应用的特点,提出适应IPTV流媒体应用特点的适用于动态的、分布的、异构的、开放的网络环境下的数字版权保护协议,对网络中动态出现的内容服务提供了完善的数字版权保护功能,并具有跨网络安全域的特点。该协议在满足数字版权保护协议基本要求的同时,引入了版权中心和服务网关,以便更好地保证协议抗攻击的能力和内容提供者和消费者在版权方面的公平性。利用PETRI网的分析方法,对协议中各种变迁及状态变迁进行了分析。分析结果表明协议结果具有教强的安全性。     

有关服务质量的网络规划研究初探

本研究采用混合遗传算法形成满足连通度和跳数约束的初始网络;分析了网络故障下的运行情况。对因故障引起的链路流量的变化,提出了启发式算法对网络进行局部的改进。先对某一链路故障后进行重新路由,寻找饱和链路,进行增加链路减轻其他链路上的流量负荷,再对某些闲置或利用率低的链路进行删除,以减少网络资源的费用。通过仿真结果,验证了算法的可行性。     

一种基于信息交换的层次型快速移动IPv6切换机制

针对现有移动IPv6切换延迟大、分组丢失率高问题,提出一种基于信息交换的层次型快速移动IPv6切换(IFHMIPv6)机制.设计一种信息交换机制,使移动节点可预知领域内各接入路由器之间的邻居关系及相应的第2层和第3层信息;结合分层切换和快速切换,在分层移动IPv6上调整快速移动IPv6的信令流程,简化切换准备阶段操作;通过设置隧道定时器,保留在原路由器中建立的隧道.研究结果表明:IFHMIPv6在减少无线接入网络发现延迟和候选路由器发现延迟的基础上,进一步减少了总体切换延迟和分组丢失率,降低移动节点乒乓运动引入的信令开销;IFHMIPv6的切换延迟和分组丢失率比FMIPv6和HMIPv6的低.     

基于改进UCONA的服务网格授权策略规范

针对服务网格授权的新特点,对UCONA进行研究和改进.提出一套满足服务网格授权决策需求的策略规范,并证明其完备性和正确性.将原来简单的访问状态改进并扩充为委托凭证处理过程的状态组合.决策组件能根据访问请求时的系统状态输出合理的委托凭证,也能根据系统状态的变化进行再决策以转换委托凭证的处理状态.证明了新策略规范的完备性和正确性,并通过实例展示了它的表达能力.