层次型传感器网络簇内密钥协商方法

基于Shamir的秘密共享技术, 为层次型无线传感器网络提出了一种新颖的密钥预分配方案,以解决簇内密钥协商问题,即建立簇头与簇成员之间的共享密钥对。通过理论分析与实验证明,该方案与其他方案相比具有节点抗俘获性强、存储最优、计算和通信开销低的优点,并能保证簇内全连通。     

对一个对称图像加密方案的已知图像攻击

针对一个对称图像加密方案在已知图像条件下的安全性,给出了求解加密方案等效密钥的攻击算法。该算法基于加密方案所使用的3D混沌猫映射的仿射特性,在已知图像的条件下,通过求解三个线性无关的加密前后的图像像素灰度值点,可获得3D混沌猫映射的全部等效密钥参数。通过穷尽方法可以求出加密算法的其余等效密钥。给出了应用该算法的具体步骤,并分析了攻击算法的计算复杂性。通过分析证明了《A Symmetric Image Encryption Scheme Based on 3D Chaotic Cat Maps》一文设计的图像加密算法在已知图像攻击下是不安全的。     

一种新的基于混合策略的动态组密钥管理方案

针对大型动态组通信,提出一种基于Iolus LKH SKDC混合策略的组密钥管理方案。该方案中全局组控制器通过密钥树来管理各个子组控制器,每个子组内采用改进的LKH SKDC方案管理子组成员;子组管理器根据成员ID值,利用单向散列函数计算成员所在路径上各节点密钥值。该方案具有分组管理和集中管理的优点以及良好的可伸缩性,它使LKH方案中的单点失效问题限制在子组范围内,不会对全局产生影响。理论分析和数值结果表明,该方案中子组管理器的密钥存储和动态更新开销大大减少,且用户在加入和退出子组时不会随机产生更新密钥,具有较好的综合性能。     

基于IBC策略驱动的组播内容分发方案

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性能分析表明,方案满足接收方访问控制、发送方鉴别与防抵赖、策略加密等安全要求。将发送方的计算和通信代价降为O(1),同时具有密钥管理简单、组密钥更新开销小和易于实现等特点,能方便地应用于商业的组播内容分发系统。     

基于归纳法的同构资源目标分配算法

针对传统目标分配算法不能求解大规模资源目标分配的组合规划难题,提出了一种基于数学归纳法的资源目标分配算法。建立了资源相同条件下的目标分配数学模型。通过逐步增加资源和资源预分配的方法,不断从每次迭代的预分配方案中选择最优的分配方案,极大地降低了分配问题的搜索解空间和计算复杂度。以无人机协同区域搜索为典型应用案例,分别设计了对比实验和性能实验。仿真实验结果表明,该算法可以保证得到目标分配问题的全局最优解,并且在大规模资源分配中具有很好的实时性。     

一个新的基于身份的代理签名方案

代理签名方案允许代理签名者代表原始签名人生成代理签名.Mambo等人首次引入了代理签名的概念,目前在这个领域上有大量的研究工作.为了简化密钥管理,研究人员提出了许多基于身份的代理签名方案.但许多现有的方案容易受到基于代理密钥泄露的攻击.有必要针对代理密钥泄露,提出一个基于身份的代理签名方案的安全模型.基于双线性映射提出了一个有效的方案,并在随机预言模型中证明是安全的.新方案在代理密钥泄露时仍然是安全的.     

可证明安全的基于RSA的远程用户口令认证协议

身份认证是确保信息系统安全的基本手段,基于RSA的认证协议由于实用性较强而成为近期研究热点.讨论了Xie等提出的一个基于RSA的双因子远程用户认证协议,指出该协议不能抵抗重放攻击和密钥泄露仿冒攻击,无法实现所声称的安全性,并且存在用户隐私泄露和可修复性差问题,不适于实际应用.给出一个改进方案,在随机预言机模型下,基于RSA假设证明了改进方案的安全性.与现有的基于RSA的同类协议相比,改进协议在保持较高效率的同时,首次实现了可证明安全性,适用于安全需求较高的移动应用环境.     

基于Riccati方程的稳态传感器分配算法研究

采用协方差控制策略 ,建立了传感器分配的最优化模型 ,提出一种基于Riccati方程的稳态传感器分配算法。在预先给定稳态期望协方差的情形下 ,该算法通过求解Riccati方程计算出各种传感器组合的效能 ,并选择使目标函数值最小的传感器组合进行分配。该算法可以独立于跟踪循环之外预先计算好传感器分配方案 ,因而是一种离线的分配方法。给出了应用该方法的具体步骤 ,通过仿真实验验证实了该算法的有效性     

基于A-GCDP困难性的矩阵同态加密方案

安全有效的矩阵同态加密方案在云计算环境中有着重要的应用.已有的矩阵同态加密方案密钥生成过程繁琐且加解密机制不够灵活,使得其应用范围受到很大限制.针对这些问题,在A-GCDP困难性假设的基础上,构造了一个新的矩阵同态加密方案,并通过将方案的安全性归约为求A-GCDP/问题,来征明方案是安全的.与同类方案相比,新方案的密钥生成过程简单,密钥长度短,加解密速度快且加密机制较为灵活,不仅满足矩阵同态,还满足矩阵内部元素运算的同态,同时一对密钥可以对任意维数的矩阵进行加密.仿真实验进一步验证了新方案具有较好的加解密性能,是一个实用的矩阵同态加密方案.     

能量平衡的异构传感网跨层密钥管理方案

传统的传感网密钥管理协议独立于网络其他层设计,这种层间的独立性造成传感器节点物理性能浪费,网络整体性能降低。从节点剩余能量出发,提出一个能量平衡的异构传感网跨层密钥管理方案。通过节点剩余能量、节点度数等参数,从能量平衡的角度出发确定下一跳节点的选择,再利用密钥交换建立两节点间的会话密钥,该方案将网络层节点路由关系与应用层节点密钥关系结合,实现了密钥管理的跨层设计。结果表明,该方案保证节点密钥连通性的同时,均衡网络节点间的能耗关系,有效延长了异构传感网的生命周期。     

Cheater identifiable visual secret sharing scheme

1.INTRODUCTION Thevisualsecretsharingschemeisoneofthesecret sharingschemes[1]inwhichthesecretinformationis animagethatconsistsofacollectionofblackand whitepixels[2].Thesharedimages,eachofwhich consistsofacollectionofblackandwhitepixels,are distributedtotheparticipants,andthesecretinfor mationcanberecovereddirectlybyprintingeach sharedimageontransparencyandstackingthemto gether.KogaandYamamotohaveproposedtheex tendedschemeforcolorandgray scaleimage[3].Be sidesthresholdscheme.arbitraryv…     

基于时钟同步的混合型安全组播密钥管理

为保护组播通信的机密性,安全组播使用不为组外成员所知的密钥来加密数据,并随组成员关系的变化而动态更新。提出一种将平坦型和分层型密钥管理相结合的、基于IGMPv3的混合型方案,它将群组划分为多个独立的小区,有效地解决了与安全组播相关的扩展性和可靠性问题。提出了一种新的基于时钟同步的密钥管理算法,各小区代理不进行信息交换而只通过定时来执行批次密钥更新,从而有效地降低了系统的通信开销。     

基于分层结构的C4ISR服务部署分布式演化方法

针对指挥信息系统(command, control, communications, computers, intelligence, surveillance and reconnaissance, C4ISR)服务部署分散、作战平台计算/存储资源有限、演化实时性要求高的特点, 基于分层结构设计了系统状态分布式监控与演化总体架构, 并在该架构下提出了一种服务部署方案层级动态调整方法。通过定义信息流转长度与方案调整代价设计了服务部署调整方案的数学优化模型, 针对部署方案中同时包含服务部署位置和信息流转路径的特点, 将成对交换思想、最短路径规划与m-best策略相结合提出了一种贪心求解算法, 以实现调整方案的快速生成。实验证明, 该方法能够在保证系统信息流转效能的同时有效控制系统的演化范围, 适用于执行任务过程中服务部署方案的敏捷调整。     

平台系统动基座标定方法

惯性器件的一次通电稳定性相对较高,如果能够在载体上对平台系统进行误差参数的标定,排除多次通电的不重复性误差,可以显著提高误差参数的补偿精度,有效提高惯性系统的导航精度、最终定位与打击精度。讨论了一种平台惯性系统在载体安装条件下进行自主标定的新方法。这一方法使用平台本身的框架结构进行标定运动,利用载体主惯导系统的信息,在动态环境下进行平台误差参数的标定。     

Constrained cooperative control design for distributed morphing wing systems

An efficient design method is proposed for the cooperative control problem of morphing wing systems with distributed structures and bounded control inputs. The multi-agent model of the distributed morphing wing system is established. The cooperative controllers with saturation constraints are presented. By introducing the concepts in consensus algorithms, the cooperative information links in the controllers are described by graphs, and the corresponding Laplacian matrix is defined. The design conditions of the cooperative controllers are proposed, in the form of linear matrix inequalities. For the case of undirected information links, the controller design conditions are simplified as algebraic inequalities, which highly reduce the computation cost. The designed controllers are implemented on a distributed morphing wing platform, and experiments are carried out. Simulation and experiment results show that the controllers can make all the actuating units in the morphing wing system cooperatively achieve the desired positions, which demonstrates the effectiveness of the proposed theory.     

Simulation of a class of delay stochastic system with distributed parameter

1.INTRODUCTION It systemisoneofthemostimportantstochastic systems[1～3].Linearstochasticsystemwithreaction diffusiontermsusuallyappearsinstudyofdiffusion ofparticle[4,5].ItissignificanttostudylinearIt systemwithdistributedparameter.Mostofsystems discussedinliteraturesarewithoutIt termordis tributedparameter.AndsimulationoflineardelayIt systemwithdistributedparameterarenotgiv en[1～3,6～14].Inthispaper,partialdifferentialequa tionistransferredintoordinarydifferentialequation.Differential…     

基于Markov链的分布式仿真系统可用度研究

根据HLA仿真系统的特点及不同进程对仿真结果的重要程度，提出了分布式仿真系统的故障模型，并将仿真进程分为关键仿真进程和次要仿真进程；根据处理机是否在进行仿真运算，将处理机的计算时间分为有效时间和无效时间，并以此为基础定义了分布式仿真系统的可用度，然后利用Markov链分析了分别采用两级恢复策略和传统容错策略的分布式仿真系统的可用度。结果表明，在发生故障时，在将仿真节点重启时间算入恢复开销的前提下，两极恢复策略会降低系统的可用度，而传统容错策略由于可立即在备份机上进行故障恢复，所以可使系统获得更高的可用度。最后用一组数据验证了该结论的正确性。     

INTELLIGENT SIMULATION FOR ALTERNATIVES COMPARISON AND APPLICATION TO AIR TRAFFIC MANAGEMENT

1.Introduction Computer simulation technology has matured over the past decade and is now commonly used to evaluate large-scale real systems with complex stochastic behavior.Simulation allows one to more accurately specify a system through the use of logically complex,and often non-algebraic,variables and constraints.This capability compliments the inherent limitation of traditional optimization.However,the added flexibility often creates models that are computationally intractable.The effici…     

多服务器系统中负载平衡与容错

高速网络互连的多服务器系统已经成为当今分布计算的主流。采用分布式构件技术实现高复用度、支持异构环境的分布式应用系统已成为新的发展方向。本文致力于二者结合,基于分布式构件（DCOM）标准设计了一个多服务器原型系统。文中提出了由单机同时为多台服务器备份的容错策略;提出了参数化加权负载分配算法实现系统的负载动态分配,并利用容错信息方便地实现负载平衡中的任务迁移。最后,基于DCOM规范实现了具有容错和负载平衡能力的专用服务构件,为快速构筑实际的多服务器应用系统提供了基础。