摘要：阐述了基于模型同构、利用动态语言实现敏捷并行程序设计的方法,通过对Python语言并行性的研究,分析了在动态语言背景下实现敏捷并行程序设计的机制,提出了一种改进并行动态语言的模型,着重讨论了并行数据模型的映射方法,以及利用信号同步和数据锁实现并发控制的机制.

摘要：在应用层多播的框架之下结合已有多播水印协议的特点,提出一个适用于应用层多播的多播水印协议***协议属于位置相关协议,有着此类协议的优点,如部署简单、扩展性较好等.在协议设计中,加进了LDPC码等设计要素,使它在版权保护、盗版源跟踪及泄密者识别方面能发挥较好的作用.最后使用BAN逻辑对协议的认证环节进行了演绎分析.

摘要：MIKEY是一种可应用于实时的、多媒体通信的群组注册协议的规范。该文分析了MIKEY规范中的密钥生成、分发机制,设计了一个符合MIKEY规范、基于公钥的群组注册协议,最后应用BAN逻辑分析了该协议的安全性。

摘要：逻辑密钥分层(LKH)协议已经被证明在抗完全合谋攻击时,它通信开销的下界是O(log n),但是在一些资源受限或者商业应用场景中,用户仍然要求通信开销低于O(log n)。虽然,有状态的完全排外子树(SECS)协议具有常量通信开销的特性,却只能抵抗单用户攻击。考虑用户愿意牺牲一定安全性来降低通信开销的情况,利用LKH协议的完全抗合谋攻击特性和SECS协议具有常量通信开销的优势,设计并实现了一种混合的组密钥更新协议(HSECS)。H-SECS协议根据应用场景的安全级别来配置子组数目,在通信开销和抗合谋攻击能力之间作一个最优的权衡。理论分析及仿真实验表明,与LKH协议和SECS协议相比,H-SECS协议的通信开销可以在O(1)和O(log n)区间进行调控。

摘要：如何高效、安全地分发新的组密钥是广播加密研究的重点。经典的完全子树(complete subtree,CS)协议通信开销较大;而排外完全子树(exclusive complete subtree,ECS)协议则具有常量的通信开销,但是ECS协议仅抵抗单用户的攻击。结合ECS协议具有常量通信开销和CS协议完全抗合谋攻击的特点,设计并实现了一种混合结构的广播加密方案,该方案牺牲了较小的抗合谋攻击能力,获取了较低的通信开销。最后,通过仿真实验验证了该混合方案的有效性,同时分析了该方案在安全性和带宽之间的折中。

摘要：可验证秘密共享(verifiable secret sharing,VSS)是一类重要的广义安全多方计算协议,轮复杂性和通信复杂性是其重要的复杂性度量.一些标准模型下的常数轮VSS协议在理论上具有较高的效率,但标准模型对秘密信道和广播信道的要求使得这些协议在现实网络中不具有实用性.安全群组通信对安全多方计算协议的安全性和性能有着重要影响,因此提出了安全多播与安全多方计算结合的体系结构——SMPC over SM.设计了两层分散式大规模安全多播组密钥管理方案,新方案所有组成员共享组密钥,在密钥更新过程中使用多播技术,使其达到了常数级的通信复杂性,并具有较好的可扩展性和容错性.基于上述体系结构SMPC over SM和组密钥管理方案,对Katz所提出的标准模型下常数轮VSS协议予以优化,继承了原协议最优轮复杂性优点,同时将其通信复杂性由O(n3)降低为O(n2),节点的处理延迟降低为原来的1/n.

摘要：如何更加安全、高效地分发组密钥是广播通信中研究的重点。当用户增长速率过高,大量用户涌入终端,会给服务器带来巨大的负荷,而一些企业为了节省开销,往往会降低安全需求。传统的密钥分发策略需要占用较多的通信资源,完全子树(CS)协议占用较大的通信开销;而子集差(SD)协议能够有效地减少通信开销。基于CS协议的成员分配机制和SD协议降低存储开销的特点,设计并实现了一个基于CS协议的广播加密方案,该方案用于广播密钥的分发和加密,通过进行仿真实验证明了其可行性。

摘要：空间co-location模式是一组空间特征的子集,它们的实例在邻域内频繁并置出现。通常,空间co-location模式挖掘方法假设空间实例相互独立,并采用空间实例参与到模式实例的频繁性(参与率)来度量空间特征在模式中的重要性,采用空间特征的最小参与率(参与度)来度量模式的有趣程度,忽略了空间特征间的某些重要关系。因此为了揭示空间特征间的主导关系而提出主导特征co-location模式。现有主导特征模式挖掘方法是基于传统频繁模式及其团实例模型进行挖掘,然而,团实例模型可能会忽略非团的空间特征间的主导关系。因此,基于星型实例模型,研究空间亚频繁co-location模式的主导特征挖掘,以更好地揭示空间特征间的主导关系,挖掘更有价值的主导特征模式。首先,定义了两个度量特征主导性的指标;其次,设计了有效的主导特征co-location模式挖掘算法;最后,在合成数据集和真实数据集上通过大量实验验证了所提算法的有效性以及主导特征模式的实用性。

摘要：问题求解空间的扩大和种群规模的增加,导致传统的遗传退火算法在求解复杂非线性方程组时显得迟缓和性能不足.在多核处理器的环境下,把并发机制和最大堆引入遗传退火算法,并应用于复杂非线性方程组的求解中,给出一种具体设计思路.仿真实验结果表明,该机制有效地提高了遗传退火算法的性能,加快了求解速度.

摘要：源认证是多播安全与群组安全中的基本问题,覆盖多播是当前的研究热点.基于哈希链和层次传递的思路提出了一个针对覆盖多播的源认证方案(SASOM),对此方案的安全性和效率进行了分析.