流媒体系统多数据流安全的动态选择控制模型

部分加密等媒体数据加密算法是保护媒体数据安全的有效方法,但用其加密流媒体系统中的多路媒体数据将使系统面临效率、规模扩展与安全性问题.为此提出基于数据安全权重的多数据流加密的动态最优选择控制模型,根据各数据流的带宽、权重等参数,为不同数据动态选择不同强度的加密方法.由于化简后的数学模型是NP难的0-1背包问题,结合实际系统特点提出基于贪婪启发思想的增量式近似算法.理论分析和实验表明该算法时间复杂度低且具有良好的近似性.最终在一个实用流媒体系统——Admire系统中设计实现了选择控制模型的原型子系统.      

加密 |n|+k bit明文的高效公钥概率加密体制

基于二次剩余和高次剩余的困难问题,通过选择适当的参数,在不增加密文长度的情况下, 对Paillier和Pointcheval提出的公钥概率加密体制的效率和加密的明文长度进行改进,能以更高的效率加密|n|+k bit长度的明文消息,并分析了改进后加密体制的效率和安全性,改进加密体制的安全性与原加密体制的安全性、模n的高次剩余问题以及二次剩余问题等价.与原Paillier-Pointcheval加密体制相比,改进的加密体制具有加、解密效率高,传输数据量低,加密明文长等特点.      

对称加密数据随机性定量研究

通过对加密数据使用原理以及应用范围的分析,阐述了一种基于正态分布和卡方分布的加密数据随机性定量技术。结合M atLab中现有函数erfc（x）以及chi2cdf（x,y）,计算并绘制出随机性定量图,实验分析了不同对称加密算法密文随机程度,为加密数据识别提供强有力的技术支撑。     

不可靠测试条件下基于NSGA-Ⅱ的多目标测试优化选择

针对测试不可靠因素严重影响测试优化选择结果以及现有方法不能很好解决多目标测试优化选择等问题,提出基于第二代非支配排序遗传算法(NSGA-Ⅱ)的多目标测试优化选择的方法。首先,描述了测试不可靠条件下多目标优化选择问题的数学模型;其次,在该数学模型下,将系统给出的故障检测率和隔离率作为约束条件,将测试代价、漏检率和虚警率作为优化目标,建立了多目标优化问题;然后,提出带有精英保留策略的NSGA-Ⅱ对多目标问题进行优化选择,利用NSGA-Ⅱ能够得到一组Pareto最优解,可根据实际需求选择最优的测试组合;最后,针对某装备进行实例分析,得到3组最优解,可以满足不同需求下的最优选择,验证了所提数学模型与多目标优化算法的可行性与有效性。      

基于FPGA的Rijndael可配置密钥系统优化设计

作为被NIST选定的高级加密标准（AES），Rijndael具有非常广阔的应用前景。对Rijndael算法的密钥生成系统结构进行了细致描述，提出了在明文分组与密钥分组不同组合的情况下，采用一种可配置的动态思想，在现场可编程门阵列（FPGA）上实现的一种高效的密钥结构。此结构能充分体现Rijndael算法的灵活特性。最后，还对此结构的关键性能进行讨论。     

TLS密码套件的流量数据随机性分析

密码套件是安全传输层协议(TLS)实现安全通信的基石,包含了密钥交换算法、对称密码算法和消息摘要算法,其中对称密码算法被用于实际通信的数据加密。通过对真实流量的采集与分析,得出了不同TLS密码套件在现网中的分布情况。设计了一种基于密文图像重构、美国国家标准与技术研究院随机性测试套件、卷积神经网络(CNN)等手段的分析方法,对现网主流对称密码算法(AES、ChaCha20)与其他常见对称密码算法(DES、3DES、RC2、RC4)的密文随机性进行分析。实验结果表明:参与对比的所有对称密码算法在电子密码本(ECB)模式下其密文均具有较差的随机性,无法通过大多数测试;AES与ChaCha20二种主流TLS对称密码算法在除ECB模式下其密文均具有良好的随机性,对基于CNN与随机森林的密码算法识别也具有抵抗能力。研究成果可为TLS密码套件的选择与加密流量的深层分析提供参考。      

对空间多目标多次接近的轨道设计

基于单航天器对空间多目标单次接近轨道设计的研究结果, 讨论了单航天器对空间 多目标多次接近的轨道设计问题. 提出了接近指标用于设计能多次接近多个空间目标的航天器轨道;以二体接近轨道为基础, 给出了接近轨道解空间的求取方法; 利用三种轨道调整方法构造了三种复杂度不同的新解并产生算子, 分析了它们的解空间和最优解分布, 采用改进的模拟退火算法求解出最优接近轨道. 仿真实验验证了轨道设计算法的正确性.      

临近圆轨道最优脉冲交会中的参考系选择问题研究

利用极坐标下的无量纲化线性方程研究临近圆轨道最优脉冲交会中的参考系选择问题。首先给出了无量纲化线性方程,接着以定理的形式说明参考系的选择对该方程下的最优交会模式的分类和分布没有影响,并以二脉冲最优交会及二脉冲带漂移最优交会、Hohm-ann最优交会三种交会模式为例说明不同参考系的选择对各自模式下的求解过程也没有影响。但是在无量纲化过程中交会时间和轨道半径差受参考系选择的影响,所以参考系的选择会影响最优交会的结果,最后通过三种最优交会模式的仿真对此结论进行了验证。     

尺度自适应模拟的网格尺度关联分析

采用尺度自适应模拟（SAS）对雷诺数3 900的圆柱绕流展开数值模拟，对比分离涡模拟（DES）的计算结果和已有文献中的实验数据，系统研究了SAS和网格尺度的关联性问题。详细研究了不同网格分辨率和展向计算域的影响，分析了冯卡门尺度在尾迹区的时均湍流统计特性和瞬时分布规律。结果表明:在相同的网格分辨率下，SAS预测的回流区长度小于大涡模拟（LES），表现出较早的剪切层失稳；网格加密后，SAS预测的回流速度增大、雷诺应力峰值降低，计算结果与Lourenco & Shih的实验结果相接近。此外，在相同网格分辨率下改变展向计算域大小对SAS结果的影响很小。对SAS的网格尺度关联分析可以为该方法的工业应用提供指导。      

Monotonicity-Preserving激波捕捉格式在湍流大尺度模拟中的评估

对高阶激波捕捉格式的性能进行了系统的测评,重点分析了Suresh和Huynh(1997)所提出的Monotonicity-Preserving格式的性能.结果表明Monotonicity-Preserving格式的性能显著优于原始WENO(Weighted Essentially Non-Oscillatory) 格式,和改进型WENO格式相当.对格式的分析进一步表明,迎风型的激波捕捉格式在湍流模拟方面的性能都不及高阶中心格式,其原因归结为激波捕捉格式所包含的线性和非线性耗散.因此,改进高阶激波捕捉格式的关键在于同时降低格式的线性耗散和非线性耗散,以提高格式对湍流脉动能量的保持和对小尺度脉动结构的捕捉能力.     

基于双难题的环Zn上圆锥曲线的数字签名

通过对一个剩余类环 Z_n上圆锥曲线C_n(a,b) 数字签名方案(Xiao06方案)的安全性分析,发现该方案的公开参数选取和算法设计存在问题,导致利用韦达定理可以分解模数 n ,说明Xiao06方案的安全性不是基于整数分解难题的.针对此缺陷,采取保密部分参数和修改验证算法的方法,提出了一个改进的环 Z_n 上圆锥曲线的数字签名方案,并且给出了改进方案的数值模拟.分析表明,改进的方案是一个同时基于离散对数和整数分解双难题的环 Z_n 上圆锥曲线的数字签名方案,不仅保留了原Xiao06方案的优点(明文嵌入方便,求逆元速度快,元素阶的计算及曲线上点的运算容易),还具有很强的抗破解能力.     

Splitting Based Scheme for Three-dimensional MHD with Dual Time Stepping

A new hybrid numerical scheme of combining an E-CUSP (Energy-Convective Upwind and Split Pressure) method for the fluid part and the Constrained Transport (CT) for the magnetic induction part is proposed. In order to avoid the occurrence of negative pressure in the reconstructed profiles and its updated value, a positivity preserving method is provided. Furthermore, the MHD equations are solved at each physical time step by advancing in pseudo time. The use of dual time stepping is beneficial in the computation since the use of dual time stepping allows the physical time step not to be limited by the corresponding values in the smallest cell and to be selected based on the numerical accuracy criterion. This newly established hybrid scheme combined with positivity preserving method and dual time technique has demonstrated the accurateness and robustness through numerical experiments of benchmark problems such as the 2D Orszag-Tang vortex problem and the 3D shock-cloud interaction problem.      

无自由参数型混合格式

针对紧致-加权本质无振荡混合格式中子格式的权重,设计了新的算子.该算子利用模板的光滑因子求解权重,避免引入自由参数,提高了格式的易用性和鲁棒性.利用新的权重算子,分别将两种五阶迎风紧致格式与WENO-Z(Weighted Essentially Non-Oscillatory Scheme)耦合.新权重算子使子格式之间的切换较为光滑.WENO-Z能够保持格式在极点附近的精度,紧致格式在光滑区域耗散低,混合格式因此能够保持高分辨率、高精度特性以及对间断的捕捉能力.数值试验针对若干双曲型方程算例展开,比较了两种混合格式在采用新权重算子与采用其他典型算子时的数值特性.结果表明无自由参数型权重算子性能良好.      

有限体积法中面积分离散格式的精度分析

讨论了应用顶点中心格式对欧拉方程进行有限体积离散时的精度,详细推导了顶点中心格式在平滑网格和扭曲网格上的截断误差,同时与中心格式和顶点格式进行了比较.格式精度分析采用泰勒级数展开的方法.分析结果表明:顶点中心格式和顶点格式类似,总能达到至少是一阶的精度,并且可以通过加密网格的办法减少误差,而且顶点中心格式更适合于分区计算.通过圆弧亚音速绕流和NACA0012翼型绕流流场的数值计算,验证了分析的结论.     

基于时戳的口令鉴别方案的改进

对Yang和Shieh提出的一种基于时戳的口令鉴别的方案进行了安全性分析,指出其方案存在初始化阶段需要把用户口令交给KIC(Key Information Center)和用户不能验证KIC身份的缺点。在此基础上提出的新方案对注册、登录、验证和口令修改过程都做了改造,用户在注册阶段提交基于口令的单向运算值而不是口令本身,并且用户和KIC之间共享秘密信息,从而成功克服了原有方案的缺陷。用户提交口令单向运算值在验证效果上和提交口令本身是相同的,而且避免了口令泄露;用户和KIC之间共享的秘密信息可以使用户验证KIC的身份。新方案可以有效抵抗伪造攻击,即使服务器被攻破或内部人泄露信息也不会造成用户私人信息的泄露,具有比原方案更高的安全性。      

一种基于身份的移动自组网认证机制

针对移动自组网无公钥基础设施的特点,采用基于身份的密码学算法、分布式秘密共享算法和椭圆曲线加密算法,实现安全高效的移动节点认证.简单讨论基于身份的数字签名算法;介绍如何使用Lagrange插值公式,实现分布式的系统主密钥;然后给出节点密钥安全分发的模型,并在此模型的基础上,基于椭圆曲线加密算法实现安全的分布式节点密钥签发;给出算法安全性和效率分析;根据双线性对的特点,讨论会话密钥的产生和更新.给出的认证方法,具有分布式实现和安全高效的特点,同时可以非交互式产生一次性会话密钥,适用于分布式移动网络环境.